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
2012-05 A Compiler for the dependently typed language Beluga
2012-06 L’extraction de phrases en relation de traduction dans Wikipédia
2012-06 Rendu de matériaux semi-transparents hétérogènes en temps réel
2012-06 Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique
2012-07 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
2012-07 Traduction statistique vers une langue à morphologie riche : combinaison d’algorithmes de segmentation morphologique et de modèles statistiques de traduction automatique
2012-08 Plateforme pour se protéger tant de soi-même que de ses "amis" sur Facebook
2012-08 Sécurité polynomiale en cryptographie
2012-08 Impacts and Detection of Design Smells
2012-08 Key agreement against quantum adversaries
2012-08 Evaluating Design Decay during Software Evolution
2012-08 Détection des chutes par calcul homographique
2012-08 PROTECT_U: Un système communautaire pour la protection des usagers de Facebook
2012-09 Heuristic solution methods for multi-attribute vehicle routing problems
2012-09 Amorçage cognitif pour amélioration de l’acquisition de la connaissance dans un système tutoriel intelligent
2012-09 Algorithmes d'apprentissage pour la recommandation
2012-09 A dynamic sequential route choice model for micro-simulation
2012-11 Mures : Un système de recommandation de musique
2012-11 Automates à contraintes semilinéaires = Automata with a semilinear constraint
2012-12 Revisiting optimization algorithms for maximum likelihood estimation
2012-12 Construction d'un Atlas 3D numérique de la cornée humaine par recalage d'images
2012-12 Construction interactive de BRDFs par simulation 2D de micro-géométries en couches multiples
2013-01 La résolution du problème de formation de cellules dans un contexte multicritère
2013-01 Amplification de l'amplitude : analyse et applications
2013-02 Reconstruction tridimensionnelle pour projection sur surfaces arbitraires
2013-02 Reliable Solid Modelling Using Subdivision Surfaces
2013-03 Contribution de la motivation dans les jeux sérieux
2013-03 Approches générales de résolution pour les problèmes multi-attributs de tournées de véhicules et confection d'horaires
2013-03 Routage adaptatif et stabilité dans les réseaux maillés sans fil
2013-04 A layered JavaScript virtual machine supporting dynamic instrumentation
2013-04 Détection de chute à l'aide d'une caméra de profondeur
2013-04 Calcul en n-dimensions sur GPU
2013-04 Parallelization of SAT on Reconfigurable Hardware
2013-05 Rétro ingénierie des modèles d’objets dynamiques pour JavaScript
2013-05 Génération de résumés par abstraction
2013-06 Improving automation in model-driven engineering using examples
2013-06 Une approche multi-agents pour le développement d'un jeu vidéo
2013-07 Alignement de phrases parallèles dans des corpus bruités
2013-08 Modélisation des émotions de l’apprenant et interventions implicites pour les systèmes tutoriels intelligents
2013-08 Analysing artefacts dependencies to evolving software systems
2013-08 Un outil d’évaluation neurocognitive des interactions humain-machine
2013-09 Optimisation des horaires des agents et du routage des appels dans les centres d’appels
2013-09 Représentation OWL de la ressource lexicale LVF et son utilisation dans le traitement automatique de la langue
2013-09 Algorithmes d’apprentissage profonds supervisés et non-supervisés: applications et résultats théoriques
2013-09 Urban Detection From Hyperspectral Images Using Dimension-Reduction Model and Fusion of Multiple Segmentations Based on Stuctural and Textural Features
2013-09 JSreal : un réalisateur de texte pour la programmation web
2013-12 Analyse de changements multiples : une approche probabiliste utilisant les réseaux bayésiens
2013-12 Gestion des ressources dans les réseaux cellulaires sans fil
2013-12 Improving sampling, optimization and feature extraction in Boltzmann machines
2013-12 Lagrangian-informed mixed integer programming reformulations
Nombre de résultats : 890