Thèses
Mécanismes de Confiance pour services réseaux de connectivité dans un contexte multiaccess Edge Computing
A. Heddad (Président), A. Boutchichi (Co-encadrant), A. Bourjila (Rapporteur), A. Bellout (Examinateur), A. Derouich (Membre du jury)
Université Ibn Khaldoun (2022), Pages 146 Pages

Définition et conception d'un système optimal de la révocation de certificats
A. Frosini (Encadrant)
Université Ibn Khaldoun (2021), Pages 93 Pages

Segmentation incrémentale et interactive d'images médicales 3D
E. B. Zaroual (Encadrant)
Université Ibn Khaldoun (2021), Pages 89 Pages

Algorithmes et résultats de complexité pour des problèmes de graphes avec contraintes additionnelles
A. Zerouali (Encadrant)
Université Ibn Khaldoun (2021), Pages 84 Pages

Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau
A. Bourjila (Encadrant)
Université Ibn Khaldoun (2021), Pages 114 Pages

Neurone abstrait : une formalisation de l’intégration dendritique et ses propriétés algébriques
R. Attouti (Encadrant)
Université Ibn Khaldoun (2021), Pages 125 Pages

Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle
R. Attouti (Encadrant)
Université Ibn Khaldoun (2021), Pages 153 Pages

Désambiguïsation lexicale de l'arabe pour et par la traduction automatique
A. Boualem (Encadrant)
Université Ibn Khaldoun (2021), Pages 142 Pages

Analyse et évaluation de structures orientées document
A. Boualem (Encadrant)
Université Ibn Khaldoun (2021), Pages 157 Pages

Automate sur les structures temporisée
A. Bellout (Encadrant)
Université Ibn Khaldoun (2021), Pages 100 Pages

Raisonnement distribué dans un environnement ambiant
A. Bellout (Encadrant)
Université Ibn Khaldoun (2021), Pages 123 Pages

Fédération de modèles pour l’analyse de cybersécurité du point de vue d’un attaquant
A. Mhamdi (Encadrant)
Université Ibn Khaldoun (2021), Pages 135 Pages

Une approche pour estimer l'influence dans les réseaux complexes : application au réseau social Twitter
A. Zebairi (Encadrant)
Université Ibn Khaldoun (2021), Pages 107 Pages

Clustering exploratoire pour la segmentation de données clients
K. Hammouti (Encadrant)
Université Ibn Khaldoun (2021), Pages 89 Pages
Liens
Contact
Laboratoire de Mathématiques, Informatique et Applications
Bloc des laboratoires
Laboratoire de Mathématiques, Informatique et Applications
Faculté des Science d'Assilah
53000 Assilah-tanger
Maroc
06123456789
05123456789
g.Rozenberg@gmail.res