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 décroissant Titre Trier par titre en ordre décroissant
2020-12 Adapting modeling environments to domain specific interactions
2004 Adaptation de modèles de traduction dans le cadre du projet TransType
2000 ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles
2012-05 A Compiler for the dependently typed language Beluga
2019-12 Accurate and efficient strategies for the appearance filtering of complex materials
2022-06 Accounting for variance and hyperparameter optimization in machine learning benchmarks
2005 Accès et routage optique en mode de commutation de rafales
2003 Accélérer l'entraînement d'un modèle non-paramétrique de densité non normalisée par échantillonnage aléatoire
2004 Accélération de prédiction génétique par implémentation hautement parallèle sur un matériel re-configurable
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
2021-07 Acceleration and new analysis of convex optimization algorithms
2022-12 Accelerated algorithms for temporal difference learning methods
2012-07 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
2002 A case-based reasoning diagnosis system for AHU (Air-Handling Unit)
2021-11 Abstraction de comportement de haut niveau à l’aide de la visualisation interactive
2015-04 Abitbol : un langage sur mesure pour la métaprogrammation
2003 3D reconstruction of a catheter path from a single view X-ray sequence
2002 001_correct : un environnement de restructuration des programmes objets piloté par la qualité