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 descending order Title Sort by title in descending order
2000 Timing verification of interface specifications and controllers
2003 Visualization and prediction of spatial deformation using thin-plate splines in the context of scoliosis
2008 Reliable computation for geometric models
2020 Theseus : a 3D virtual reality orientation game with real-time guidance system for cognitive training
2014 Dynamic Facility Location with Modular Capacities : Models, Algorithms and Applications in Forestry
1995 Un système tutorial intelligent basé sur un système critique
2015 From Word Embeddings to Large Vocabulary Neural Machine Translation
2003 Quelques modèles de langage statistiques et graphiques lissés avec WordNet
2022 Differentiable world programs
2004 Groupage de trafic à coût minimum dans les réseaux anneaux WDM
2010 Planification et dimensionnement des réseaux optiques de longues distances
2025 Combining large language models with static analyzers for code review generation
1999 Allocation et tarification des accès réseaux
2017 Induction de lexiques bilingues à partir de corpus comparables et parallèles
2001 Compositional verification using interface recognizers/suppliers (IRS)
1994 Implantation d'un langage à prototypes avec réflexion de comportement
1986 Modélisation des problèmes spatio-temporels : extension des propriétés du Turnpike à des systèmes à paramètres répartis
2013 Analysing artefacts dependencies to evolving software systems
2020 Prediction of Alzheimer's disease and semantic dementia from scene description: toward better language and topic generalization
2013 Parallelization of SAT on Reconfigurable Hardware