Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Equipes de Recherche
  3. Equipe Rech. CCSI
  4. Thèses
Thèses
Soutenir l'apprentissage de l'autorégulation à l'aide de réseaux Bayésiens dynamiques
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2019), Pages 89 Pages
Control plane in dynamic software networks
A. Frosini (Encadrant)
Université Ibn Khaldoun (2019), Pages 139 Pages
Dosimétrie pour un examen de mammographie avec rayons-X produits par laser
A. Frosini (Encadrant)
Université Ibn Khaldoun (2019), Pages 126 Pages
Programmation impérative par raffinements avec l'assistant de preuve Coq
Y. Ouakili (Encadrant)
Université Ibn Khaldoun (2019), Pages 104 Pages
Temps et durée : de la programmation réactive synchrone à la composition musicale
Y. Ouakili (Encadrant)
Université Ibn Khaldoun (2019), Pages 110 Pages
Reconnaissance de motifs dynamiques par automates temporisés à mémoire
M. Harkass (Encadrant)
Université Ibn Khaldoun (2019), Pages 84 Pages
Supports de communications ubiquitaires pour les réseaux à l'échelle de la ville
A. Boualem (Encadrant)
Université Ibn Khaldoun (2019), Pages 144 Pages
Prédiction de performances des systèmes de Reconnaissance Automatique de la Parole
A. Boualem (Encadrant)
Université Ibn Khaldoun (2019), Pages 99 Pages
Collecter, Transcrire, Analyser : quand la machine assiste le linguiste dans son travail de terrain
F. Belarbi (Encadrant)
Université Ibn Khaldoun (2019), Pages 140 Pages
human-robot motion : an attention-based approach
F. Belarbi (Encadrant)
Université Ibn Khaldoun (2019), Pages 80 Pages
Formalisations d’analyses d’erreurs en analyse numérique et en arithmétique à virgule flottante
K. Hajji (Encadrant)
Université Ibn Khaldoun (2019), Pages 139 Pages
Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation par contraintes
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2018), Pages 128 Pages