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
2003 Aviseurs indépendants pour les entreprises de camionnage dans le contexte des bourses de fret
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 Determination of software quality through a generic model
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 PCFinfer : an intelligent product recommendation agent for electronic commerce
2003 Galois lattice dynamics
2003 Mémoires de traduction sous-phrastiques