Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Equipes de Recherche
  3. Equipe Rech. CCSI
  4. Thèses
Thèses
Réseaux de preuve : graphes, canonicité, formalisation
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2013), Pages 107 Pages
Impact du changement du protocole de routage dans un réseau
A. Zerouali (Encadrant)
Université Ibn Khaldoun (2013), Pages 147 Pages
Génération de récits à partir de données ambiantes
F. Belarbi (Encadrant)
Université Ibn Khaldoun (2013), Pages 142 Pages
DSL pour la fouille des réseaux sociaux sur des architectures Multi-coeurs
F. Belarbi (Encadrant)
Université Ibn Khaldoun (2013), Pages 141 Pages
Représentations adaptées à l'arithmétique modulaire et à la résolution de systèmes flous
A. Frosini (Encadrant)
Université Ibn Khaldoun (2012), Pages 133 Pages
aversion au risque et apprentissage automatique
M. Benyamna (Encadrant)
Université Ibn Khaldoun (2012), Pages 146 Pages
Approche centrée activité pour la conception et l'orchestration d'activités numériques en classe
N. El mebtoul (Encadrant)
Université Ibn Khaldoun (2012), Pages 80 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
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
Protection des données à caractère personnel pour les services énergétiques
A. Bourjila (Encadrant)
Université Ibn Khaldoun (2012), Pages 113 Pages
Autotuning assisté par apprentissage automatique de tâches OpenMP
B. Dadi (Encadrant)
Université Ibn Khaldoun (2012), Pages 159 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