Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets
Ammar Boucherit، Abdallah Khababa، Laura M. Castro
المجلّد 14، (4)، الصفحات 403-4182018مقال 5
المُخرَجات البحثية
Modelling UML state machines with FoCaLiZe
Messaoud Abbas، Choukri Bey Ben Yelles، Renaud Rioboo
International Journal of Information and Communication Technologyالمجلّد 13، (1)، الصفحات 342018مقال وصول مغلقعدّة مصادر 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 Moldovaالمجلّد 31، (2 (92))، الصفحات 272-2962023مقال وصول مفتوحعدّة مصادر
Development of Critical Systems with UML/OCL and FoCaLiZe
Adaptive Acquisition of PN Code using Automatic Censoring CFAR Outlier Detection in Multipath Fading Mobile Channels
Abdelhafid JOUINI، Abdelmadjid MAALI، Mustapha BENSSALAH، Abdelhak NASRALLAH، Geneviève BAUDOIN، M'hamed HAMADOUCHE
2020 1st International Conference on Communications, Control Systems and Signal Processing (CCSSP)الصفحات 2-72020ورقة مؤتمر وصول مغلق 7
A New Methodology Of Auto-Adaptive PN Code Acquisition For Spread Spectrum Communications Environment
Abdelhafid JOUINI، Abdelmadjid MAALI، Geneviève BAUDOIN، M’hamed HAMADOUCHE
2018 International Conference on Communications and Electrical Engineering (ICCEE)الصفحات 1-62018ورقة مؤتمر وصول مغلق
Deep Convolutional Neural Network with KNN Regression for Automatic Image Annotation
Ramla Bensaci، Belal Khaldi، Oussama Aiadi، Ayoub Benchabana
Automatic Generation Control Using Second Generation of FACTS ‘Interline Power Flow Controller’
Yousfi Boutheina، Delassi Abdelmoumène، Arif Salem
2020 1st International Conference on Communications, Control Systems and Signal Processing (CCSSP)الصفحات 470-4732020ورقة مؤتمر وصول مغلق 1
Enhancing Student Learning: Automatic Support in an Educational Social Network
Sirine Bouguettaya، Amina Zedadra، Ouarda Zedadra
2024 6th International Conference on Pattern Analysis and Intelligent Systems (PAIS)الصفحات 1-82024ورقة مؤتمر وصول مغلق 1
Control device for automatic orientation of a solar panel based on a microcontroller (PIC16f628a)
Mohamed Redha Rezoug، Abdelbasset Krama
Hybrid Modeling for Permanent-Magnet Synchronous Machines: Exact Analytical Method and Magnetic Equivalent Circuit
Brahim Ladghem-Chikouche، Ibtissem Belgasmi، Lazhar Roubache، Zakarya Djelloul-Khedda، Kamel Boughrara
2024 2nd International Conference on Electrical Engineering and Automatic Control (ICEEAC)الصفحات 1-52024ورقة مؤتمر وصول مغلق
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
المجلّد 54، الصفحات 722-7272014أخرى وصول مغلقعدّة مصادر 9
An improved registration and mosaicking method for remote sensing images under geometric and photometric constraints
L. Meddeber، T. Zouagui، N. Berrached
2020 1st International Conference on Communications, Control Systems and Signal Processing (CCSSP)الصفحات 125-1302020ورقة مؤتمر وصول مغلق 1
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
2026مقال 1
Optimized Convolutional Neural Network architecture for UAV navigation within unstructured trail
Khaoula MENFOUKH، Mostefa Mohamed TOUBA، Fouad KHENFRI، Lemya GUETTAL
2020 1st International Conference on Communications, Control Systems and Signal Processing (CCSSP)الصفحات 211-2142020ورقة مؤتمر وصول مغلق 10
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua، Messaoud Abbas، Rachid Djerbi، Mohammed Mounir Bouhamed
الصفحات 1-52024أخرى وصول مغلقعدّة مصادر 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
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 Electronicsالمجلّد 68، (10)، الصفحات 9908-99182020مقال وصول مغلقعدّة مصادر 15
Simplified hybrid space vector modulation for multilevel diode clamped converter
Mansour Bouzidi، Said Barkat، Abdelbasset Krama