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
2015-12 Algorithme de branch-and-price-and-cut pour le problème de conception de réseaux avec coûts fixes, capacités et un seul produit
2012-09 Algorithmes d'apprentissage pour la recommandation
2013-09 Algorithmes d’apprentissage profonds supervisés et non-supervisés: applications et résultats théoriques
2016-08 Algorithmes de construction et correction d'arbres de gènes par la réconciliation
2009-12 Algorithmes de recommandation musicale
2014-08 Algorithmes heuristiques et exacts pour le problème de l’ensemble dominant connexe minimum
2010-04 Algorithmes pour la réconciliation d’un arbre de gènes avec un arbre d’espèces
2008 Algorithmes pour le problème de repositionnement
2018-08 Algorithmic contributions to bilevel location problems with queueing and user equilibrium : exact and semi-exact approaches
2016-04 Algorithmique et complexité des systèmes à compteurs
2006 Algorithms for classifying recorded music by genre
2013-07 Alignement de phrases parallèles dans des corpus bruités
2005 Alignement des ontologies OWL-Lite
2008 Allocation optimale des ressources pour les applications et services de grille de calcul
2016-03 Amélioration a posteriori de la traduction automatique par métaheuristique
2007 Amélioration de la perception spatiale et émotive d'un environnement virtuel interactif par la gestion cinématographique des prises de vue
2005 Amélioration de la prédiction de la qualité du logiciel par combinaison et adaptation de modèles
2014-11 A Mono- and Multi-objective Approach for Recommending Software Refactoring
2012-09 Amorçage cognitif pour amélioration de l’acquisition de la connaissance dans un système tutoriel intelligent
2013-01 Amplification de l'amplitude : analyse et applications