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
1995 Un système tutorial intelligent basé sur un système critique
1996-04 Un système multi-paradigme pour la manipulation des connaissances utilisant la théorie des graphes conceptuels
1998 Un système multi-agent pour l'enseignement et la simulation de tâches coopératives
2020-03 Un système de question-réponse simple appliqué à SQuAD
1996 Un système de programmation Scheme pour micro-contrôleur
2007 Un système d'aide à la visualisation interactive de logiciels
2001 Un système combiné de raisonnement à base de cas et de data mining : une alternative aux techniques statistiques de marketing bancaire
2019-08 Unsupervised representation learning in interactive environments
1989 Un simulateur distribué de circuits intégrés à synchronisation mixte
2011-04 Un protocole de diffusion des messages dans les réseaux véhiculaires
2002 Un protocole de communication pour applications transactionnelles distribuées
1996-03 Un outil pour la spécification de matériel et la génération de modèles exécutables
1995 Un outil pour la conception et l'évaluation de hiérarchies de classes dans un modèle orienté-objet
2013-08 Un outil d’évaluation neurocognitive des interactions humain-machine
2008 Un outil de conception pour les réseaux maillés sans fil
2000 Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise
2016-04 Un modèle rétroactif de réconciliation utilité-confidentialité sur les données d’assurance
1991 Un modèle dynamique de simulation de vêtements avec détection de collisions
2003 Un modèle de validation automatique de mécanismes de sécurisation des communications
1998 Un modèle de tâche favorisant la production de conseils au cours d'une simulation
1991 Un modèle de simulation basé sur les graphes de contraintes hiérarchiques
1991 Un modèle de simulation au niveau des commutateurs à contrôle réparti
1991 Un modèle de représentation de l'information géographique dans un système d'analyse spatiale automatisée du terrain
1995 Un modèle de l'apprenant basé sur les tâches
2001 Un modèle bi-niveau pour la gestion du revenu en transport aérien
1999 Un générateur de code machine pour le compilateur Gambit
2001 Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces
2009-12 Un formalisme pour la traçabilité des transformations
2017-01 Unfolding RNA 3D structures for secondary structure prediction benchmarking
2005 Une solution facilitant l'accessibilité et la classification des images Web pour les mal voyants
Nombre de résultats : 1474