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
2023 Towards the reduction of greenhouse gas emissions : models and algorithms for ridesharing and carbon capture and storage
2018 Feature extraction on faces : from landmark localization to depth estimation
2024 Beyond top line metrics : understanding the trade-off between model size and generalization properties
2021 Extending domain-specific modeling editors with multi-touch interactions
2019 Towards learning sentence representation with self-supervision
2001 Model reductions in MDG-based model checking
2000 Simplification et morphisme en temps réel de modèles articulés
2002 Problèmes de routages dans les réseaux optiques
2021 Learning neural ordinary differential equations for optimal control
1993 Génération de tests pour le service de communication personnalisé
2006 Simulation dynamique du trafic routier urbain et optimisation des contrôles
2023 Probability flows in deep learning
2022 Towards meaningful and data-efficient learning : exploring GAN losses, improving few-shot benchmarks, and multimodal video captioning
2001 Recherche de structures secondaires dans les séquences biologiques
2026 A fully reproducible C toolchain rooted on POSIX shell
2022 Stabilizing Q-Learning for continuous control
2025 Towards adaptive personalization in conversational search
2021 Estimation de pose 2D par réseau convolutif
2020 Introduction à la reconstruction 3D par lumière structurée
2001 State abstraction in SDL
2024 The shifting landscape of data : learning to tame distributional shifts
1995 Problèmes d'affectation avec contraintes d'alternatives et application à la gestion des stages de résidence
2001 Problèmes de gestion de flottes de véhicules en temps réel
2005 Intégration d'une nouvelle approche sémantique basée sur les caractéristiques visuelles des concepts dans un système de recherche d'images par contenu et par texte
2016 Conception du réseau de distribution d’une entreprise de livraison de courrier rapide
2011 Génération efficace de graphes d’appels dynamiques complets
1990 Modélisation et réalisation d'un système tutoriel intelligent
1999 Extraction de paramètres hémodynamiques par traitement d'images en cinéangiographie
1993 Auto-apprentissage, à l'aide de réseaux de neurones, de fonctions heuristiques utilisées dans les jeux stratégiques
2018 Détection et contrôle de l’indice d’intérêt dans support publicitaire
1994 Navigation dans les hypertextes : une interface en Smalltalk
2013 Parallelization of SAT on Reconfigurable Hardware
2020 Prediction of Alzheimer's disease and semantic dementia from scene description: toward better language and topic generalization
2013 Analysing artefacts dependencies to evolving software systems
1994 Implantation d'un langage à prototypes avec réflexion de comportement
2001 Compositional verification using interface recognizers/suppliers (IRS)
2017 Induction de lexiques bilingues à partir de corpus comparables et parallèles
1999 Allocation et tarification des accès réseaux
2025 Combining large language models with static analyzers for code review generation
2010 Planification et dimensionnement des réseaux optiques de longues distances
2004 Groupage de trafic à coût minimum dans les réseaux anneaux WDM
2022 Differentiable world programs
2003 Quelques modèles de langage statistiques et graphiques lissés avec WordNet
2015 From Word Embeddings to Large Vocabulary Neural Machine Translation
1995 Un système tutorial intelligent basé sur un système critique
2014 Dynamic Facility Location with Modular Capacities : Models, Algorithms and Applications in Forestry
2020 Theseus : a 3D virtual reality orientation game with real-time guidance system for cognitive training
2003 Visualization and prediction of spatial deformation using thin-plate splines in the context of scoliosis
2008 Reliable computation for geometric models
2000 Timing verification of interface specifications and controllers