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