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 croissant Titre Trier par titre en ordre croissant
2007 De nouveaux algorithmes de tri par transpositions
2007 Traitement interactif de plis dans la simulation de tissus
2007 Analyse des espaces de lignes pour la capture de cartes d'environnement
2007 Problème de planification des tournées des intervenants pour les visites à domicile
2007 Protection partagée pour les réseaux de transport multidomaines
2007 Problèmes de tournées multicritères dans des graphes
2007 Évaluation de la qualité des applications web : approche probabiliste
2007 A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
2007 Modèles Pareto hybrides pour distributions asymétriques et à queues lourdes
2007 Context-sensitive information retrieval
2007 Multicast explicite dans les réseaux ad hoc : implémentation, analyse et simulations d'un nouveau protocole multicast pour MANETs
2006 Résumé automatique des commentaires de consommateurs
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 Collaborative filtering techniques for drug discovery
2006 Formal checking of web based applications
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 RARE : un système de recommandation de cours basé sur les régles d'association
2006 Conception d'un langage de programmation pour applications distribuées
2006 Preuves interactives classiques
2006 UMAKE : adaptation et recommandation d'outils d'aide d'un quiz pour l'auto-évaluation
2006 Methods for multi-class segmentation of molecular sequences
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
2006 Rééclairage par génération de cartes de normales en composition vidéo numérique
2006 Modèles de langue appliqués à la recherche d'information contextuelle
2006 Design optimal de réseau multipoint survivable
2006 Qualité de service dans les services Web
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
2006 Programmes de génération et machines de Turing algébriques
2006 Estimation de paramètres de champs markoviens cachés avec applications à la segmentation d'images et la localisation de formes
2006 An intelligent help system to support teachers to author learning sessions in decision-making in network design
2006 Mood : un cadre d'applications pour le développement de décodeurs en traduction statistique
2006 Algorithms for classifying recorded music by genre
2006 Visualisation de la qualité des logiciels de grandes taille
2006 Estimation de mouvement sans restriction par filtres en quadrature localisés
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2006 Modèles pour la gestion du revenu dans l'industrie hôtelière