Passer au contenu

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

Je donne

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
2007 Localisation des noeuds dans les réseaux de capteurs sans fil
2021 Locality and compositionality in representation learning for complex visual tasks
2015 Logarithme d'harmoniques sphériques pour le rendu d'ombres douces de champs de hauteurs et de maillages
2015 Logiciel de génération de nombres aléatoires dans OpenCL
1997 Logiciel pour la vérification par simulation de la spécification de haut niveau de systèmes matériels
2020 Look-ahead meta-learning for continual learning
1992 L'optimisation des fréquences d'un réseau de transport en commun
2000 L'optimisation des fréquences d'un réseau de transport en commun avec congestion
2007 LORESA : un système de recommandation d'objets d'apprentissage basé sur les annotations sémantiques
2023 Low-resource suicide ideation and depression detection with multitask learning and large language models
2000 L'utilisation de règles de réseau en simulation comme technique de réduction de la variance
1998 L'utilisation de vecteurs de liens bibliographiques comme descripteurs de documents juridiques dans un système de recherche d'information
2025 Machine learning accelerated stochastic optimization and applications to railway operations
2002 Magellan : un agent pour simplifier les achats sur internet
2017 Matrix-based Parameterizations of Skeletal Animated Appearance
2023 Maximum flow-based formulation for the optimal location of electric vehicle charging stations
2022 Measuring RocksDB performance and adaptive sampling for model estimation
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2021 Mechanical characterization of rigid discrete interlocking materials
1992 MédiÉval: un outil multimédia pour l'évaluation des connaissances linguistiques
2003 Mémoires de traduction sous-phrastiques
2020 Méta-enseignement : génération active d’exemples par apprentissage par renforcement
2024 Metaheuristics for vehicle routing problems : new methods and performance analysis
2014 Meta-heuristic Solution Methods for Rich Vehicle Routing Problems
2004 Métaheuristiques de recherche avec tabous pour le problème de synthèse de réseau multiproduits avec capacités
2018 Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework
2007 Méta-modélisation de l'adaptation dynamique du contrôle des systèmes multi-agents
2014 Méthode de génération de colonnes pour les problèmes de conception de réseaux avec coûts d’ajout de capacité
2016 Méthode de recherche à grand voisinage pour un problème de tournées de véhicules avec flotte privée et transporteur externe
1999 Méthode de simulation aléatoire guidée par un algorithme génétique pour la vérification du design de circuits numériques
2004 Méthodes à noyaux appliquées à la gestion de portefeuille
2016 Méthodes d’analyse de mouvement en vision 3D : invariance aux délais temporels entre des caméras non synchronisées et flux optique par isocontours
1989 Méthodes d'échanges pour problèmes d'affectation
2021 Méthodes de décomposition basées sur la relaxation lagrangienne : cas du problème de transport avec coûts fixes
2002 Méthodes de montée duale pour le problème de conception de réseaux multiproduits avec couts fixes et capacités
2017 Méthodes de résolution exactes et heuristiques pour un problème de tournées de techniciens
2023 Méthodes d'évaluation en extraction d'information ouverte
2008 Méthodes et outils pour une affectation optimale des juges lors des compétitions : une application au concours John Molson
2010 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
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2002 Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources
2003 Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques
2017 Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique
2004 Méthode structurelle pour le suivi automatique des artères coronaires en ciné-angiographie
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
1992 Méthodologie de programmation d'environnements à objets répartis
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
1989 Méthodologies de dimensionnement de réservoirs hydroélectriques utilisant des approches déterministe et stochastique
2021 Méthodologies pour la détection de diachronies sémantiques et leurs impacts