Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets
Ammar Boucherit, Abdallah Khababa, Laura M. Castro
Volume 14، (4)، Pages 403-4182018Article 5
Productions scientifiques
Modelling UML state machines with FoCaLiZe
Messaoud Abbas, Choukri Bey Ben Yelles, Renaud Rioboo
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Accès ferméPlusieurs sources 3
PN2Maude: An automatic tool to generate Maude specification for Petri net models
Ammar Boucherit, Messaoud Abbas, Lamouri Mohamed Lamine, Osman Hasan
Computer Science Journal of MoldovaVolume 31، (2 (92))، Pages 272-2962023Article Accès ouvertPlusieurs sources
Development of Critical Systems with UML/OCL and FoCaLiZe
Communications in computer and information sciencePages 16-302021Autre Accès ferméPlusieurs sources 1
Deep Convolutional Neural Network with KNN Regression for Automatic Image Annotation
Ramla Bensaci, Belal Khaldi, Oussama Aiadi, Ayoub Benchabana
An automatic system to surface defect classification of hot rolled steel
Boudiaf, Adel, Moussaoui, Abdelkrim, Zaghdoudi, Rachid, Mentouri, Zoheir, Saadoune, Achour
2018Communication Accès ouvert
An automatic EMI filter design and optimization for photovoltaic inverter
BEGGAT, F., MILOUDI, K., BOUCHAFAA, F.
2018Communication Accès ouvert
Control device for automatic orientation of a solar panel based on a microcontroller (PIC16f628a)
Mohamed Redha Rezoug, Abdelbasset Krama
OAIDS: An Ontology-Based Framework for Building an Intelligent Urban Road Traffic Automatic Incident Detection System
HIRECHE, Samia, DENNAI, Abdeslem, KADRI, Boufeldja
2022Communication Accès ouvert
Design EMI filter using Multi-Objective Optimization for Mitigation of Conducted Noise at Photovoltaic System
F. BEGGAT,, F. BOUCHAFAA
2019Communication Accès ouvert
Robust remote speaker recognition system based on AR-MFCC features and efficient speech activity detection algorithm
Riadh Ajgou, Salim Sbaa, Said Ghendir, Ali Chamsa, Abdelmalik Taleb Ahmed
Volume 54، Pages 722-7272014Autre Accès ferméPlusieurs sources 9
Optimized Predictive Torque Control of Induction Motor for Reduced Torque Ripple and Average Switching Frequency based on Rooted Tree Optimization
Youcef Bekakra, Mabrouka Romdhane, Abdelmalek Gacem, Mohamed Naoui, Mostefa Kermadi, Om P. Malik, Saad Mekhilef
2026Article 1
Feature Selection using F-score Method for Offline Arabic Handwritten Fragment Identification
Azzoug, Soraya, Chibani, Youcef, Djoudjai, Mohamed Anis
2022Communication Accès ouvert
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed
Pages 1-52024Autre Accès ferméPlusieurs sources 3
Convolutional Neural Network (CNN) Model for the Classification of Varieties of Date Palm Fruits (Phoenix dactylifera L.)
P. Rybacki, Janetta Niemann, Samir Derouiche, Sara Chetehouna, Islam Boulaares, Mohammed S. Nili, Jean Bernard Diatta, Andrzej Osuch
Rapid Automatized Naming and Visual Searching in Arabic-Speaking Children With and Without Dyslexia: The Potential Effect of Color
Smaïl Layes, Sana Tibi, Marjolaine Cohen, Linda J. Lombardino
Big Data Veracity: Methods and challenges
benabderrahmane, MOUTASSEM, laouni, DJAFRI, GAAFOUR, Abdel-Kader
2022Communication Accès ouvert
A hybrid LBP-HOG model and naive Bayes classifier for knee osteoarthritis detection: data from the osteoarthritis initiative
Messaoudene, Khadidja, Harrar, Khaled
2022Communication Accès ouvert
Industrial Control System Based On Machine Learning SVM Algorithm
Hanane Zermane, Hayet Mouss, Djamel Touahar
2020Communication Accès ouvert
New Simplified and Generalized Three-Dimensional Space Vector Modulation Algorithm for Multilevel Four-Leg Diode Clamped Converter
Mansour Bouzidi, Said Barkat, Abdelbasset Krama
IEEE Transactions on Industrial ElectronicsVolume 68، (10)، Pages 9908-99182020Article Accès ferméPlusieurs sources 15