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
2000 Improvements brought to graphical user interfaces for insurance illustration systems
2005 Estimation de la qualité du produit logiciel : réseaux Bayésiens
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
1989 Testabilité et tolérance aux fautes des circuits logiques à structure régulière
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
1993 Tests d'indépendance de deux séries chronologiques multivariées
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
1987 Contribution à la description et à la réalisation de systèmes interactifs
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
1993 Contribution à l'optimisation globale
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
2010-10 Understanding deep architectures and the effect of unsupervised pre-training
2006 Collaborative filtering techniques for drug discovery
1992 Modification dynamique des spécifications dans un environnement orienté-objets
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
1996 Génération intégrée de textes et de graphiques statistiques
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
1990 Vers la mise en place d'un système expert pour l'évaluation de la capacité structurale des chaussées
2012-08 Sécurité polynomiale en cryptographie
1994 Algorithmes génétiques hybrides pour l'optimisation combinatoire
Number of results : 1474