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
2003 Atlas numérique tridimensionnel pour le dépistage des chirurgies laser de la cornée humaine
2009-10 A Type-Preserving Compiler from System F to Typed Assembly Language
2015-02 A unified framework for the comprehension of software's time dimension
2010-02 AURA : a hybrid approach to identify framework evolution
2018-10 Auto-Encoders, Distributed Training and Information Representation in Deep Neural Networks
2012-11 Automates à contraintes semilinéaires = Automata with a semilinear constraint
2016-12 Automates cellulaires quantiques et relativité déformée
2005 Automatic music classification using boosting algorithms and auditory features
2008 Avancées théoriques sur la représentation et l'optimisation des réseaux de neurones
2003 Aviseurs indépendants pour les entreprises de camionnage dans le contexte des bourses de fret
2019-12 Balancing signals for semi-supervised sequence learning
2016-09 Bidirectional Helmholtz Machines
2003 Bimodal adaptive hypermedia and interactive multimedia a web-based learning environment based on Kolb's theory of learning style
2005 BLED : système d'aide à la recherche d'informations sur Internet
2007 Boosting hierarchique et construction de filtres
1999 Bounding of switching activity in logic circuits
2013-04 Calcul en n-dimensions sur GPU
2019-08 Calibrage de caméra fisheye et estimation de la profondeur pour la navigation autonome
2005 Calibration de la distorsion radiale
2009-12 Calibration de systèmes de caméras et projecteurs dans des applications de création multimédia
2007 C.A.M.E.L.E.O. : a cultural adaptation methodology for E-learning environment optimization
2017-12 Caractérisation et étude de l’impact des permissions dans les applications mobiles
2008 Categorical quantum computation
2016-12 Classification automatique de textes pour les revues de littérature mixtes en santé
2005 Collaboration in multi-agent system : contract net and beyond
2006 Collaborative filtering techniques for drug discovery
2003 Comparaison de deux techniques de décodage pour la traduction probabiliste
2016-12 Comparaison de méthodes de détection automatique d’intersections sur surfaces paramétriques
2019-08 Comparaison de systèmes de traduction automatique pour la post édition des alertes météorologique d'Environnement Canada
2016-11 Comparing of radial and tangencial geometric for cylindric panorama
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2008 Compilation efficace pour FPGA reconfigurable dynamiquement
2002 Compilation optimisante à l'aide de métaheuristiques
2002 Compilation statique de Java
2014-02 Complexité de la communication sur un canal avec délai
2012-04 Complexité des homomorphismes de graphes avec listes
2012-01 Complexité raffinée du problème d'intersection d'automates
2005 Composition automatique de musique à l'aide de réseaux de neurones récurrents et de la structure métrique
2004 Compound terms for information retrieval
2007 Compression de données d'animation acquises par capture de mouvements
2019-12 Compression in Sequence to Sequence Learning for Natural Language Processing
2010-01 Conception des réseaux maillés sans fil à multiples-radios multiples-canaux
2006 Conception d'un langage de programmation pour applications distribuées
2003 Conception d'un modèle de création générique d'agents de médiation
2016-08 Conception du réseau de distribution d’une entreprise de livraison de courrier rapide
2005 Conception et implantation d'une bibliothèque pour la simulation de centres de contacts
2015-08 Concept oriented biomedical information retrieval
2010-11 Configuration et exploitation d'une machine émotionnelle
2018-05 Consensus ou fusion de segmentation pour quelques applications de détection ou de classification en imagerie
2004 Construction d'ensembles de points basée sur des récurrences linéaires dans un corps fini de caractéristique 2 pour la simulation Monte Carlo et l'intégration quasi-Monte Carlo