Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Equipes de Recherche
  3. Equipe Rech. CCSI
  4. Thèses
Thèses
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
MemOpLight : vers une consolidation mémoire pour les conteneurs grâce à un retour applicatif
A. Zariouh (Encadrant)
Université Ibn Khaldoun (2012), Pages 121 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
Plateforme adaptative pour le suivi de l’état de santé de patients mobiles
N. El mebtoul (Encadrant)
Université Ibn Khaldoun (2011), Pages 150 Pages
Graphes de localités : une approche formelle à l'encapsulation et implémentation
N. El mebtoul (Encadrant)
Université Ibn Khaldoun (2011), Pages 83 Pages