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
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
1992 Méthodologie de programmation d'environnements à objets répartis
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2004 Méthode structurelle pour le suivi automatique des artères coronaires en ciné-angiographie
2017-12 Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques
2003 Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources
2002 Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2010-08 Méthodes exactes et heuristiques pour le problème de tournées de véhicules avec fenêtres de temps et réutilisation de véhicules
2008 Méthodes et outils pour une affectation optimale des juges lors des compétitions : une application au concours John Molson
2023-08 Méthodes d'évaluation en extraction d'information ouverte
2017-12 Méthodes de résolution exactes et heuristiques pour un problème de tournées de techniciens
2002 Méthodes de montée duale pour le problème de conception de réseaux multiproduits avec couts fixes et capacités
2021-05 Méthodes de décomposition basées sur la relaxation lagrangienne : cas du problème de transport avec coûts fixes
1989 Méthodes d'échanges pour problèmes d'affectation
2016-12 Méthodes d’analyse de mouvement en vision 3D : invariance aux délais temporels entre des caméras non synchronisées et flux optique par isocontours
2004 Méthodes à noyaux appliquées à la gestion de portefeuille
1999 Méthode de simulation aléatoire guidée par un algorithme génétique pour la vérification du design de circuits numériques
2016-04 Méthode de recherche à grand voisinage pour un problème de tournées de véhicules avec flotte privée et transporteur externe