Theses
Déploiement optimal d’un réseau de capteurs sous des contraintes de couverture et de connectivité
E. El-achbor (Supervisor)
Université Ibn Khaldoun (2018), Pages 107 Pages

Calcul haute performance pour la détection de rayon Gamma
A. Derouich (Supervisor)
Université Ibn Khaldoun (2018), Pages 131 Pages

Complexité de la recherche de motifs dans un texte aléatoire
M. Hitrane (Supervisor)
Université Ibn Khaldoun (2017), Pages 100 Pages

PAnTHErS : un outil d’aide pour l’analyse et l’exploration d’algorithmes de chiffrement homomorphe
E. El-achbor (Supervisor)
Université Ibn Khaldoun (2017), Pages 117 Pages

Reprogrammation comportementale : modèles, algorithmes et application aux maladies complexes
A. Derouich (Supervisor)
Université Ibn Khaldoun (2017), Pages 119 Pages

Auto-tuning pour la détection automatique du meilleur format de compression pour matrice creuse
A. Derouich (Supervisor)
Université Ibn Khaldoun (2017), Pages 131 Pages

Comprendre les comportements humains dans les environnements dynamiques de construction
M. Khalifa (Supervisor)
Université Ibn Khaldoun (2016), Pages 93 Pages

LaborEnergie: Mesure et contrôle de l'energie dans les bâtiments.
E. El-achbor (Supervisor)
Université Ibn Khaldoun (2016), Pages 147 Pages

Validation formelle d'implantation de patrons de sécurité
E. El-achbor (Supervisor)
Université Ibn Khaldoun (2016), Pages 99 Pages

Recent hidden Markov models for lower limb locomotion activity detection and recognition using IMU sensors
M. Hitrane (Supervisor)
Université Ibn Khaldoun (2015), Pages 124 Pages

Constructions pour la cryptographie à bas coût
E. El-achbor (Supervisor)
Université Ibn Khaldoun (2015), Pages 101 Pages

Preuves symboliques de propriétés d’indistinguabilité calculatoire
A. Derouich (Supervisor)
Université Ibn Khaldoun (2015), Pages 81 Pages

Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique
A. Derouich (Supervisor)
Université Ibn Khaldoun (2015), Pages 125 Pages