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.

 

 

For a detailed search
 Visit Papyrus
Date Sort by date in descending order Title Sort by title in descending order
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
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
Number of results : 605