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
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
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
2004 Méthodes à noyaux appliquées à la gestion de portefeuille
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
2021-05 Méthodes de décomposition basées sur la relaxation lagrangienne : cas du problème de transport avec coûts fixes
2002 Méthodes de montée duale pour le problème de conception de réseaux multiproduits avec couts fixes et capacités
2017-12 Méthodes de résolution exactes et heuristiques pour un problème de tournées de techniciens
2023-08 Méthodes d'évaluation en extraction d'information ouverte
2008 Méthodes et outils pour une affectation optimale des juges lors des compétitions : une application au concours John Molson
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
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2002 Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources
2003 Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques
2017-12 Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique
2004 Méthode structurelle pour le suivi automatique des artères coronaires en ciné-angiographie
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
2021-08 Méthodologies pour la détection de diachronies sémantiques et leurs impacts
2006 Methods for multi-class segmentation of molecular sequences
2023-12 Methods for solving combinatorial pricing problems
2011-04 Métriques de routage dans les réseaux maillés sans fil
2024-03 Microservices identification in existing applications using meta-heuristics optimization and machine learning
2005 Migrating legacy system towards object technology
2004 Mining dynamic databases for frequent closed itemsets
2004 Mise à jour de la famille des générateurs minimaux des treillis de concepts et des icebergs
1998 Mise au point et implantation d'algorithmes pour l'allocation déterministe de conteneurs vides
2007 Mise en correspondance active et passive pour la vision par ordinateur multivue
2007 Mise en oeuvre des mécanismes de Vickrey-Clarke-Groves sur des réseaux
2019-12 Mise en oeuvre d’une approche sociotechnique de la vie privée pour les systèmes de paiement et de recommandation en ligne
2022-11 Mixed-integer programming representation for symmetrical partition function form games
2019-07 Mobile data and computation offloading in mobile cloud computing
2023-04 Model-based hyperparameter optimization
1999 Model checking for a first-order temporal logic using multiway decision graphs
2014-08 Modèle de confiance et ontologie probabiliste pilotés par réseaux bayésiens pour la gestion des accords de services dans l’environnement de services infonuagiques
2002 Modèle d'équilibre dans les réseaux de transport en commun : le cas des capacités explicites des services
2009-12 Modèle informatique du coapprentissage des ganglions de la base et du cortex : l'apprentissage par renforcement et le développement de représentations
2003 Modèles à noyaux à structure locale
2006 Modèles de langue appliqués à la recherche d'information contextuelle
2004 Modèles de langue en recherche d'information
1999 Modèles et algorithmes pour la simulation des systèmes à temps réel
2003 Modèles et algorithmes pour les enchères combinatoires
2015-08 Modèles et méthodes pour la planification de la récolte forestière
2007 Modèles Pareto hybrides pour distributions asymétriques et à queues lourdes
2006 Modèles pour la gestion du revenu dans l'industrie hôtelière
2004 Modèle transactionnel temporisé pour la coordination de services Web
2020-12 Modeling functional brain activity of human working memory using deep recurrent neural networks
2014-04 Modeling High-Dimensional Audio Sequences with Recurrent Neural Networks
2001 Modélisation automatisée de la structure 3-D des ARNs
1998 Modélisation de langages à classes à l'aide de Proto-Reflex
Nombre de résultats : 1178