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
2005 Animation de fluides viscoélastiques à base de particules
2005 Reconstruction volumétrique par l'algorithme du flot maximum dans un graphe
2005 QUERI : un système de question-réponse collaboratif et interactif
2005 Estimation de la qualité du produit logiciel : réseaux Bayésiens
2005 Une métaheuristique pour le problème d'affectation de longueurs d'onde, de groupage et de routage du trafic dans les réseaux optiques WDM
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2005 Études du jeu de poursuite dans les graphes
2005 Collaboration in multi-agent system : contract net and beyond
2005 Conception et implantation d'une bibliothèque pour la simulation de centres de contacts
2005 Composition automatique de musique à l'aide de réseaux de neurones récurrents et de la structure métrique
2005 Contribution à la conjecture d'Erdos-Farber-Lovász
2005 BLED : système d'aide à la recherche d'informations sur Internet
2005 HELP : localisation et recommandation d'experts pour le développement d'un système d'aide collaborative
2005 Les feuillets beta dans les protéines : annotation, comparaison et construction
2005 Alignement des ontologies OWL-Lite
2005 Développement d'une fonction d'évaluation pour le jeu de go
2005 Calibration de la distorsion radiale
2005 Automatic music classification using boosting algorithms and auditory features
2005 Animation interactive de mouvements secondaires par simulation de surfaces élastiques
2005 Énumération des rayons extrêmes d'un cône et applications en minimisation concave
2005 Analyse du comportement des programmes à l'aide des matrices d'adjacence
2005 Implémentation de la multiplication des grands nombres par FFT dans le contexte des algorithmes cryptographiques
2005 S-JET : une nouvelle conception pour la gestion de réservation pour l'architecture des réseaux OBS
2006 Une architecture pour l'évaluation qualitative de l'impact de la programmation orientée aspect
2006 Équilibrage de charge dans un réseau pair-à-pair structuré : une méthode dynamique intégrée
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2006 Étude de contraintes spatiales bas niveau appliquées à la vision par ordinateur
2006 RARE : un système de recommandation de cours basé sur les régles d'association
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2006 Design optimal de réseau multipoint survivable
Nombre de résultats : 1661