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 descending order Title Sort by title in descending order
2011 Approche probabiliste pour l’analyse de l’impact des changements dans les programmes orientés objet
2011 Le rendu en demi-ton avec sensibilité à la structure
2011 Analyse de mouvements faciaux à partir d'images vidéo
2011 Développement d’un algorithme de branch-and-price-and-cut pour le problème de conception de réseau avec coûts fixes et capacités
2011 Simulateur compilé d’une description multi-langage des systèmes hétérogènes
2011 Identification et localisation des préoccupations fonctionnelles dans un code légataire Java
2011 Représentation d'un polynôme par un circuit arithmétique et chaînes additives
2011 Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
2011 Le cinéma omnistéréo ou l'art d'avoir des yeux tout le tour de la tête
2011 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution
2011 Modélisation procédurale par composants
2012 Sécurité polynomiale en cryptographie
2012 Automates à contraintes semilinéaires = Automata with a semilinear constraint
2012 L'atténuation statistique des surdétections d'un correcteur grammatical symbolique
2012 Intégration de services de raisonnement automatique basés sur les logiques de description dans les applications d’entreprise
2012 Plateforme pour se protéger tant de soi-même que de ses "amis" sur Facebook
2012 L’extraction de phrases en relation de traduction dans Wikipédia
2012 « Resolution Search » et problèmes d’optimisation discrète
2012 Amorçage cognitif pour amélioration de l’acquisition de la connaissance dans un système tutoriel intelligent
2012 Revisiting optimization algorithms for maximum likelihood estimation
2012 Traduction statistique vers une langue à morphologie riche : combinaison d’algorithmes de segmentation morphologique et de modèles statistiques de traduction automatique
2012 Algorithmes d'apprentissage pour la recommandation
2012 Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
2012 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
2012 Construction interactive de BRDFs par simulation 2D de micro-géométries en couches multiples
2012 Towards a Privacy-enhanced Social Networking Site
2012 Apprentissage automatique pour la détection de relations d'affaire
2012 Mures : Un système de recommandation de musique
2012 Évolution de familles de gènes par duplications et pertes : algorithmes pour la correction d’arbres bruités
2012 Apprentissage de représentations musicales à l'aide d'architectures profondes et multiéchelles
2012 Rendu de matériaux semi-transparents hétérogènes en temps réel
2012 A Compiler for the dependently typed language Beluga
2012 Construction d'un Atlas 3D numérique de la cornée humaine par recalage d'images
2012 Heuristic solution methods for multi-attribute vehicle routing problems
2012 A dynamic sequential route choice model for micro-simulation
2012 Impacts and Detection of Design Smells
2012 Apprentissage machine efficace : théorie et pratique
2012 Key agreement against quantum adversaries
2012 Complexité des homomorphismes de graphes avec listes
2012 From Classical to Quantum Secret Sharing