Thèses
Réseaux de preuve : graphes, canonicité, formalisation
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2013), Pages 107 Pages

Réplication sécurisée dans les infrastructures pair-à-pair de collaboration
E. B. Zaroual (Encadrant)
Université Ibn Khaldoun (2013), Pages 80 Pages

Améliorer la compréhension d’un programme à l’aide de diagrammes dynamiques et interactifs
E. B. Zaroual (Encadrant)
Université Ibn Khaldoun (2013), Pages 121 Pages

Extraire et exploiter la connaissance pour mieux optimiser
E. B. Zaroual (Encadrant)
Université Ibn Khaldoun (2013), Pages 100 Pages

Algorithmes et Intractabilité de Certains Problèmes de Domination NP-difficiles avec Structure Privée
M. Benyamna (Encadrant)
Université Ibn Khaldoun (2013), Pages 145 Pages

Impact du changement du protocole de routage dans un réseau
A. Zerouali (Encadrant)
Université Ibn Khaldoun (2013), Pages 147 Pages

Autodétermination informationnelle dans les bâtiments intelligents.
N. El mebtoul (Encadrant)
Université Ibn Khaldoun (2013), Pages 147 Pages

Estimation des correspondances entre images par réseaux de neurones convolutifs
A. Attmani (Encadrant)
Université Ibn Khaldoun (2013), Pages 135 Pages

Abstractions relationnelles de la mémoire pour une analyse compositionnelle de structures de données
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2013), Pages 86 Pages

Opérateurs de régularisation pour le subspace clustering flou
R. Attouti (Encadrant)
Université Ibn Khaldoun (2013), Pages 87 Pages

Génération de récits à partir de données ambiantes
F. Belarbi (Encadrant)
Université Ibn Khaldoun (2013), Pages 142 Pages

DSL pour la fouille des réseaux sociaux sur des architectures Multi-coeurs
F. Belarbi (Encadrant)
Université Ibn Khaldoun (2013), Pages 141 Pages

Planification multi-agent pour le contrôle d'un réseau de distribution d'eau
K. Hajji (Encadrant)
Université Ibn Khaldoun (2013), Pages 133 Pages

Ré-identification de personnes et adaptabilité inter-domaines
K. Hajji (Encadrant)
Université Ibn Khaldoun (2013), Pages 132 Pages