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
2011 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution
1989 Testabilité et tolérance aux fautes des circuits logiques à structure régulière
1996 Test de conformité du protocole de signalisation en mode Trames (Frame Relay)
1993 Test generation based on an FSM model with timers and counters
1993 Tests d'indépendance de deux séries chronologiques multivariées
2002 Text prediction for translators
1997 Texture volumique multi-échelle pour l'affichage de scènes complexes
2020 The art of post-truth in quantum cryptography
2015 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 The decoupling approach to quantum information theory
2024 The equivalence of contrastive learning and graph convolution in collaborative filtering
2018 The limits of Nečiporuk’s method and the power of programs over monoids taken from small varieties of finite monoids
2020 The load planning problem for double-stack intermodal trains
1992 The LOTOS language :distributed implementation and fairness
2020 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 Theory and numerical integration of subsurface light transport
2024 The role of continual learning and adaptive computation in improving computational efficiency of deep learning
2020 Theseus : a 3D virtual reality orientation game with real-time guidance system for cognitive training
2024 The shifting landscape of data : learning to tame distributional shifts
2026 The spectrum of structured reasoning in multimodal foundation models
2009 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 Tools for fluid simulation control in computer graphics
2002 Tool support for context-based comprehension of large-scale software systems
1996 Topoï, un système de production d'argumentations dialectiques
2023 Toward causal representation and structure learning
2026 Toward efficient and scalable optimization : theoretical insights and practical challenges
2025 Toward neural networks that generalize systematically
2025 Towards accurate RNA structural evaluation : a study of RNA tertiary structural evaluation and ARES performance improvement
2023 Towards adaptive deep model-based reinforcement learning
2025 Towards adaptive personalization in conversational search
1997 Towards a formal definition of security for quantum protocols
2023 Towards an extension of causal discovery with generative flow networks to latent variables models
2012 Towards a Privacy-enhanced Social Networking Site
2023 Towards a unified model for speech and language processing
2020 Towards better understanding and improving optimization in recurrent neural networks
Nombre de résultats : 1620