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
2006 RARE : un système de recommandation de cours basé sur les régles d'association
2006 Recherches coopératives pour la résolution de problèmes d'optimisation combinatoire
2006 Visualisation de la qualité des logiciels de grandes taille
2006 Résumé automatique des commentaires de consommateurs
2006 Application de la recherche opérationnelle à deux problèmes industriels : ordonnancement d'un laminoir et gestion de barrages hydroélectriques
2006 Équilibrage de charge dans un réseau pair-à-pair structuré : une méthode dynamique intégrée
2006 Architecture question-réponse pour l'automatisation des services d'information
2006 Rééclairage par génération de cartes de normales en composition vidéo numérique
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
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 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2006 Formal checking of web based applications
2006 Graphe et jeu de poursuite : policiers et voleurs sous contraintes
2006 Étude de la combinaison de la technique quasi-Monte Carlo randomisé vectoriel avec l'échantillonnage exact
2006 Modèles de langue appliqués à la recherche d'information contextuelle
2006 Methods for multi-class segmentation of molecular sequences
2006 An intelligent help system to support teachers to author learning sessions in decision-making in network design
2006 Approches heuristiques pour le problème d'ordonnancement de véhicules
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
2006 Optimisation et balancement de la consommation d'énergie dans les réseaux ad hoc mobiles et de capteurs
2006 Programmes de génération et machines de Turing algébriques
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2006 Étude de la traçabilité entre refactorisations du modèle de classes et refactorisations du code
2006 Une architecture pour l'évaluation qualitative de l'impact de la programmation orientée aspect
2006 Conception d'un langage de programmation pour applications distribuées
2006 Algorithms for classifying recorded music by genre
2005 Animation de fluides viscoélastiques à base de particules
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 Analyse des données d'expression de gènes
2005 BLED : système d'aide à la recherche d'informations sur Internet
2005 Implémentation de la multiplication des grands nombres par FFT dans le contexte des algorithmes cryptographiques
2005 Rendu interactif de détails de surface par textures 3D semi-transparentes
2005 Estimation de la qualité du produit logiciel : réseaux Bayésiens
2005 Analyse de la qualité du logiciel : une approche par visualisation et simulation
2005 Analyse du comportement des programmes à l'aide des matrices d'adjacence
2005 Alignement des ontologies OWL-Lite
2005 Animation interactive de mouvements secondaires par simulation de surfaces élastiques
2005 Contribution à la conjecture d'Erdos-Farber-Lovász
2005 Composition automatique de musique à l'aide de réseaux de neurones récurrents et de la structure métrique
2005 Accès et routage optique en mode de commutation de rafales
2005 A quality model considering program architecture
2005 Calibration de la distorsion radiale
2005 Développement d'une fonction d'évaluation pour le jeu de go
2005 Dimensionnement GRWA et protection par segment dans les réseaux optiques WDM
2005 Heuristiques pour l'expansion multi-périodes de la capacité d'un réseau local de télécommunications
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2005 Collaboration in multi-agent system : contract net and beyond
2005 Migrating legacy system towards object technology
2005 Heuristique basée sur des méthodes de montée duale et de voisinage variable pour la résolution d'un problème de localisation dans un système de distribution
2005 Reconstruction volumétrique par l'algorithme du flot maximum dans un graphe