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
2005 Analyse de la qualité du logiciel : une approche par visualisation et simulation
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2011-09 Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
2013-12 Analyse de changements multiples : une approche probabiliste utilisant les réseaux bayésiens
2008 Analyse, à l'aide d'oculomètres, de techniques de visualisation UML de patrons de conception pour la compréhension de programmes
2016-09 An adaptive neighborhood search algorithm for optimizing stochastic mining complexes
2023-08 A multi-agent nudge-based approach for disclosure mitigation online
2013-01 Amplification de l'amplitude : analyse et applications
2012-09 Amorçage cognitif pour amélioration de l’acquisition de la connaissance dans un système tutoriel intelligent
2014-11 A Mono- and Multi-objective Approach for Recommending Software Refactoring
2023-04 Amélioration des messages d'erreurs Typer par algorithme génétique
2005 Amélioration de la prédiction de la qualité du logiciel par combinaison et adaptation de modèles
2007 Amélioration de la perception spatiale et émotive d'un environnement virtuel interactif par la gestion cinématographique des prises de vue
2016-03 Amélioration a posteriori de la traduction automatique par métaheuristique
2021-09 Alzheimer prediction from connected speech extracts : assessment of generalisation to new data
2000 Allotment of aircraft spare parts using genetic algorithms
2008 Allocation optimale des ressources pour les applications et services de grille de calcul
1999 Allocation et tarification des accès réseaux
2002 Alimentation d'un dépôt de code source pour l'analyse détaillée de systèmes de taille industrielle
2005 Alignement des ontologies OWL-Lite
2013-07 Alignement de phrases parallèles dans des corpus bruités
2006 Algorithms for classifying recorded music by genre
2016-04 Algorithmique et complexité des systèmes à compteurs
2018-08 Algorithmic contributions to bilevel location problems with queueing and user equilibrium : exact and semi-exact approaches
2002 Algorithmes pour le réarrangement des génomes par inversions
2008 Algorithmes pour le problème de repositionnement
2010-04 Algorithmes pour la réconciliation d’un arbre de gènes avec un arbre d’espèces
2014-08 Algorithmes heuristiques et exacts pour le problème de l’ensemble dominant connexe minimum
2009-12 Algorithmes de recommandation musicale
2016-08 Algorithmes de construction et correction d'arbres de gènes par la réconciliation
2013-09 Algorithmes d’apprentissage profonds supervisés et non-supervisés: applications et résultats théoriques
2012-09 Algorithmes d'apprentissage pour la recommandation
2015-12 Algorithme de branch-and-price-and-cut pour le problème de conception de réseaux avec coûts fixes, capacités et un seul produit
2013-04 A layered JavaScript virtual machine supporting dynamic instrumentation
2023-07 AI for molecule discovery with multi-modal knowledge
2023-07 AI-based modeling of brain and behavior : combining neuroimaging, imitation learning and video games
2021-12 AI alignment and generalization in deep learning
2015-08 A heuristic algorithm for the Capacitated Vehicle Routing Problem with Synchronized Pick-ups and Drop-offs : a case study for medications delivery and supervision in DR Congo
2002 Agents à base de règles pour les négociations électroniques : concepts et infrastructure
2000 Agent émotif dans un système tutoriel intelligent
2022-06 Agent abstraction in multi-agent reinforcement learning
2020-09 A game theoretical model for a collaborative e-learning platform on privacy awareness
2021-12 A framework for domain-specific modeling on graph databases
2007 A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
2002 Affectation statique et dynamique des usagers dans un réseau de transport avec capacités rigides
2014-06 Affectation de composantes basée sur des contraintes énergétiques dans une architecture multiprocesseurs en trois dimensions
2012-09 A dynamic sequential route choice model for micro-simulation
2022-08 Adversarial games in machine learning : challenges and applications
2023-08 Advances in uncertainty modelling : from epistemic uncertainty estimation to generalized generative flow networks
2015-06 Advances in scaling deep learning algorithms
Nombre de résultats : 1178