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.

 

 

For a detailed search
 Visit Papyrus
Date Sort by date in ascending order Title Sort by title in ascending order
1997 Construction des machines à état abstrait à partir des modèles VHDL
1996 Contribution à l'amélioration des modélisations à objets
2022-08 Évaluation de la charge mentale des pilotes en manœuvre aérienne
1992 Synthèse de spécifications de protocole à partir de spécifications de service
2005 Une solution facilitant l'accessibilité et la classification des images Web pour les mal voyants
2015-04 Abitbol : un langage sur mesure pour la métaprogrammation
2021-08 Étude de modèles neuronaux de questions-réponses
2023-08 Co-simulation for controlled environment agriculture
1995 Un outil pour la conception et l'évaluation de hiérarchies de classes dans un modèle orienté-objet
2012-11 Mures : Un système de recommandation de musique
2024-04 Generative models, theory and applications
2016-10 SLA violation prediction : a machine learning perspective
2013-06 Une approche multi-agents pour le développement d'un jeu vidéo
2020-08 Entity-centric representations in deep learning
2008 Novel multicast protocols in ad-hoc networks
2003 Comparaison de deux techniques de décodage pour la traduction probabiliste
1999 Symétrie et sens de l'orientation dans les graphes
2010-08 Méthodes exactes et heuristiques pour le problème de tournées de véhicules avec fenêtres de temps et réutilisation de véhicules
2004 Planification de tournées de véhicules pour le problème de livraison à domicile
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
1989 Implantation exacte de transactions à l'aide de machines séquentielles
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
1991 Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri
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
2021-05 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2017-11 Contrôle d’Accès Sécurisé dans l’Info-Nuage Mobile (Secure Access Control in Mobile Cloud)
2000 Évaluation qualitative et quantitative d'outils de visualisation logicielle
2004 Workflow technology for complex socio-technical systems
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2000 Allotment of aircraft spare parts using genetic algorithms
2018-11 From examples to knowledge in model-driven engineering : a holistic and pragmatic approach
2024-07 Advancing adversarial robustness with feature desensitization and synthesized data
2016-12 Turbulence de surface pour des simulations de fluides basées sur un système de particules
Number of results : 1474