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
2002 Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources
2002 001_correct : un environnement de restructuration des programmes objets piloté par la qualité
2002 Agents à base de règles pour les négociations électroniques : concepts et infrastructure
2003 Réarrangement de génomes par inversions et analyse de l'ensemble des solutions minimales
2003 SecAdvise - un aviseur de mécanismes de sécurité : implantation, validation et expérimentation du modèle proposé
2003 Atlas numérique tridimensionnel pour le dépistage des chirurgies laser de la cornée humaine
2003 Généralisation d'algorithmes de réduction de dimension
2003 A survey of graph and subgraph isomorphism problems
2003 Using domain-specific knowledge to improve information retrieval performance
2003 Modèles et algorithmes pour les enchères combinatoires
2003 Modèles à noyaux à structure locale
2003 Aviseurs indépendants pour les entreprises de camionnage dans le contexte des bourses de fret
2003 De computatione quantica
2003 ESys.Net : a new .Net based system-level design environment
2003 Réalité augmentée en chirurgie : développement d'un pointeur intelligent
2003 Le problème du postier chinois cumulatif
2003 Évaluation, par simulation, des performances de serveurs de commerce électronique : étude de cas : le serveur GNP
2003 Bimodal adaptive hypermedia and interactive multimedia a web-based learning environment based on Kolb's theory of learning style
2003 Atlas numérique spatio-temporel des artères coronaires
2003 Understanding retargeting compilation techniques for network processors
2003 Un modèle de validation automatique de mécanismes de sécurisation des communications
2003 Determination of software quality through a generic model
2003 SecAdvise : un aviseur de mécanismes de sécurité
2003 Gestion de l'information en temps réel pour un répartiteur de véhicules
2003 Software stability assessment using multiple prediction models
2003 Architecture de communication générique pour un système de bus du commerce électronique
2003 Comparaison de deux techniques de décodage pour la traduction probabiliste
2003 Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources
2003 Mémoires de traduction sous-phrastiques
2003 Galois lattice dynamics
2003 Accélérer l'entraînement d'un modèle non-paramétrique de densité non normalisée par échantillonnage aléatoire
2003 PCFinfer : an intelligent product recommendation agent for electronic commerce
2003 ARM processor modeling at a cycle accurate level in systemC
2003 Un cadre d'application pour la visualisation des métriques orientées objet
2003 A domain-specific search engine for the construction sector
2003 Développement d'un curriculum et d'un modèle de l'apprenant orientés vers un domaine multidisciplinaire : l'informatique quantique
2003 Étude des propriétés polyédrales du problème de conception de réseaux multiproduits, avec coût fixe et capacité
2003 Réalité augmentée automatique à partir d'une séquence vidéo et utilisant la stéréoscopie dense
2003 3D reconstruction of a catheter path from a single view X-ray sequence
2003 Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
2003 Domain-specific question answering system : an application to the construction sector
2003 Les algorithmes d'apprentissage appliqués aux risques financiers
2003 Visualization and prediction of spatial deformation using thin-plate splines in the context of scoliosis
2003 Désambiguïsation de corpus monolingues par des approches de type Lesk
2003 Planification pour agents dans un environnement dynamique et incertain
2003 Conception d'un modèle de création générique d'agents de médiation
2003 Estimation probabiliste du mouvement de caméra
2003 Le calcul parallèle des plus courts chemins temporels
2003 Quelques modèles de langage statistiques et graphiques lissés avec WordNet
2004 Routage par déflexion dans les réseaux tout optique à commutation de bursts