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
2014-08 Flou de mouvement réaliste en temps réel
2021-12 Forecasting for operational planning of M1M systems
2006 Formal checking of web based applications
2010-11 Formulation interactive des requêtes pour l’analyse et la compréhension du code source
2015-04 FPGA-based object detection using classification circuits
2018-12 Framework for Real-time collaboration on extensive Data Types using Strong Eventual Consistency
2012-04 From Classical to Quantum Secret Sharing
2018-11 From examples to knowledge in model-driven engineering : a holistic and pragmatic approach
2022-10 From specialists to generalists : inductive biases of deep learning for higher level cognition
2015-04 From Word Embeddings to Large Vocabulary Neural Machine Translation
2003 Galois lattice dynamics
2022-04 Game theoretical characterization of the multi-agent network expansion game
2003 Généralisation d'algorithmes de réduction de dimension
2022-08 Generalization in federated learning
2020-01 Générateurs de nombres aléatoires modulo un grand entier, dont l’uniformité est assurée
2000 Générateurs de nombres pseudo-aléatoires utilisant des récurrences linéaires modulo 2
2001 Générateurs pseudo-aléatoires combinant des récurrences linéaires et non linéaires
2022-09 Generating graphical and projectional editors
1999 Génération automatique de cas de test pour les systèmes modélisés par des machines à états finis communicantes
2015-04 Génération automatique de configurations et de scénarios d'utilisation d'outils de visualisation à partir de spécifications de tâches d'analyse de logiciels
2017-02 Génération automatique de lettres de recrutement
2000 Génération automatique de résumés par analyse sélective
2002 Génération automatique d'une spécification formelle à partir de scénarios temps-réels
2001 Génération de cas de test pour les systèmes temps réel modélisés par des automates à entrées sorties temporisées
2022-11 Génération de données : de l’anonymisation à la construction de populations synthétiques
2024-02 Génération de données synthétiques pour l'adaptation hors-domaine non-supervisée en réponse aux questions : méthodes basées sur des règles contre réseaux de neurones
1999 Génération de machines virtuelles pour l'exécution de programmes compressés
2002 Génération de modèles de langage compacts pour la reconnaissance vocale
2013-05 Génération de résumés par abstraction
2004 Génération d'ombres floues provenant de sources de lumière surfaciques à l'aide de tampons d'ombre étendus
2011-11 Génération efficace de graphes d’appels dynamiques complets
2008 Génération et édition de textures géométriques représentées par des ensembles de points
2010-08 Génération et reconnaissance de rythmes au moyen de réseaux de neurones à réservoir
2018-07 Generative models : a critical review
2017-08 Generative models for natural images
2021-11 Gentleman : a lightweight web-based projectional editor
2010-08 Gestion adaptative des ressources dans les réseaux maillés sans fil à multiples-radios multiples-canaux
1998 Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation
2002 Gestion de flotte avec fenêtres horaires : approches de résolution mixtes utilisant la programmation par contraintes
2003 Gestion de l'information en temps réel pour un répartiteur de véhicules
2013-12 Gestion des ressources dans les réseaux cellulaires sans fil
2022-12 Gestion manuelle et sécuritaire de la mémoire en Typer
2000 Gestionnaire de connaissances pour systèmes hybrides objets-règles
2016-02 Gestionnaire de vie privée : un cadre pour la protection de la vie privée dans les interactions entre apprenants
2006 Graphe et jeu de poursuite : policiers et voleurs sous contraintes
2000 Graphes de flot et coupes en restauration bayesienne d'images
2004 Groupage de trafic à coût minimum dans les réseaux anneaux WDM
2011-03 Groupage et protection du trafic dynamique dans les réseaux WDM
2021-05 Hamiltonian Monte Carlo and consistent sampling for score matching based generative modeling
2005 HELP : localisation et recommandation d'experts pour le développement d'un système d'aide collaborative