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
2020-08 Optimizing ANN Architectures using Mixed-Integer Programming
2018-08 Scanner 3D à lumière non structurée non synchronisé
2020-03 Un système de question-réponse simple appliqué à SQuAD
2007 Problème de planification des tournées des intervenants pour les visites à domicile
2009-07 Développement logiciel par transformation de modèles
2014-05 Méthode de génération de colonnes pour les problèmes de conception de réseaux avec coûts d’ajout de capacité
2002 Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées
2019-12 Mise en oeuvre d’une approche sociotechnique de la vie privée pour les systèmes de paiement et de recommandation en ligne
2006 Graphe et jeu de poursuite : policiers et voleurs sous contraintes
2011-04 Représentation d'un polynôme par un circuit arithmétique et chaînes additives
2010-12 Approche efficace pour la conception des architectures multiprocesseurs sur puce électronique
2023-08 Remote sensing representation learning for a species distribution modeling case study
2011-06 Identification et localisation des préoccupations fonctionnelles dans un code légataire Java
2002 Resource Warehouses : a distributed information management infrastructure
2006 Jeu de poursuite sur graphe non réflexif
2022-08 A personality aware recommendation system
2014-12 Création interactive de mondes virtuels : combiner génération procédurale et contrôle utilisateur intuitif
2001 Génération de cas de test pour les systèmes temps réel modélisés par des automates à entrées sorties temporisées
2004 Utilisation de miroirs dans un système de reconstruction interactif
2004 MyHouse : un système de négociation multi-critères dans le commerce électronique, appliqué au domaine du courtage immobilier
2006 Collaborative filtering techniques for drug discovery
2010-10 Understanding deep architectures and the effect of unsupervised pre-training
2000 Un algorithme de chargement dynamique des réseaux : mésosimulation du flot dynamique avec capacités explicites
2023-10 Multi-attribute deterministic and stochastic two echelon location routing problems
2000 Gestionnaire de connaissances pour systèmes hybrides objets-règles
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
2023-04 Amélioration des messages d'erreurs Typer par algorithme génétique
2020-11 Evolution of domain-specific languages depending on external libraries
2021-07 PatchUp : a feature-space block-level regularization technique for convolutional neural networks
2004 Résumé automatique de textes juridiques
2024-01 Beyond the horizon : improved long-range sequence modeling, from dynamical systems to language
2010-04 Simulation de flammes interactives en temps réel
2013-06 Improving automation in model-driven engineering using examples
1999 Méthode de simulation aléatoire guidée par un algorithme génétique pour la vérification du design de circuits numériques
2006 Résumé automatique des commentaires de consommateurs
2001 Integrating MDG variable ordering in a VHDL-MDG design verification system
2003 De computatione quantica
2007 Multicast explicite dans les réseaux ad hoc : implémentation, analyse et simulations d'un nouveau protocole multicast pour MANETs
2012-05 A Compiler for the dependently typed language Beluga
2012-08 Sécurité polynomiale en cryptographie