Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Equipes de Recherche
  3. Equipe Rech. IIARF
  4. Thèses
Thèses
Proof Theory of Probabilistic Temporal Logics
A. Mhamdi (Encadrant)
Université Ibn Khaldoun (2015), Pages 141 Pages
Applications du traitement automatique de langue au processus d'embauche
N. Mouhsine (Encadrant)
Université Ibn Khaldoun (2015), Pages 143 Pages
An intelligent system for coffee grading and disease identification
S. El gharabi (Encadrant)
Université Ibn Khaldoun (2015), Pages 81 Pages
Certificats Nullstellensatz pour des problèmes combinatoires
A. Mhamdi (Encadrant)
Université Ibn Khaldoun (2014), Pages 160 Pages
Un système multi-agents pour une place de marché de facture
K. Rahmani (Encadrant)
Université Ibn Khaldoun (2014), Pages 114 Pages
Linear programming decoders for quantum LDPC codes
A. Mhamdi (Encadrant)
Université Ibn Khaldoun (2013), Pages 99 Pages
Process-based semantics for higher-order languages
A. Mhamdi (Encadrant)
Université Ibn Khaldoun (2013), Pages 84 Pages
Conception de systèmes cyber-physiques cognitifs pour l'industrie 4.0
N. Mouhsine (Encadrant)
Université Ibn Khaldoun (2013), Pages 129 Pages
Géolocalisation et communication en situation de crise
K. Rahmani (Encadrant)
Université Ibn Khaldoun (2013), Pages 110 Pages
Vers une dissémination efficace de données volumineuses sur des réseaux wi-fi denses
A. Zebairi (Encadrant)
Université Ibn Khaldoun (2013), Pages 158 Pages
FreeCore : un système d'indexation de résumés de document sur une Table de Hachage Distribuée (DHT)
A. Zebairi (Encadrant)
Université Ibn Khaldoun (2013), Pages 151 Pages
Méthodes statiques pour la programmation fonctionnelle de simulateurs d'économies
K. Hammouti (Encadrant)
Université Ibn Khaldoun (2012), Pages 154 Pages