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
1990 Structures de données dynamiques pour la représentation de l'information spatiale
2003 A survey of graph and subgraph isomorphism problems
2025 Pour une IA plus responsable, détection de biais dans les entrevues de recrutement
1998 Modélisation de la structure 3-D des ARN par satisfaction de contraintes
2014 Distributed conditional computation
1990 Une interface pour la composition de scènes en infographie tridimensionnelle
2008 Avancées théoriques sur la représentation et l'optimisation des réseaux de neurones
1998 Planification de l'enseignement individualisé dans un système turoriel intelligent à grande échelle
2026 Expansion d’aléa via les jeux non-locaux compilés
2004 Nego : a virtual negociation market
2019 Deep neural networks for natural language processing and its acceleration
1993 Test generation based on an FSM model with timers and counters
2023 AI for molecule discovery with multi-modal knowledge
2025 Connecting neural networks, automata theory and tensor network methods for sequence data learning
1991 Un environnement de travail pour le langage de programmation ObjVProlog
2017 Survey of Template-Based Code Generation
1997 Étude et réalisation d'un système d'aide à la modélisation des tâches
2019 Empirical study and multi-task learning exploration for neural sequence labeling models
2023 Apprentissage de descripteurs locaux pour l’amélioration des systèmes de SLAM visuel
2021 Reduced collision fingerprints and pairwise molecular comparisons for explainable property prediction using Deep Learning
2023 Sur l'élaboration de meilleures techniques pour l'apprentissage auto-supervisé des représentations du code
1998 Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI
2012 Revisiting optimization algorithms for maximum likelihood estimation
2012 Impacts and Detection of Design Smells
2022 Reinforcement learning applied to the real world : uncertainty, sample efficiency, and multi-agent coordination
2007 Évaluation de la qualité des applications web : approche probabiliste
1990 Conception et implantation d'un langage de programmation intégrant trois paradigmes: la programmation logique, la programmation par objets et la programmation répartie
1990 Modèle de figures articulées pour personnages animés par ordinateur en programmation orientée objet
1991 Complexité des relations sémantiques dans les systèmes de programmation
1991 Compactage bidimensionnel de circuits intégrés selon la méthode de graphe de contraintes
2004 Estimation efficace de dérivées dans un réseau de télécommunications
2014 Reconstruction active par projection de lumière non structurée
2017 Méthodes de résolution exactes et heuristiques pour un problème de tournées de techniciens
1993 Reconstruction tridimensionnelle du ventricule gauche à partir de deux projections orthogonales en angiographie biplan
1996 La sécurité des protocoles de la cryptographie quantique
1989 La puissance de tests d'ajustement avec des données censurées
2003 Determination of software quality through a generic model
2020 On learning and generalization in unstructured taskspaces
2021 Reusable semantics for implementation of Python optimizing compilers
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2004 IIS : an intelligent interaction system that provides e-service, based on interaction and case-based reasoning
2018 Étude algorithmique et combinatoire de la méthode de Kemeny-Young et du consensus de classements
2023 FETA : fairness enforced verifying, training, and predicting algorithms for neural networks
2021 Pattern-based refactoring in model-driven engineering
2016 Learning a graph made of boolean function nodes : a new approach in machine learning
1989 Mise au point d'un système interactif-graphique pour la planification tactique du transport des marchandises
2024 Embedding cultural diversity in prototype-based recommender systems
1993 Analyse de radiographies de la main pour l'estimation de l'âge osseux
2012 A dynamic sequential route choice model for micro-simulation
2008 Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
Nombre de résultats : 605