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
Deep Convolutional Neural Network with KNN Regression for Automatic Image Annotation
Ramla Bensaci، Belal Khaldi، Oussama Aiadi، Ayoub Benchabana
OAIDS: An Ontology-Based Framework for Building an Intelligent Urban Road Traffic Automatic Incident Detection System
HIRECHE, Samia، DENNAI, Abdeslem، KADRI, Boufeldja
2022ورقة مؤتمر وصول مفتوح
Feature Selection using F-score Method for Offline Arabic Handwritten Fragment Identification
Azzoug, Soraya، Chibani, Youcef، Djoudjai, Mohamed Anis
2022ورقة مؤتمر وصول مفتوح
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua، Messaoud Abbas، Rachid Djerbi، Mohammed Mounir Bouhamed
الصفحات 1-52024أخرى وصول مغلقعدّة مصادر 3
Big Data Veracity: Methods and challenges
benabderrahmane, MOUTASSEM، laouni, DJAFRI، GAAFOUR, Abdel-Kader
2022ورقة مؤتمر وصول مفتوح
A hybrid LBP-HOG model and naive Bayes classifier for knee osteoarthritis detection: data from the osteoarthritis initiative
Messaoudene, Khadidja، Harrar, Khaled
2022ورقة مؤتمر وصول مفتوح
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
إمكانات التكامل الاقتصادي النقدي في دول غرب القارة الإفريقية " الواقع والتحديات"
نصيـــر, أحمد، زين, يونس، بن موسى, بشير
2019ورقة مؤتمر وصول مفتوح
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
المجلّد 2283، الصفحات 261-2662018أخرى وصول مغلقعدّة مصادر 2
An Authenticated Method for a Secure Changing Password
Mostefa Kara، Konstantinos Κarampidis، Laid Kenioua، Manolis G. Tampouratzis، Muath AlShaikh، Giorgos M. Papadourakis، Abdelkader Laouid
الصفحات 1-62024أخرى وصول مغلقعدّة مصادر 1
Automation of the reading and interpretation of the OTDR plot
MAZOUZI, Amine، ABOUN ABID, Miloud
2022ورقة مؤتمر وصول مفتوح
An automated cascade framework for glioma prognosis via segmentation, multi-feature fusion and classification techniques
Biomedical Physics & Engineering Expressالمجلّد 11، (3)، الصفحات 0350272025مقال وصول مغلقعدّة مصادر 1
A Cost-effective Deep Active Learning for Object Detection in Automated Driving Systems
Mohib Khebbache، Salim Bitam، Abdelhamid Mellouk
International Journal of Computing and Digital Systemsالمجلّد 14، (1)، الصفحات 839-8542023مقال وصول مفتوحعدّة مصادر 1
The Effect of Automation and Artificial Intelligence on Income Inequality
Zeghdi Adel
The Role of Intelligent Process Automation in Modern Marketing Strategies
Ayadi Salah، Achour Sadok