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
2019-12 Stochastic optimization of staffing for multiskill call centers
2024-05 Strategic planning of intracity electric vehicle charging station locations with integrated advanced demand dynamics
2011-04 Structure de la distribution de probabilités de l'état GHZ sous l'action locale de transformations du groupe U(2)
2016-08 Structured prediction and generative modeling using neural networks
2020-05 Study and experimentation of cognitive decline measurements in a virtual reality environment
2000 Support informatique à la compréhension des logiciels orientés objet de taille industrielle
2000 Sur des méthodes et algorithmes de factorisation et leur application en cryptologie
2024-03 Sur la génération d'exemples pour réduire le coût d'annotation
2023-04 Sur l’application de la structure de graphes pour le calcul automatique de nombres de reproduction dans les modèles à compartiments déterministes
2023-07 Sur l'élaboration de meilleures techniques pour l'apprentissage auto-supervisé des représentations du code
2016-08 Sur l’identification des états produits par une source quantique maximalement décorrélée
2009-10 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
2017-04 Survey of Template-Based Code Generation
1999 Symétrie et sens de l'orientation dans les graphes
2022-08 Syntactic inductive biases for deep learning methods
2002 Synthèse de EFSM observatrices à partir de spécifications HAAD
2000 Système de colonie de fourmis GENI pour le problème du voyageur de commerce
2000 Système de configuration des politiques de gestion de réseaux
2011-08 Système de listes de vérification interactives du niveau de conformité des maquettes avec les recommandations des fabricants de plateformes mobiles
2004 Système de vidéosurveillance et de monitoring
2021-04 Système intelligent pour le suivi et l’optimisation de l’état cognitif
2004 Systèmes tutoriels émotionnellement intelligents
2009 Système symbolique de création de résumés de mise à jour
2007 TAARAC : test d'anglais adaptatif par raisonnement à base de cas
2020-05 Tactical block planning for intermodal rail transportation
2013-12 Tactical Vehicle Routing Planning with Application to Milk Collection and Distribution
2021-12 Tailored deep learning techniques for information retrieval
2001 Tarification et conception de réseau en télécommunication
2011-12 Tarification logit dans un réseau
2022-12 Taxonomy of datasets in graph learning : a data-driven approach to improve GNN benchmarking
2011-12 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution
2002 Text prediction for translators
1997 Texture volumique multi-échelle pour l'affichage de scènes complexes
2020-01 The art of post-truth in quantum cryptography
2015-07 The berth allocation problem at port terminals : a column generation framework
2000 The cell-transmission model : a new look at a dynamic network loading model
2004 The co-design methodologies on click router application system
2009-11 The decoupling approach to quantum information theory
2018-05 The limits of Nečiporuk’s method and the power of programs over monoids taken from small varieties of finite monoids
2020-04 The load planning problem for double-stack intermodal trains
2020-08 The multilevel critical node problem : theoretical intractability and a curriculum learning approach
2004 Théorie et pratique de la construction humaine supervisée du sens
2015-08 Theory and numerical integration of subsurface light transport
2024-01 The role of continual learning and adaptive computation in improving computational efficiency of deep learning
2020-10 Theseus : a 3D virtual reality orientation game with real-time guidance system for cognitive training
2009-12 Timing verification in transaction modeling
2000 Timing verification of interface specifications and controllers
2007 TONGA : un algorithme de gradient naturel pour les problèmes de grande taille
2021-09 Tools for fluid simulation control in computer graphics
2002 Tool support for context-based comprehension of large-scale software systems