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
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2006 Mood : un cadre d'applications pour le développement de décodeurs en traduction statistique
2006 UMAKE : adaptation et recommandation d'outils d'aide d'un quiz pour l'auto-évaluation
2006 Validité d'un modèle QuasiNURBS interpolant des données géométriques incertaines
2006 Architecture question-réponse pour l'automatisation des services d'information
2006 Phylogenetic shadowing using a model selection process
2006 Application d'algorithmes de bio-informatique à la recherche de patrons de conception
2006 Preuves interactives classiques
2006 Étude numérique d'algorithmes d'affectation d'équilibre de réseaux : modèles statiques à coûts symétriques avec demandes fixes dans l'espace des chemins
2006 Formal checking of web based applications