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 Estimation de la qualité du produit logiciel : réseaux Bayésiens
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
2005 Énumération des rayons extrêmes d'un cône et applications en minimisation concave
2005 S-JET : une nouvelle conception pour la gestion de réservation pour l'architecture des réseaux OBS
2005 Automatic music classification using boosting algorithms and auditory features
2005 Heuristiques pour l'expansion multi-périodes de la capacité d'un réseau local de télécommunications
2005 Amélioration de la prédiction de la qualité du logiciel par combinaison et adaptation de modèles
2005 Analyse du comportement des programmes à l'aide des matrices d'adjacence
2005 Analyse de la qualité du logiciel : une approche par visualisation et simulation
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2005 Prédiction des pré-miARN basée sur la conservation de structure dans les pri-miARN
2005 Animation interactive de mouvements secondaires par simulation de surfaces élastiques
2005 Implémentation de la multiplication des grands nombres par FFT dans le contexte des algorithmes cryptographiques
2005 Les feuillets beta dans les protéines : annotation, comparaison et construction
2005 Analyse des données d'expression de gènes
2005 Calibration de la distorsion radiale
2005 Études du jeu de poursuite dans les graphes
2005 Conception et implantation d'une bibliothèque pour la simulation de centres de contacts
2005 Alignement des ontologies OWL-Lite
2006 Design optimal de réseau multipoint survivable
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2006 Simulation dynamique du trafic routier urbain et optimisation des contrôles
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
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 Jeu de poursuite sur graphe non réflexif
2006 Conception d'un langage de programmation pour applications distribuées
2006 Modèles de langue appliqués à la recherche d'information contextuelle
2006 Nouveaux algorithmes, bornes et formulations pour les problèmes de la clique maximum et de la coloration minimum
2006 Recherches coopératives pour la résolution de problèmes d'optimisation combinatoire
2006 Résumé automatique des commentaires de consommateurs
2006 Résolution du problème d'ordonnancement des activités avec contraintes de ressources et sa généralisation
2006 Algorithms for classifying recorded music by genre
2006 Programmes de génération et machines de Turing algébriques
2006 Étude de la traçabilité entre refactorisations du modèle de classes et refactorisations du code
2006 Estimation de paramètres de champs markoviens cachés avec applications à la segmentation d'images et la localisation de formes
2006 Distribution d'objets avec les techniques de développement orientées aspects
2006 Architecture question-réponse pour l'automatisation des services d'information
2006 Étude de la combinaison de la technique quasi-Monte Carlo randomisé vectoriel avec l'échantillonnage exact
2006 Graphe et jeu de poursuite : policiers et voleurs sous contraintes
Nombre de résultats : 1620