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
2012 Intégration de services de raisonnement automatique basés sur les logiques de description dans les applications d’entreprise
1994 Intégration des langages ASN. 1 et Mondel : traduction des structures de données ASN. 1 en Mondel à l'aide de l'outil CENTAUR
1989 Intégration des systèmes tutoriels traditionnels et des systèmes tutoriels intelligents
2010 Intégration du contexte en traduction statistique à l’aide d’un perceptron à plusieurs couches
2025 Interactive hashing against quantum adversaries
2015 Interactive quantum information theory
1999 Interactive visual management of curriculum
1993 Interconnexion des réseaux assurant le service de communication personnalisé
1993 Interface graphique de modélisation de connaissances dans un système de conception de cours
1995 Interface iconique pour un système d'aide au diagnostic médical à base de cas
1992 InterFaces : un gestionnaire d'agents d'interface avec synthèse vocale et animation faciale
2025 Interpreting and generating drawings via learning, geometry processing, and optimization
2016 Interrelated product design activities sequencing with efficient tabu search algorithms
1997 Intervalles de confiance bootstrap pour la simulation de processus regénératifs
2005 Intrication & non-localité
2024 Intrinsic exploration for reinforcement learning beyond rewards
2020 Introduction à la reconstruction 3D par lumière structurée
2023 Investigating intra and inter-subject performance with deep learning for gait on irregular surfaces
2015 Investigating the Impact of Personal, Temporal and Participation Factors on Code Review Quality
2025 Investigating the impact of training data coverage on large language model hallucinations
2018 Iterative Solvers for Physics-based Simulations and Displays
2004 Jeu de poursuite sur des modèles du web et généralisation
2006 Jeu de poursuite sur graphe non réflexif
2021 Job dissatisfaction detection through progress note
2013 JSreal : un réalisateur de texte pour la programmation web
2012 Key agreement against quantum adversaries
1999 La Charrue - pour une représentation des données dans l'interface homme-machine
1990 La cinématique inverse comme outil d'animation d'acteurs synthétiques
2000 La compilation de patrons de filtrage sous Erlang
1990 La conception de logiciels d'assistance dans un contexte d'apprentissage
2016 La fuite d’information d’une réalisation quantique de primitives cryptographiques classiques
1994 La génération automatique de descriptions de systèmes dynamiques
1994 La génération pseudo-aléatoire cryptographiquement sécuritaire et ses considérations pratiques
2018 Lagrangian-based methods for single and multi-layer multicommodity capacitated network design
2013 Lagrangian-informed mixed integer programming reformulations
1993 La morphologie mathématique appliquée à l'histomorphométrie osseuse
2009 L’analyse de composants émotionnels dans des stratégies d’apprentissage
1994 La planification de la production d'un système hydro-électrique en contexte déterministe
2015 L'algorithme de Branch and Price and Cut pour le problème de conception de réseaux avec coûts fixes et sans capacité
1990 L'analyse lexicale dans les interfaces en langue naturelle
1993 L'application des systèmes hypertextes dans un cadre juridique
2012 L'atténuation statistique des surdétections d'un correcteur grammatical symbolique
2017 L'équivalence entre le local-réalisme et le principe de non-signalement
2014 L'ingénierie des documents d'affaires dans le cadre du web sémantique
1992 L'optimisation des fréquences d'un réseau de transport en commun
2000 L'optimisation des fréquences d'un réseau de transport en commun avec congestion
1995 L'ordinateur quantique : complexité et stabilisation des calculs
2000 L'utilisation de règles de réseau en simulation comme technique de réduction de la variance
1998 L'utilisation de vecteurs de liens bibliographiques comme descripteurs de documents juridiques dans un système de recherche d'information
1990 La prédiction des structures macromoléculaires par une approche symbolique
Nombre de résultats : 1615