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
2002 Génération automatique d'une spécification formelle à partir de scénarios temps-réels
2001 "Principes et implantation de vues dans les langages Orientés-objets"
2002 Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées
1999 Allocation et tarification des accès réseaux
1997 Dérivation de spécification à partir de scénarios d'interaction
2013 Rétro ingénierie des modèles d’objets dynamiques pour JavaScript
2011 Génération efficace de graphes d’appels dynamiques complets
2011 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution
2013 Analyse de changements multiples : une approche probabiliste utilisant les réseaux bayésiens
2023 Toward trustworthy deep learning : out-of-distribution generalization and few-shot learning
2025 Metacognitive architecture for perceptual and social systems : a neuro-inspired metacognition approach
2024 An exploration of approximation chains
2025 Classical and quantum decoding algorithms with ZX-Calculus
1992 Système intégré de spectroscopie automatisée
2011 Espaces de timbre générés par des réseaux profonds convolutionnels
2009 Non-negative matrix decomposition approaches to frequency domain analysis of music audio signals
2010 Génération et reconnaissance de rythmes au moyen de réseaux de neurones à réservoir
2009 Algorithmes de recommandation musicale
2006 Apprentissage à base de gradient pour l'extraction de caractéristiques dans les signaux sonores complexes
2005 Composition automatique de musique à l'aide de réseaux de neurones récurrents et de la structure métrique