Theses
Control plane in dynamic software networks
A. Frosini (Supervisor)
Université Ibn Khaldoun (2019), Pages 139 Pages

Dosimétrie pour un examen de mammographie avec rayons-X produits par laser
A. Frosini (Supervisor)
Université Ibn Khaldoun (2019), Pages 126 Pages

Apprentissage de plans de manoeuvres off-road pour véhicules autonomes
E. B. Zaroual (Supervisor)
Université Ibn Khaldoun (2019), Pages 92 Pages

Programmation impérative par raffinements avec l'assistant de preuve Coq
Y. Ouakili (Supervisor)
Université Ibn Khaldoun (2019), Pages 104 Pages

Temps et durée : de la programmation réactive synchrone à la composition musicale
Y. Ouakili (Supervisor)
Université Ibn Khaldoun (2019), Pages 110 Pages

Algorithmic aspects of quantum communication
N. El mebtoul (Supervisor)
Université Ibn Khaldoun (2019), Pages 147 Pages

Développement de la programmation par tuilage pour les systèmes multimédias interactifs
A. Heddad (Supervisor)
Université Ibn Khaldoun (2019), Pages 126 Pages

Sécurité étendue de la cryptographie fondée sur les réseaux Euclidiens
A. Attmani (Supervisor)
Université Ibn Khaldoun (2019), Pages 114 Pages

Décompositions tensorielles pour la complétion de bases de connaissance
A. Belhadj (Supervisor)
Université Ibn Khaldoun (2019), Pages 121 Pages

Supports de communications ubiquitaires pour les réseaux à l'échelle de la ville
A. Boualem (Supervisor)
Université Ibn Khaldoun (2019), Pages 144 Pages

Prédiction de performances des systèmes de Reconnaissance Automatique de la Parole
A. Boualem (Supervisor)
Université Ibn Khaldoun (2019), Pages 99 Pages

Collecter, Transcrire, Analyser : quand la machine assiste le linguiste dans son travail de terrain
F. Belarbi (Supervisor)
Université Ibn Khaldoun (2019), Pages 140 Pages

human-robot motion : an attention-based approach
F. Belarbi (Supervisor)
Université Ibn Khaldoun (2019), Pages 80 Pages

Analyse du discours conversationnel dans le cadre de communications médiées par ordinateur
B. Dadi (Supervisor)
Université Ibn Khaldoun (2018), Pages 136 Pages

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

Construction d'une méthodologie et outil associé de conception de réseau de bus
S. Rafai (Supervisor)
Université Ibn Khaldoun (2018), Pages 134 Pages