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
1991 Un environnement d'expérimentation des grammaires de Montague
1992 Un environnement interactif-graphique pour le développement d'algorithmes de génération automatique d'arbres de décisions
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
2014-05 Une signature du polymorphisme structural d’acides ribonucléiques non-codants permettant de comparer leurs niveaux d’activités biochimiques
2005 Une solution facilitant l'accessibilité et la classification des images Web pour les mal voyants
2017-01 Unfolding RNA 3D structures for secondary structure prediction benchmarking
2009-12 Un formalisme pour la traçabilité des transformations
2001 Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces
1999 Un générateur de code machine pour le compilateur Gambit
2001 Un modèle bi-niveau pour la gestion du revenu en transport aérien
1995 Un modèle de l'apprenant basé sur les tâches
1991 Un modèle de représentation de l'information géographique dans un système d'analyse spatiale automatisée du terrain
1991 Un modèle de simulation au niveau des commutateurs à contrôle réparti
1991 Un modèle de simulation basé sur les graphes de contraintes hiérarchiques
1998 Un modèle de tâche favorisant la production de conseils au cours d'une simulation
2003 Un modèle de validation automatique de mécanismes de sécurisation des communications
1991 Un modèle dynamique de simulation de vêtements avec détection de collisions
2016-04 Un modèle rétroactif de réconciliation utilité-confidentialité sur les données d’assurance
2000 Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise
2008 Un outil de conception pour les réseaux maillés sans fil
Number of results : 1474