Theses

Proof Theory of Probabilistic Temporal Logics

A. Mhamdi (Supervisor)

Université Ibn Khaldoun (2015), Pages 141 Pages

Identification systématique et représentation des erreurs humaines dans les modèles de tâches

N. Mouhsine (Supervisor)

Université Ibn Khaldoun (2015), Pages 157 Pages

Conception d'un cadre générique basé sur les modèles de représentations des connaissances pour la gestion automatique des processus d'apprentissage de l'Université 4.0

N. Mouhsine (Supervisor)

Université Ibn Khaldoun (2015), Pages 131 Pages

Applications du traitement automatique de langue au processus d'embauche

N. Mouhsine (Supervisor)

Université Ibn Khaldoun (2015), Pages 143 Pages

Certificats Nullstellensatz pour des problèmes combinatoires

A. Mhamdi (Supervisor)

Université Ibn Khaldoun (2014), Pages 160 Pages

Programming model to assemble compute kernels safely and efficiently : future-based synchronization for arrays and matrices

A. Mhamdi (Supervisor)

Université Ibn Khaldoun (2014), Pages 139 Pages

Élaboration d’un modèle multi-agents pour la génération synthétique de trafic : application à la mobilité urbaine de la ville de Marrakech

K. Rahmani (Supervisor)

Université Ibn Khaldoun (2014), Pages 117 Pages

Un système multi-agents pour une place de marché de facture

K. Rahmani (Supervisor)

Université Ibn Khaldoun (2014), Pages 114 Pages

Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches

A. Zebairi (Supervisor)

Université Ibn Khaldoun (2014), Pages 109 Pages

Linear programming decoders for quantum LDPC codes

A. Mhamdi (Supervisor)

Université Ibn Khaldoun (2013), Pages 99 Pages

Process-based semantics for higher-order languages

A. Mhamdi (Supervisor)

Université Ibn Khaldoun (2013), Pages 84 Pages

Conception de systèmes cyber-physiques cognitifs pour l'industrie 4.0

N. Mouhsine (Supervisor)

Université Ibn Khaldoun (2013), Pages 129 Pages

Prédiction de phénomènes géologiques pour l'aide à la décision lors de la prise de permis d'exploitation

K. Rahmani (Supervisor)

Université Ibn Khaldoun (2013), Pages 130 Pages

Géolocalisation et communication en situation de crise

K. Rahmani (Supervisor)

Université Ibn Khaldoun (2013), Pages 110 Pages

Architecture multi-agent pour la conception et l'ordonnancement de systèmes multi-senseur embarqués sur plateformes aéroportées

A. Zebairi (Supervisor)

Université Ibn Khaldoun (2013), Pages 99 Pages

Vers une dissémination efficace de données volumineuses sur des réseaux wi-fi denses

A. Zebairi (Supervisor)

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 (Supervisor)

Université Ibn Khaldoun (2013), Pages 151 Pages

Etude de la connectivité structurelle des faisceaux d'association courts de la substance blanche du cerveau humain en IRM de diffusion

K. Hammouti (Supervisor)

Université Ibn Khaldoun (2013), Pages 138 Pages

Contributions sur la structure morphosyntaxique des graphies terminologiques et sur l’hybridation entre terminologie et modèles de thèmes

K. Hammouti (Supervisor)

Université Ibn Khaldoun (2013), Pages 131 Pages

Méthodes statiques pour la programmation fonctionnelle de simulateurs d'économies

K. Hammouti (Supervisor)

Université Ibn Khaldoun (2012), Pages 154 Pages