أطروحات الدكتوراه
العنوان المؤلف
Génération d'expresions LOTOS à partir de diagrammes UML
Djaaboub Salim
Recherche adaptative d’images par contenu: Application à l’aide au diagnostic en dermatologie
Belattar Khadidja
Méthodes bio-inspirées pour le problème du plus court chemin multi-objectif
Bouzoubia Samira
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul
Belghiat Issam
Reconnaissance et identification des caractères manuscrits manquants sur des manuscrits anciens détériorés
Eutamène Aïcha
Application de nouvelles approches d’optimisation pour la biométrie
Bouaziz Amira
Optimization Methods for Logistics Routing
Ammi Meryem
Définition de modèles formels pour les systèmes temporisés hétérogènes et leur application au problème d'ordonnancement de type JOB-SHOP
Arfi Farid
Définition de la sémantique de maximalité pour les réseaux de Petri récursifs et la relation de bissimulation de maximalité agrégée
Bouneb Messaouda
Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web
Boussalia Seriel Rayene
Conception des systèmes multi-agents à base de modèles formels intégrant le flou
Kouah Sofia
Contribution à la résolution de problèmes bio-informatiques par les algorithmes évolutionnaires
Kartous Widad
Approches adaptatives et techniques d'apprentissage automatique pour la segmentation et la reconnaissance dynamiques de l'écriture hors-ligne appliquées aux mots manuscripts en arabe
Kef Maamar
Observer/Controller and ontology/Rule based Architecture:Adesign approach for context-aware pervasive computing systems
Hameurlaine Amina
Agents adaptatifs et méta-heuristiques pour la recherche d’information personnalisée
Alloui Tarek
Extraction de protocoles de conversation des web services à partir des fichiers Logs
Moudjari Abdelkader
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles
Boukharrou Radja
Approches de Distribution de Graphes basées sur leurs Colorations
Guidoum Nousseiba
Approches métaheuristiques à base de population pour la coloration de graphes
Bensouyad Meriem
Une approche de transformation des diagrammes UML vers les spécifications B
Rehab Seidali