Thèses
Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation par contraintes
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2018), Pages 128 Pages

Designing Sustainable, Autonomous, and Energy Efficient Internet of Things Systems.
N. El mebtoul (Encadrant)
Université Ibn Khaldoun (2018), Pages 128 Pages

Conception optimale et gestion des ressources des infrastructures Fog pour les réseaux véhiculaires.
A. Heddad (Encadrant)
Université Ibn Khaldoun (2018), Pages 118 Pages

Modélisation de la chaîne d'acquisition des images : application à des solutions innovantes
A. Zariouh (Encadrant)
Université Ibn Khaldoun (2018), Pages 133 Pages

Induction non-supervisée de schémas d’évènements à partir de textes journalistiques
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2018), Pages 135 Pages

Détection et suivi d’objets dans les vidéos par un réseau de caméras distribuées et collaboratives.
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2018), Pages 151 Pages

Static Analysis for BSPlib Programs
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2018), Pages 122 Pages

Extraction de la structure narrative de séries TV
M. Harkass (Encadrant)
Université Ibn Khaldoun (2018), Pages 114 Pages

Reasoning with separation logics : complexity, expressive power, proof systems
M. Harkass (Encadrant)
Université Ibn Khaldoun (2018), Pages 151 Pages

Nouvelles Représentations, la Régularisation et les Distances pour la Classification de Texte
R. Attouti (Encadrant)
Université Ibn Khaldoun (2018), Pages 148 Pages

Contrôle physique de mouvement de personnages virtuels en environnement complexe
K. Hajji (Encadrant)
Université Ibn Khaldoun (2018), Pages 141 Pages

Approche automatisée d'assistance à la structuration des connaissances
K. Hajji (Encadrant)
Université Ibn Khaldoun (2018), Pages 127 Pages