Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

Pour une recherche détaillée
Visiter Papyrus
Date Trier par date en ordre croissant Titre Trier par titre en ordre croissant
2000 Covérification des systèmes intégrés
2011-08 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2011-04 Protocole de routage basé sur des passerelles mobiles pour un accès Internet dans les réseaux véhiculaires
1996-03 Un outil pour la spécification de matériel et la génération de modèles exécutables
1998 Détection des patrons de conception dans les systèmes orientés objet
2000 Architecture et services pour la distribution de charge dans les systèmes distribués objet
2021-04 Continuous coordination as a realistic scenario for lifelong learning
2020-01 On sample efficiency and systematic generalization of grounded language understanding with deep learning
2003 Évaluation, par simulation, des performances de serveurs de commerce électronique : étude de cas : le serveur GNP
2007 Context-sensitive information retrieval
2014-12 Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples
2005 BLED : système d'aide à la recherche d'informations sur Internet
2013-12 Analyse de changements multiples : une approche probabiliste utilisant les réseaux bayésiens
2004 Contrôle adaptatif et autoréglage : applications de l'approximation stochastique
2023-04 Calibrated uncertainty estimation for SLAM
2021-12 Some phenomenological investigations in deep learning
2006 Formal checking of web based applications
2014-09 SAND, un protocole de chiffrement symétrique incompressible à structure simple
2018-03 Débruitage d’image par fusion de filtrage spatio-fréquentielle
2024-03 Microservices identification in existing applications using meta-heuristics optimization and machine learning