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 croissant Titre Trier par titre en ordre croissant
2009 Inférence statique et par contraintes des relations de composition dans des programmes Java
2009 Système symbolique de création de résumés de mise à jour
2009 Recherche d'éléments répétés par analyse des distributions de fréquences d'oligonucléotides
2009 Reconstruction 3D des artères par imagerie intravasculaire ultrasonore (IVUS) et angiographie monoplan
2009 Effet des actions pédagogiques sur l'état émotionnel de l'apprenant dans un système tutoriel intelligent
2009 Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2008 Influence des facteurs émotionnels sur la résistance au changement dans les organisations
2008 Reliable computation for geometric models
2008 Compilation efficace pour FPGA reconfigurable dynamiquement
2008 Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
2008 Network pricing problems : complexity, polyhedral study and solution approaches
2008 Recherche d'information translinguistique sur les documents en arabe
2008 Avancées théoriques sur la représentation et l'optimisation des réseaux de neurones
2008 Quantum nonlocality, cryptography and complexity
2008 DECOR : détection et correction des défauts dans les systèmes orientés objet
2008 Intégration des connaissances ontologiques dans la fouille de motifs séquentiels avec application à la personnalisation Web
2008 Algorithmes pour le problème de repositionnement
2008 Modélisation et optimisation d'un centre d'appels téléphoniques : étude du processus d'arrivée
2008 Categorical quantum computation