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
2003 3D reconstruction of a catheter path from a single view X-ray sequence
2015-04 Abitbol : un langage sur mesure pour la métaprogrammation
2012-07 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
2006 Accélération de méthodes de résolution classiques par l'utilisation de stratégies de séparation locale comme outil d'hybridation
2004 Accélération de prédiction génétique par implémentation hautement parallèle sur un matériel re-configurable
2003 Accélérer l'entraînement d'un modèle non-paramétrique de densité non normalisée par échantillonnage aléatoire
2005 Accès et routage optique en mode de commutation de rafales
2019-12 Accurate and efficient strategies for the appearance filtering of complex materials
2012-05 A Compiler for the dependently typed language Beluga
2004 Adaptation de modèles de traduction dans le cadre du projet TransType
2003 A domain-specific search engine for the construction sector
2020-10 Advances in deep learning methods for speech recognition and understanding
2018-12 Advances in deep learning with limited supervision and computational resources
2015-06 Advances in scaling deep learning algorithms
2012-09 A dynamic sequential route choice model for micro-simulation
2014-06 Affectation de composantes basée sur des contraintes énergétiques dans une architecture multiprocesseurs en trois dimensions
2007 A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
2020-09 A game theoretical model for a collaborative e-learning platform on privacy awareness
2015-08 A heuristic algorithm for the Capacitated Vehicle Routing Problem with Synchronized Pick-ups and Drop-offs : a case study for medications delivery and supervision in DR Congo
2013-04 A layered JavaScript virtual machine supporting dynamic instrumentation