Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Equipes de Recherche
  3. Equipe Rech. CCSI
  4. Thèses
Thèses
Approches Gloutonnes pour l'Approximation de Problèmes Combinatoires NP-difficiles
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2019), Pages 114 Pages
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
Programmation impérative par raffinements avec l'assistant de preuve Coq
Y. Ouakili (Encadrant)
Université Ibn Khaldoun (2019), Pages 104 Pages
Développement de la programmation par tuilage pour les systèmes multimédias interactifs
A. Heddad (Encadrant)
Université Ibn Khaldoun (2019), Pages 126 Pages
Sécurité étendue de la cryptographie fondée sur les réseaux Euclidiens
A. Attmani (Encadrant)
Université Ibn Khaldoun (2019), Pages 114 Pages
Décompositions tensorielles pour la complétion de bases de connaissance
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2019), Pages 121 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
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
Designing Sustainable, Autonomous, and Energy Efficient Internet of Things Systems.
N. El mebtoul (Encadrant)
Université Ibn Khaldoun (2018), Pages 128 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