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 descending order Title Sort by title in descending order
2006 UMAKE : adaptation et recommandation d'outils d'aide d'un quiz pour l'auto-évaluation
2006 Formal checking of web based applications
2006 Étude de l'analyse formelle dans les données relationnelles : application à la restructuration des modèles structuraux UML
2006 Résumé automatique des commentaires de consommateurs
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
2006 An intelligent help system to support teachers to author learning sessions in decision-making in network design
2006 Preuves interactives classiques
2006 Approches heuristiques pour le problème d'ordonnancement de véhicules
2006 Simulation dynamique du trafic routier urbain et optimisation des contrôles
2006 Feature selection and term weighting beyond word frequency for calls for tenders documents
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2006 Apprentissage à base de gradient pour l'extraction de caractéristiques dans les signaux sonores complexes
2006 Estimation de paramètres de champs markoviens cachés avec applications à la segmentation d'images et la localisation de formes
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
2006 Modèles pour la gestion du revenu dans l'industrie hôtelière
2006 Mood : un cadre d'applications pour le développement de décodeurs en traduction statistique
2006 Application de la recherche opérationnelle à deux problèmes industriels : ordonnancement d'un laminoir et gestion de barrages hydroélectriques
2006 Étude de la combinaison de la technique quasi-Monte Carlo randomisé vectoriel avec l'échantillonnage exact
2006 Architecture question-réponse pour l'automatisation des services d'information
2006 Distribution d'objets avec les techniques de développement orientées aspects
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2006 Jeu de poursuite sur graphe non réflexif
2006 Estimation de mouvement sans restriction par filtres en quadrature localisés
2006 Optimisation et balancement de la consommation d'énergie dans les réseaux ad hoc mobiles et de capteurs
2006 Accélération de méthodes de résolution classiques par l'utilisation de stratégies de séparation locale comme outil d'hybridation
2006 Graphe et jeu de poursuite : policiers et voleurs sous contraintes
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2006 Conception d'un langage de programmation pour applications distribuées
2006 Nouveaux algorithmes, bornes et formulations pour les problèmes de la clique maximum et de la coloration minimum
2007 Détection visuelle d'anomalies de conception dans les programmes orientés objets
2007 Protection partagée pour les réseaux de transport multidomaines
2007 Un dictionnaire pour faciliter la recherche des gènes dans la littérature et sur Internet
2007 Context-sensitive information retrieval
2007 Modèles Pareto hybrides pour distributions asymétriques et à queues lourdes
2007 Un système d'aide à la visualisation interactive de logiciels
2007 Reconstruction polyédrique de scènes en trois dimensions à partir de cartes de profondeurs
2007 Analyse des espaces de lignes pour la capture de cartes d'environnement
2007 Localisation des noeuds dans les réseaux de capteurs sans fil
2007 TONGA : un algorithme de gradient naturel pour les problèmes de grande taille
2007 Une approche d'ingénierie ontologique pour l'acquisition et l'exploitation des connaissances à partir de documents textuels : vers des objets de connaissances et d'apprentissage