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
Control device for automatic orientation of a solar panel based on a microcontroller (PIC16f628a)
Mohamed Redha Rezoug، Abdelbasset Krama
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
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
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
A Remote Medical Monitoring System Based on Data Mining
Bekiri Roumaissa، Abdelhamid Djeffal، Messaoud Hettiri
الصفحات 282-2862020أخرى وصول مغلقعدّة مصادر 11
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
المجلّد 2283، الصفحات 261-2662018أخرى وصول مغلقعدّة مصادر 2
Effect of cold and hot seasons on thermoregulation and hemogram blood parameters of dromedary camel (Camelus dromedarius) in Algeria
Brahim Hamad، Hebib Aggad، Leyla Hadef، Aicha Adaika
المجلّد 29، (7)2017مقال 11
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
TYROSINE AMMONIA-LYASE ACTIVITY OF SEVERAL AROMATIC PLANTS FROM ALGERIAN SAHARA
Roukia Hammoudi، Mohammed Laid Tlili، Nadia Khaled، Djouher Khettab، Mahfoud Hadj Mahammed
المجلّد 72، (1)، الصفحات 132-1392024مقال 2
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