Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Laboratoires de Recherche
  3. Labo Math., Info & App.
  4. Thèses
Thèses
Détection de topiques et leur similarité dans les textes scientifiques
E. B. Zaroual (Membre du jury), G. Rozenberg (Président), A. Frosini (Rapporteur), K. Hammouti (Auteur)
Université Ibn Khaldoun (2006), Pages 129 Pages
Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués
A. Zerouali (Membre du jury), M. Benyamna (Président), Y. Ouakili (Rapporteur), M. Hitrane (Auteur)
Université Ibn Khaldoun (2006), Pages 183 Pages
Synthèse de terrain à l'échelle planétaire
Y. Ouakili (Encadrant)
Université Ibn Khaldoun (2006), Pages 109 Pages
Prédiction spatio-temporelle de surfaces issues de l'imagerie en utilisant des processus stochastiques
A. Zerouali (Encadrant)
Université Ibn Khaldoun (2006), Pages 117 Pages
Fuzzy4U : un système d'adaptation des Interfaces Homme-Machine en logique floue pour l'accessibilité
A. Attmani (Encadrant)
Université Ibn Khaldoun (2006), Pages 92 Pages
Approche Agile du Model-Based Testing pour les tests fonctionnels des SI d’entreprise
N. El mebtoul (Membre du jury), Y. Ouakili (Président), A. Zerouali (Rapporteur), M. Benyamna (Auteur)
Université Ibn Khaldoun (2004), Pages 199 Pages
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes
A. Bellout (Membre du jury), F. Belarbi (Président), K. Hajji (Rapporteur), A. Boualem (Auteur)
Université Ibn Khaldoun (2004), Pages 197 Pages
Les identités au centre de la mise en oeuvre de comportements dans le cadre de collectifs multi-agents : application au Web des Objets
E. B. Zaroual (Membre du jury), G. Rozenberg (Président), A. Frosini (Rapporteur), F. Belarbi (Auteur)
Université Ibn Khaldoun (2003), Pages 163 Pages
Approches pour la vérification et la validation des modèles de production : application à une usine de fabrication de semi-conducteurs
E. B. Zaroual (Membre du jury), G. Rozenberg (Président), A. Frosini (Rapporteur), K. Hajji (Auteur)
Université Ibn Khaldoun (2003), Pages 164 Pages
Construire des réseaux neuronaux profonds compacts et robustes avec des matrices Toeplitz
A. Zerouali (Membre du jury), M. Benyamna (Président), Y. Ouakili (Rapporteur), E. B. Zaroual (Auteur)
Université Ibn Khaldoun (2003), Pages 127 Pages
Apprentissage séquentiel budgétisé pour la classification extrême et la découverte de hiérarchie en apprentissage par renforcement
K. Hajji (Membre du jury), A. Boualem (Président), F. Belarbi (Rapporteur), R. Attouti (Auteur)
Université Ibn Khaldoun (2003), Pages 134 Pages
Élaboration d'une méthode d'identification et de quantification de spécimens en mélange.
M. Benyamna (Membre du jury), A. Frosini (Président), E. B. Zaroual (Rapporteur), G. Rozenberg (Auteur)
Université Ibn Khaldoun (2002), Pages 174 Pages
Approches statiques et dynamiques pour l'optimisation de la consommation énergétique des applications de calcul à hautes performances
Y. Ouakili (Membre du jury), E. B. Zaroual (Président), M. Benyamna (Rapporteur), A. Frosini (Auteur)
Université Ibn Khaldoun (2002), Pages 130 Pages
Détection d’anomalies pour les données radars du système de contrôle aérien en utilisant la prédiction de données
A. Belhadj (Membre du jury), A. Zariouh (Président), A. Attmani (Rapporteur), A. Heddad (Auteur)
Université Ibn Khaldoun (2002), Pages 151 Pages
Cyber Sécurité en Réalité Virtuelle : améliorer le processus de détection d’intrusion, d’investigation et de décision via l’utilisation de techniques de visualisations 3D immersives
M. Harkass (Membre du jury), A. Bourjila (Président), B. Dadi (Rapporteur), A. Belhadj (Auteur)
Université Ibn Khaldoun (2002), Pages 182 Pages
Aide au diagnostic de vérification formelle de systèmes
N. Mouhsine (Auteur)
Université Abdelmalek Essadi (2002), Pages 139 Pages
Systèmes intélligents dans le developpement logiciel
K. Rahmani (Auteur)
Université de Rouen - Haute Normandie (2002), Pages 95 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