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
1999 Bounding of switching activity in logic circuits
2000 Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise
2002 A socio-technological approach to sharing knowledge across disciplines
2002 Demand-driven type analysis for dynamically-typed functional languages
2002 Gestion de flotte avec fenêtres horaires : approches de résolution mixtes utilisant la programmation par contraintes
2002 Problèmes de routages dans les réseaux optiques
2002 Expansion de requête dans la recherche d'information : comparaison des ressources et des méthodes
2002 Recherche de motifs structuraux dans les complexes acides ribonucléiques/protéines
2002 Étude de transformations grammaticales pour l'entraînement de grammaires probabilistes hors-contexte
2002 Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées
2002 Weighted finite-state transducers in speech recognition : a compaction algorithm for non-determinizable transducers
2002 Reconnaissance de visages à partir de modèles tridimensionnels
2002 Compilation optimisante à l'aide de métaheuristiques
2002 Compilation statique de Java
2003 ARM processor modeling at a cycle accurate level in systemC
2003 Modèles à noyaux à structure locale
2003 Évaluation, par simulation, des performances de serveurs de commerce électronique : étude de cas : le serveur GNP
2003 Un modèle de validation automatique de mécanismes de sécurisation des communications
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 De computatione quantica
2003 Le calcul parallèle des plus courts chemins temporels
2003 SecAdvise - un aviseur de mécanismes de sécurité : implantation, validation et expérimentation du modèle proposé
2003 Développement d'un curriculum et d'un modèle de l'apprenant orientés vers un domaine multidisciplinaire : l'informatique quantique
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