Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

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
1997 On conformance testing of systems communicating by Rendezvous
2024 Quotient Types in Typer
2023 Computational modeling and design of nonlinear mechanical systems and materials
2023 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 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 Locality and compositionality in representation learning for complex visual tasks
2024 Enhancing agent learning through world dynamics modeling
1990 Fault-tolerant sorting networks
2023 Towards privacy-preserving and fairness-enhanced item ranking in recommender systems
2003 ARM processor modeling at a cycle accurate level in systemC
2024 Dichotomy(?) of fairness and efficiency
2023 An exploratory study of decision-focused learning for mutli-commodity network design in transportation
2021 On representation learning for generative models of text
1989 Chronolog, un langage de représentation des connaissances temporelles
1996 Topoï, un système de production d'argumentations dialectiques
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
2011 Quantification de la relation séquence-activité de l’ARN par prédiction de structure tridimensionnelle
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
2000 Calculs multipartites
2009 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
2008 Un outil de conception pour les réseaux maillés sans fil
1990 Étude et réalisation de planificateurs de systèmes tutoriels intelligents
2001 RCR : un profil UML pour la rétroconception, la compréhension et la réingénierie de logiciels
2021 Towards fairness in Kidney Exchange Programs
2000 Définition d'une mesure de compatibilité séquence-structure dans les protéines à l'aide de modèles probabilistes graphiques et de réseaux de neurones artificiels
2004 Génération d'ombres floues provenant de sources de lumière surfaciques à l'aide de tampons d'ombre étendus
2005 Énumération des rayons extrêmes d'un cône et applications en minimisation concave
2023 Neurobiologically-inspired models : exploring behaviour prediction, learning algorithms, and reinforcement learning
1997 Développement d'un éditeur graphique pour les suites de tests de protocoles de communication
2014 Algorithmes heuristiques et exacts pour le problème de l’ensemble dominant connexe minimum
1994 Applications de la méthode de recherche avec tabous à divers problèmes d'optimisation combinatoire
2016 Learning representations for Information Retrieval
1992 Méthodologie de programmation d'environnements à objets répartis
1997 Dérivation de spécification à partir de scénarios d'interaction
2018 Predictive models for career progression
2005 Une métaheuristique pour le problème d'affectation de longueurs d'onde, de groupage et de routage du trafic dans les réseaux optiques WDM
2022 Développement d’un serveur LSP pour Typer
2024 On PI controllers for updating lagrange multipliers in constrained optimization
2019 Learning competitive ensemble of information-constrained primitives
2000 Extraction et intégration des données à partir des pages WEB
2004 Expansion multi-périodes d'un réseau local de télécommunications
Nombre de résultats : 1514