Thèses
Détection de topiques et leur similarité dans les textes scientifiques
E. B. Zaroual (Membre du jury), G. Rozenberg (Président), A. Frosini (Rapporteur), K. Hammouti (Auteur)
Université Ibn Khaldoun (2006), Pages 129 Pages

Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués
A. Zerouali (Membre du jury), M. Benyamna (Président), Y. Ouakili (Rapporteur), M. Hitrane (Auteur)
Université Ibn Khaldoun (2006), Pages 183 Pages

Synthèse de terrain à l'échelle planétaire
Y. Ouakili (Encadrant)
Université Ibn Khaldoun (2006), Pages 109 Pages

Prédiction spatio-temporelle de surfaces issues de l'imagerie en utilisant des processus stochastiques
A. Zerouali (Encadrant)
Université Ibn Khaldoun (2006), Pages 117 Pages

Fuzzy4U : un système d'adaptation des Interfaces Homme-Machine en logique floue pour l'accessibilité
A. Attmani (Encadrant)
Université Ibn Khaldoun (2006), Pages 92 Pages

Résumé automatique multi-document dynamique
A. Bellout (Encadrant)
Université Ibn Khaldoun (2006), Pages 93 Pages

Approche Agile du Model-Based Testing pour les tests fonctionnels des SI d’entreprise
N. El mebtoul (Membre du jury), Y. Ouakili (Président), A. Zerouali (Rapporteur), M. Benyamna (Auteur)
Université Ibn Khaldoun (2004), Pages 199 Pages

Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes
A. Bellout (Membre du jury), F. Belarbi (Président), K. Hajji (Rapporteur), A. Boualem (Auteur)
Université Ibn Khaldoun (2004), Pages 197 Pages

Les identités au centre de la mise en oeuvre de comportements dans le cadre de collectifs multi-agents : application au Web des Objets
E. B. Zaroual (Membre du jury), G. Rozenberg (Président), A. Frosini (Rapporteur), F. Belarbi (Auteur)
Université Ibn Khaldoun (2003), Pages 163 Pages

Approches pour la vérification et la validation des modèles de production : application à une usine de fabrication de semi-conducteurs
E. B. Zaroual (Membre du jury), G. Rozenberg (Président), A. Frosini (Rapporteur), K. Hajji (Auteur)
Université Ibn Khaldoun (2003), Pages 164 Pages

Construire des réseaux neuronaux profonds compacts et robustes avec des matrices Toeplitz
A. Zerouali (Membre du jury), M. Benyamna (Président), Y. Ouakili (Rapporteur), E. B. Zaroual (Auteur)
Université Ibn Khaldoun (2003), Pages 127 Pages

Apprentissage séquentiel budgétisé pour la classification extrême et la découverte de hiérarchie en apprentissage par renforcement
K. Hajji (Membre du jury), A. Boualem (Président), F. Belarbi (Rapporteur), R. Attouti (Auteur)
Université Ibn Khaldoun (2003), Pages 134 Pages

Élaboration d'une méthode d'identification et de quantification de spécimens en mélange.
M. Benyamna (Membre du jury), A. Frosini (Président), E. B. Zaroual (Rapporteur), G. Rozenberg (Auteur)
Université Ibn Khaldoun (2002), Pages 174 Pages

Approches statiques et dynamiques pour l'optimisation de la consommation énergétique des applications de calcul à hautes performances
Y. Ouakili (Membre du jury), E. B. Zaroual (Président), M. Benyamna (Rapporteur), A. Frosini (Auteur)
Université Ibn Khaldoun (2002), Pages 130 Pages

Détection d’anomalies pour les données radars du système de contrôle aérien en utilisant la prédiction de données
A. Belhadj (Membre du jury), A. Zariouh (Président), A. Attmani (Rapporteur), A. Heddad (Auteur)
Université Ibn Khaldoun (2002), Pages 151 Pages

Cyber Sécurité en Réalité Virtuelle : améliorer le processus de détection d’intrusion, d’investigation et de décision via l’utilisation de techniques de visualisations 3D immersives
M. Harkass (Membre du jury), A. Bourjila (Président), B. Dadi (Rapporteur), A. Belhadj (Auteur)
Université Ibn Khaldoun (2002), Pages 182 Pages

Workload- and Data-based Automated Design for a Hybrid Row-Column Storage Model and Bloom Filter-Based Query Processing for Large-Scale DICOM Data Management
A. Attmani (Membre du jury), A. Heddad (Président), A. Zariouh (Rapporteur), N. El mebtoul (Auteur)
Université Ibn Khaldoun (2001), Pages 151 Pages

Estimation de poses 3D multi-personnes à partir d'images RGB
A. Bourjila (Membre du jury), A. Attmani (Président), A. Belhadj (Rapporteur), A. Zariouh (Auteur)
Université Ibn Khaldoun (2001), Pages 133 Pages

Interagir en réalité mixte avec un casque : application à la chirurgie augmentée
R. Attouti (Membre du jury), M. Harkass (Président), S. Rafai (Rapporteur), B. Dadi (Auteur)
Université Ibn Khaldoun (2001), Pages 121 Pages