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
1990 Étude et réalisation de planificateurs de systèmes tutoriels intelligents
2008 Un outil de conception pour les réseaux maillés sans fil
2009-10 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
2000 Calculs multipartites
2006 Nouveaux algorithmes, bornes et formulations pour les problèmes de la clique maximum et de la coloration minimum
2002 Heuristique d'évaporation de pénalités dans une méthode de décomposition pour trouver la plus grande clique d'un graphe
2011-08 Quantification de la relation séquence-activité de l’ARN par prédiction de structure tridimensionnelle
2008 Évaluation d'un modèle a priori basé sur un seuillage de la TCD en super-résolution et comparaison avec d'autres modèles a priori
1989 Chronolog, un langage de représentation des connaissances temporelles
1996 Topoï, un système de production d'argumentations dialectiques
2021-08 On representation learning for generative models of text
2023-08 An exploratory study of decision-focused learning for mutli-commodity network design in transportation
2003 ARM processor modeling at a cycle accurate level in systemC
2023-07 Towards privacy-preserving and fairness-enhanced item ranking in recommender systems
1990 Fault-tolerant sorting networks
2024-08 Enhancing agent learning through world dynamics modeling
2021-03 Locality and compositionality in representation learning for complex visual tasks
1998 Un système multi-agent pour l'enseignement et la simulation de tâches coopératives
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
2003 Architecture de communication générique pour un système de bus du commerce électronique
2008 Modélisation et implémentation des patrons de conception
1998 Décomposition des systèmes d'information : étude exploratoire des facteurs d'influence
2020-12 Privacy evaluation of fairness-enhancing pre-processing techniques
1995 Interface iconique pour un système d'aide au diagnostic médical à base de cas
2006 Qualité de service dans les services Web
1996 Décomposition semi-automatique de diagramme de flot des données (DFD)
2023-10 Représentations géométriques de détails fins pour la simulation d’éclairage
2023-03 Computational modeling and design of nonlinear mechanical systems and materials
2024-05 Quotient Types in Typer
1997 On conformance testing of systems communicating by Rendezvous
2018-08 Latent variable language models
2009-12 Eyes Of Darwin : une fenêtre ouverte sur l'évolution du logiciel
1996 Formal method for the design of real-time communicating subsystems and controllers
1995 Évaluation de fonctions sur données privées
1999 Informatique quantique : algorithmes et complexité de la communication
1990 Transformations de programmes logiques : Bases sémantiques et applications
2007 Reconstruction active et passive en vision par ordinateur
1997 Logiciel pour la vérification par simulation de la spécification de haut niveau de systèmes matériels
2013-12 Staffing optimization with chance constraints in call centers
2019-12 Stochastic optimization of staffing for multiskill call centers
2021-05 Méthodes de décomposition basées sur la relaxation lagrangienne : cas du problème de transport avec coûts fixes
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
2022-08 Generalization in federated learning
2004 Prédiction de la structure commune aux ARN messagers codant pour la protéine STG
1995-11 Un cadre d'application pour interfaces de gestion OSI
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
2006 Reconnaissance des graphes policier-gagnants
2004 Modélisation tridimensionnelle des ARN par exploration de l'espace conformationnel et satisfaction de contraintes
2013-09 Algorithmes d’apprentissage profonds supervisés et non-supervisés: applications et résultats théoriques
2000 White Rabbit : agents intelligents d'analyse de discussion pour la reconnaissance de profils d'usagers compatibles
Nombre de résultats : 1474