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
2002 001_correct : un environnement de restructuration des programmes objets piloté par la qualité
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
2021-11 Abstraction de comportement de haut niveau à l’aide de la visualisation interactive
2002 A case-based reasoning diagnosis system for AHU (Air-Handling Unit)
2012-07 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
2022-12 Accelerated algorithms for temporal difference learning methods
2021-07 Acceleration and new analysis of convex optimization algorithms
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
2022-06 Accounting for variance and hyperparameter optimization in machine learning benchmarks
2019-12 Accurate and efficient strategies for the appearance filtering of complex materials
2012-05 A Compiler for the dependently typed language Beluga
2000 ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles
2004 Adaptation de modèles de traduction dans le cadre du projet TransType
2020-12 Adapting modeling environments to domain specific interactions
2022-10 Adaptive learning of tensor network structures
2020-12 A data-driven discrete elastic rod model for shells and solids
2023-07 Adding hygiene to gambit scheme
2020-12 A deep learning theory for neural networks grounded in physics
2000 A discrete flow model for dynamic network loading
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
2022-05 Advances in generative models for dynamic scenes
2020-10 Advances in parameterisation, optimisation and pruning of neural networks
2015-06 Advances in scaling deep learning algorithms
2023-08 Advances in uncertainty modelling : from epistemic uncertainty estimation to generalized generative flow networks
2022-08 Adversarial games in machine learning : challenges and applications
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
2002 Affectation statique et dynamique des usagers dans un réseau de transport avec capacités rigides
2007 A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
2021-12 A framework for domain-specific modeling on graph databases
2020-09 A game theoretical model for a collaborative e-learning platform on privacy awareness
2022-06 Agent abstraction in multi-agent reinforcement learning
2000 Agent émotif dans un système tutoriel intelligent
2002 Agents à base de règles pour les négociations électroniques : concepts et infrastructure
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
2021-12 AI alignment and generalization in deep learning
2023-07 AI-based modeling of brain and behavior : combining neuroimaging, imitation learning and video games
2023-07 AI for molecule discovery with multi-modal knowledge
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