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
2005 Prédiction des pré-miARN basée sur la conservation de structure dans les pri-miARN
2023-06 Learning and planning with noise in optimization and reinforcement learning
1992 Analyses et applications des méthodes de projection sur un sous-espace
2016-08 Prédiction du délai d'attente en temps réel et modélisation des durées de service dans les centres d'appels multi-compétences
1994 Traduction d'un sous-ensemble de SDL en Estelle
2000 White Rabbit : agents intelligents d'analyse de discussion pour la reconnaissance de profils d'usagers compatibles
2013-09 Algorithmes d’apprentissage profonds supervisés et non-supervisés: applications et résultats théoriques
2004 Modélisation tridimensionnelle des ARN par exploration de l'espace conformationnel et satisfaction de contraintes
2006 Reconnaissance des graphes policier-gagnants
1989 Une approche de restriction basée sur une méthode primale-duale pour résoudre le problème de localisation-distribution avec échanges interdépôts
1995-11 Un cadre d'application pour interfaces de gestion OSI
2004 Prédiction de la structure commune aux ARN messagers codant pour la protéine STG
2022-08 Generalization in federated learning
2005 Heuristique basée sur des méthodes de montée duale et de voisinage variable pour la résolution d'un problème de localisation dans un système de distribution
2021-05 Méthodes de décomposition basées sur la relaxation lagrangienne : cas du problème de transport avec coûts fixes
2013-12 Staffing optimization with chance constraints in call centers
2019-12 Stochastic optimization of staffing for multiskill call centers
1997 Logiciel pour la vérification par simulation de la spécification de haut niveau de systèmes matériels
2007 Reconstruction active et passive en vision par ordinateur
1990 Transformations de programmes logiques : Bases sémantiques et applications
1999 Informatique quantique : algorithmes et complexité de la communication
1995 Évaluation de fonctions sur données privées
1996 Formal method for the design of real-time communicating subsystems and controllers
2009-12 Eyes Of Darwin : une fenêtre ouverte sur l'évolution du logiciel
2018-08 Latent variable language models
1997 On conformance testing of systems communicating by Rendezvous
2024-05 Quotient Types in Typer
2023-03 Computational modeling and design of nonlinear mechanical systems and materials
2023-10 Représentations géométriques de détails fins pour la simulation d’éclairage
1996 Décomposition semi-automatique de diagramme de flot des données (DFD)
2006 Qualité de service dans les services Web
1995 Interface iconique pour un système d'aide au diagnostic médical à base de cas
2020-12 Privacy evaluation of fairness-enhancing pre-processing techniques
1998 Décomposition des systèmes d'information : étude exploratoire des facteurs d'influence
2008 Modélisation et implémentation des patrons de conception
2003 Architecture de communication générique pour un système de bus du commerce électronique
2008 Étude d'un problème de tournées de véhicules sur les arcs avec contraintes de capacité et coûts de service dépendants du temps
1998 Un système multi-agent pour l'enseignement et la simulation de tâches coopératives
2021-03 Locality and compositionality in representation learning for complex visual tasks
2024-08 Enhancing agent learning through world dynamics modeling