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 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 Optimisation stochastique pour l'affectation du personnel polyvalent dans un centre d'appels téléphoniques
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2006 Étude de la combinaison de la technique quasi-Monte Carlo randomisé vectoriel avec l'échantillonnage exact
2006 Validité d'un modèle QuasiNURBS interpolant des données géométriques incertaines
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 Reconnaissance des graphes policier-gagnants
2006 Résolution du problème d'ordonnancement des activités avec contraintes de ressources et sa généralisation
2006 Étude de l'analyse formelle dans les données relationnelles : application à la restructuration des modèles structuraux UML
2006 Jeu de poursuite sur graphe non réflexif
2006 Optimisation et balancement de la consommation d'énergie dans les réseaux ad hoc mobiles et de capteurs
2006 Distribution d'objets avec les techniques de développement orientées aspects
2005 Calibration de la distorsion radiale
2005 A quality model considering program architecture
2005 Énumération des rayons extrêmes d'un cône et applications en minimisation concave
2005 QUERI : un système de question-réponse collaboratif et interactif
2005 Animation interactive de mouvements secondaires par simulation de surfaces élastiques
2005 HELP : localisation et recommandation d'experts pour le développement d'un système d'aide collaborative
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 Vie privée en commerce électronique
2005 Collaboration in multi-agent system : contract net and beyond
2005 Une solution facilitant l'accessibilité et la classification des images Web pour les mal voyants
2005 Intrication & non-localité
2005 Études du jeu de poursuite dans les graphes
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
2005 Analyse des données d'expression de gènes
2005 BLED : système d'aide à la recherche d'informations sur Internet
2005 DIA : un système de recommandation de livres dans un contexte pédagogique
2005 Amélioration de la prédiction de la qualité du logiciel par combinaison et adaptation de modèles