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 ascending order Title Sort by title in ascending order
1996 Formal method for the design of real-time communicating subsystems and controllers
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
1989 Générateur d'itinéraires d'enlèvement de la neige
1991 Générateur intelligent de tests adapté au domaine des protocoles de communication
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
1992 Génération automatique de procédés anaphoriques dans les textes d'assemblage
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
1989 Génération de questions adaptées à l'usager pour un système de consultation médicale
Number of results : 1474