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 Phylogenetic shadowing using a model selection process
2006 Validité d'un modèle QuasiNURBS interpolant des données géométriques incertaines
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2006 Qualité de service dans les services Web
2006 RARE : un système de recommandation de cours basé sur les régles d'association
2006 Équilibrage de charge dans un réseau pair-à-pair structuré : une méthode dynamique intégrée
2006 Preuves interactives classiques
2006 Optimisation et balancement de la consommation d'énergie dans les réseaux ad hoc mobiles et de capteurs
2006 Visualisation de la qualité des logiciels de grandes taille
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 Estimation de paramètres de champs markoviens cachés avec applications à la segmentation d'images et la localisation de formes
2006 Étude de contraintes spatiales bas niveau appliquées à la vision par ordinateur
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2006 An intelligent help system to support teachers to author learning sessions in decision-making in network design
2006 Étude de la traçabilité entre refactorisations du modèle de classes et refactorisations du code
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 Design optimal de réseau multipoint survivable
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2006 Recherches coopératives pour la résolution de problèmes d'optimisation combinatoire
2006 Étude de l'analyse formelle dans les données relationnelles : application à la restructuration des modèles structuraux UML
2006 Collaborative filtering techniques for drug discovery
2006 Reconnaissance des graphes policier-gagnants
2006 Formal checking of web based applications
2006 Mood : un cadre d'applications pour le développement de décodeurs en traduction statistique
2006 Résumé automatique des commentaires de consommateurs
2006 Estimation de mouvement sans restriction par filtres en quadrature localisés
2006 Graphe et jeu de poursuite : policiers et voleurs sous contraintes
2006 Résolution du problème d'ordonnancement des activités avec contraintes de ressources et sa généralisation
2007 Problèmes de tournées multicritères dans des graphes
2007 Échantillonnage de produits de fonctions
2007 Context-sensitive information retrieval
2007 Évaluation de la qualité des applications web : approche probabiliste
2007 Vers un système d'enseignement à distance efficace
2007 Localisation des noeuds dans les réseaux de capteurs sans fil
2007 TAARAC : test d'anglais adaptatif par raisonnement à base de cas
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 Modèles Pareto hybrides pour distributions asymétriques et à queues lourdes
Nombre de résultats : 1615