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 décroissant Titre Trier par titre en ordre décroissant
2019-05 Simple optimizing JIT compilation of higher-order dynamic programming languages
2003 Bimodal adaptive hypermedia and interactive multimedia a web-based learning environment based on Kolb's theory of learning style
2017-09 Recourse policies in the vehicle routing problem with stochastic demands
2002 Génération automatique d'une spécification formelle à partir de scénarios temps-réels
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2020-12 Modeling functional brain activity of human working memory using deep recurrent neural networks
2016-08 Inferring API Usage Patterns and Constraints : a Holistic Approach
2018-04 Vers une plateforme holistique de protection de la vie privée dans les services géodépendants
2000 Génération automatique de résumés par analyse sélective
2021-07 Computation over partial information : a principled approach to accurate partial evaluation
2012-07 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
2023-05 Leveraging self-supervision for visual embodied navigation with neuralized potential fields
2015-07 The berth allocation problem at port terminals : a column generation framework
2000 Problème d'affectation dynamique sur un réseau de transport
2009-08 Peinture de lumière incidente dans des scènes 3D
1999 Calibration, rectification et stéréoscopie
2021-12 Hybrid and data-driven methods for efficient and realistic particle-based liquid simulations
2015-08 Détection de mouvement par modèle biologique de fusion de donnée inspiré de la rétine humaine
2000 Planification de l'exploitation forestière par des méthodes heuristiques
2007 Échantillonnage de produits de fonctions
2007 Analyse des espaces de lignes pour la capture de cartes d'environnement
2002 Gestion de flotte avec fenêtres horaires : approches de résolution mixtes utilisant la programmation par contraintes
2010-03 Vidéosurveillance intelligente pour la détection de chutes chez les personnes âgées
2005 Analyse de la qualité du logiciel : une approche par visualisation et simulation
2004 Théorie et pratique de la construction humaine supervisée du sens
2006 Étude de l'analyse formelle dans les données relationnelles : application à la restructuration des modèles structuraux UML
2023-10 Training large multimodal language models with ethical values
2016-12 Speech synthesis using recurrent neural networks
2006 An intelligent help system to support teachers to author learning sessions in decision-making in network design
2022-04 Cyclopean optical flow
2000 Support informatique à la compréhension des logiciels orientés objet de taille industrielle
2009-12 Modèle informatique du coapprentissage des ganglions de la base et du cortex : l'apprentissage par renforcement et le développement de représentations
2016-04 Un modèle rétroactif de réconciliation utilité-confidentialité sur les données d’assurance
2023-06 Data-driven optimization of bus schedules under uncertainties
2018-07 Apprendre à résoudre des analogies de forme
2010-08 Gestion adaptative des ressources dans les réseaux maillés sans fil à multiples-radios multiples-canaux
2006 Accélération de méthodes de résolution classiques par l'utilisation de stratégies de séparation locale comme outil d'hybridation
2001 Visualisation interactive des résultats de simulation de matériel modélisé avec SystemC
2022-07 Benchmarking bias mitigation algorithms in representation learning through fairness metrics
2012-06 L’extraction de phrases en relation de traduction dans Wikipédia
2007 C.A.M.E.L.E.O. : a cultural adaptation methodology for E-learning environment optimization
2021-10 Better representation learning for TPMS
2017-08 L'équivalence entre le local-réalisme et le principe de non-signalement
1997 Texture volumique multi-échelle pour l'affichage de scènes complexes
2022-11 Brain decoding of the Human Connectome Project Tasks in a Dense Individual fMRI Dataset
2023-02 On impact of mixing times in continual reinforcement learning
2022-12 Accelerated algorithms for temporal difference learning methods
2014-02 Practical and Foundational Aspects of Secure Computation
2019-09 Real-Time Reinforcement Learning
1999 Cadre conceptuel pour la composition des objets et la spécification du comportement