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 ascending order Title Sort by title in ascending order
2013 Improving automation in model-driven engineering using examples
2013 Urban Detection From Hyperspectral Images Using Dimension-Reduction Model and Fusion of Multiple Segmentations Based on Stuctural and Textural Features
2013 Improving sampling, optimization and feature extraction in Boltzmann machines
2013 Lagrangian-informed mixed integer programming reformulations
2013 Un outil d’évaluation neurocognitive des interactions humain-machine
2013 A layered JavaScript virtual machine supporting dynamic instrumentation
2013 JSreal : un réalisateur de texte pour la programmation web
2013 Algorithmes d’apprentissage profonds supervisés et non-supervisés: applications et résultats théoriques
2013 Contribution de la motivation dans les jeux sérieux
2012 Plateforme pour se protéger tant de soi-même que de ses "amis" sur Facebook
2012 Revisiting optimization algorithms for maximum likelihood estimation
2012 Mures : Un système de recommandation de musique
2012 Rendu de matériaux semi-transparents hétérogènes en temps réel
2012 Sécurité polynomiale en cryptographie
2012 A Compiler for the dependently typed language Beluga
2012 Traduction statistique vers une langue à morphologie riche : combinaison d’algorithmes de segmentation morphologique et de modèles statistiques de traduction automatique
2012 Impacts and Detection of Design Smells
2012 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
2012 L'atténuation statistique des surdétections d'un correcteur grammatical symbolique
2012 Construction d'un Atlas 3D numérique de la cornée humaine par recalage d'images
2012 Le support de VoIP dans les réseaux maillés sans fil WiMAX en utilisant une approche de contrôle et d'assistance au niveau MAC
2012 Evaluating Design Decay during Software Evolution
2012 Complexité des homomorphismes de graphes avec listes
2012 Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique
2012 PROTECT_U: Un système communautaire pour la protection des usagers de Facebook
2012 From Classical to Quantum Secret Sharing
2012 « Resolution Search » et problèmes d’optimisation discrète
2012 Évolution de familles de gènes par duplications et pertes : algorithmes pour la correction d’arbres bruités
2012 Key agreement against quantum adversaries
2012 Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
Number of results : 1619