Thèses
Améliorer la compréhension d’un programme à l’aide de diagrammes dynamiques et interactifs
E. B. Zaroual (Encadrant)
Université Ibn Khaldoun (2013), Pages 121 Pages

Autodétermination informationnelle dans les bâtiments intelligents.
N. El mebtoul (Encadrant)
Université Ibn Khaldoun (2013), Pages 147 Pages

Planification multi-agent pour le contrôle d'un réseau de distribution d'eau
K. Hajji (Encadrant)
Université Ibn Khaldoun (2013), Pages 133 Pages

aversion au risque et apprentissage automatique
M. Benyamna (Encadrant)
Université Ibn Khaldoun (2012), Pages 146 Pages

Robustesse et sécurité des réseaux de neurones
A. Heddad (Encadrant)
Université Ibn Khaldoun (2012), Pages 106 Pages

Approches symboliques pour une intelligence artificielle explicable
A. Heddad (Encadrant)
Université Ibn Khaldoun (2012), Pages 132 Pages

Gestion de données obsolètes dans un environnement connecté.
A. Zariouh (Encadrant)
Université Ibn Khaldoun (2012), Pages 119 Pages

Explorations combinatoires des structures arborescentes et libres
A. Zariouh (Encadrant)
Université Ibn Khaldoun (2012), Pages 103 Pages

Interactions au sein d’environnements tangibles et augmentés pour découvrir, comprendre et apprendre.
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2012), Pages 131 Pages

Autotuning assisté par apprentissage automatique de tâches OpenMP
B. Dadi (Encadrant)
Université Ibn Khaldoun (2012), Pages 159 Pages

Détection d'aiguilles et de grains dans les images ultrasonores pour la curiethérapie dynamique
B. Dadi (Encadrant)
Université Ibn Khaldoun (2012), Pages 132 Pages

Algorithmes multi-critères pour la prédiction de structures d'ARN
M. Harkass (Encadrant)
Université Ibn Khaldoun (2012), Pages 89 Pages

Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants
S. Rafai (Encadrant)
Université Ibn Khaldoun (2012), Pages 130 Pages