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
2007 Analyse des espaces de lignes pour la capture de cartes d'environnement
2007 Échantillonnage de produits de fonctions
2000 Planification de l'exploitation forestière par des méthodes heuristiques
2015-08 Détection de mouvement par modèle biologique de fusion de donnée inspiré de la rétine humaine
2021-12 Hybrid and data-driven methods for efficient and realistic particle-based liquid simulations
1996 Satisfaction incrémentielle de contraintes par le biais de la réécriture
1992 Analyse d'images stéréoscopiques basée sur la détermination du flux optique
1999 Calibration, rectification et stéréoscopie
2009-08 Peinture de lumière incidente dans des scènes 3D
2000 Problème d'affectation dynamique sur un réseau de transport
2015-07 The berth allocation problem at port terminals : a column generation framework
2023-05 Leveraging self-supervision for visual embodied navigation with neuralized potential fields
1991 Analyse en ligne de traces d'exécution appliquée au protocole de transport
2012-07 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
2021-07 Computation over partial information : a principled approach to accurate partial evaluation
1993 Classification de conformations macromoléculaires
2000 Génération automatique de résumés par analyse sélective
2018-04 Vers une plateforme holistique de protection de la vie privée dans les services géodépendants
2016-08 Inferring API Usage Patterns and Constraints : a Holistic Approach
2020-12 Modeling functional brain activity of human working memory using deep recurrent neural networks
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2002 Génération automatique d'une spécification formelle à partir de scénarios temps-réels
2023-12 Traitement automatique du langage naturel pour les textes juridiques : prédiction de verdict et exploitation de connaissances du domaine
2017-09 Recourse policies in the vehicle routing problem with stochastic demands
2003 Bimodal adaptive hypermedia and interactive multimedia a web-based learning environment based on Kolb's theory of learning style
2019-05 Simple optimizing JIT compilation of higher-order dynamic programming languages
2005 HELP : localisation et recommandation d'experts pour le développement d'un système d'aide collaborative
2023-11 Fairness through domain awareness : mitigating popularity bias for music discovery
2003 SecAdvise : un aviseur de mécanismes de sécurité
2022-08 Personalized fake news aware recommendation system
1997 Variations sur la transmission inconsciente en cryptographie quantique
1991 Le problème de réconciliation en cryptographie
1993 Développement d'un environnement de test et de diagnostique
1991 Traitement de l'incertitude : une implantation de la théorie de Dempster-Shafer en Smalltalk
2024-04 Scalable and robust fog-computing design & dimensioning in dynamic, trustless smart cities
2020-08 Neural approaches to dialog modeling
2006 Étude de la combinaison de la technique quasi-Monte Carlo randomisé vectoriel avec l'échantillonnage exact
2018-09 Learning-Based Matheuristic Solution Methods for Stochastic Network Design
2004 Ordonnancement des flots agrégés dans les réseaux IP multiservices
2011-04 Métriques de routage dans les réseaux maillés sans fil
2020-06 Assessing the robustness of genetic codes and genomes
2011-08 Réseaux de neurones à relaxation entraînés par critère d'autoencodeur débruitant
2020-01 Générateurs de nombres aléatoires modulo un grand entier, dont l’uniformité est assurée
2017-09 Évaluation de politiques de séquençage d'arrivées d'avions par Simulation Monte Carlo
2020-12 A deep learning theory for neural networks grounded in physics
1999 Analyse et comparaison de protocoles de purification de l'intrication quantique
2021-09 Tools for fluid simulation control in computer graphics
2020-08 Data-efficient reinforcement learning with self-predictive representations
2023-11 Building sample-efficient reinforcement learning
2020-01 Towards using fluctuations in internal quality metrics to find design intents
Nombre de résultats : 1474