Title | Author | ||
---|---|---|---|
Machine learning models for genetics and genomics in cancer diagnosis and molecular marker discovery
|
Imene Zenbout | AVIAN | 8 months ago |
Sentiment analysis in a multilingual context using machine learning and natural language processing techniques
|
Mohamed Raouf Kanfoud | AVIAN | 8 months ago |
Une approche de transformation des processus métiers BPMN vers les diagrammes d’activités UML basée sur la transformation de graphes
|
Yasmina Rahmoune | MFGL | 1 year ago |
An Elaboration of a Diagnostic Approach that Operates in a Connected Objects Environment
|
Bouchera Maati | CFSC | 2 years ago |
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
|
Kamel Oussama | MFGL | 3 years ago |
Architectures et protocoles applicatifs dans l'Internet des objets
|
Badreddine Miles | SCAL | 3 years ago |
Plagiarism Detection: A focus on the Intrinsic Approach and the Evaluation in the Arabic Language
|
Imène Bensalem | SCAL | 4 years ago |
Apport de l’Intelligence en Essaim et des Plans d’Expériences aux Protocoles de Routage pour les Réseaux Mobiles Ad-hoc : Application au Routage Géographique Inter-Couche
|
Mohamed Skander Daas | SCAL | 4 years ago |
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes
|
Said Meghzili | MFGL | 5 years ago |
Proposition d’algorithmes de distribution des espaces d’états en vue d’une vérification basée model checking : Application aux automates temporisés avec durées d’actions
|
Imene Bensetira | CFSC | 6 years ago |
Une Approche pour la vérification de la cohérence comportementale des diagrammes UML 2.0 basée sur la transformation des diagrammes de séquence UML 2.0 vers les automates de Büchi
|
Nabil Messaoudi | MFGL | 6 years ago |
Vérification de la composition de services par la transformation de modèles
|
Redouane Nouara | MFGL | 7 years ago |
Contributions à la résolution du problème de routage dans les réseaux mobiles Ad-hoc par les méthodes bio-inspirées
|
Akram Kout | SCAL | 7 years ago |
rd-TA and daTA-R : A relative timed models for heterogeneous real time systems
|
Saïd Layadi | CFSC | 7 years ago |
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul
|
Aissam Belghiat | MFGL | 7 years ago |
Application de nouvelles approches d’optimisation pour la biométrie
|
Amira Bouaziz | SCAL | 8 years ago |
Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web
|
Seriel Rayene Boussalia | MFGL | 8 years ago |
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles
|
Radja Boukharrou | CFSC | 8 years ago |
Logic Verification of Real Time Systems in the Context of the Maximality Semantics
|
Souad Guellati | CFSC | 9 years ago |
A multi-agent approach for ambient system design: A formal model incorporating planning and learning
|
Ahmed-Chawki Chaouche | CFSC | 9 years ago |