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
2022-12 Automatic taxonomy evaluation
2019-09 Natural image processing and synthesis using deep learning
2000 ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles
2012-08 PROTECT_U: Un système communautaire pour la protection des usagers de Facebook
2008 Apprentissage quantique
2003 Développement d'un curriculum et d'un modèle de l'apprenant orientés vers un domaine multidisciplinaire : l'informatique quantique
2016-09 Using Workflows to Automate Activities in MDE Tools
2019-12 Accurate and efficient strategies for the appearance filtering of complex materials
2018-06 Détection des utilisations à risque d’API : approche basée sur le système immunitaire
2023-04 Toward trustworthy deep learning : out-of-distribution generalization and few-shot learning
2022-03 Une étude des graphes jumeaux via l'auto-abritement
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
2002 YADL : a general purpose SDSM system
2017-05 Reconnaissance de l'émotion thermique
2008 Parallel metaheuristics for stochastic capacitated multicommodity network design
2015-04 FPGA-based object detection using classification circuits
1997 Propriétés relationnelles tridimensionnelles des structures d'acides nucléiques
2021-11 Utilisation du plongement du domaine pour l’adaptation non supervisée en traduction automatique
2021-10 Towards causal federated learning : a federated approach to learning representations using causal invariance
1997 Simulation de l'écoulement et de la forme de gouttes sur des surfaces
2002 Text prediction for translators
2019-03 Sensibilisation à la protection de la vie privée dans un contexte d’utilisation de dispositifs portables intelligents
2002 Confection automatisée des horaires de médecins dans une salle d'urgence
2001 Tarification et conception de réseau en télécommunication
2017-08 WikiGames : une plateforme de jeux dédiée à la validation d’une base de connaissances produite à partir de techniques d’extraction d’information ouverte
2012-08 Sécurité polynomiale en cryptographie
2012-05 A Compiler for the dependently typed language Beluga
2007 Multicast explicite dans les réseaux ad hoc : implémentation, analyse et simulations d'un nouveau protocole multicast pour MANETs
2003 De computatione quantica
2001 Integrating MDG variable ordering in a VHDL-MDG design verification system
2006 Résumé automatique des commentaires de consommateurs
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
2013-06 Improving automation in model-driven engineering using examples
2010-04 Simulation de flammes interactives en temps réel
2024-01 Beyond the horizon : improved long-range sequence modeling, from dynamical systems to language
2004 Résumé automatique de textes juridiques
2021-07 PatchUp : a feature-space block-level regularization technique for convolutional neural networks
2020-11 Evolution of domain-specific languages depending on external libraries
2023-04 Amélioration des messages d'erreurs Typer par algorithme génétique
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
2000 Gestionnaire de connaissances pour systèmes hybrides objets-règles
2023-10 Multi-attribute deterministic and stochastic two echelon location routing problems
2000 Un algorithme de chargement dynamique des réseaux : mésosimulation du flot dynamique avec capacités explicites
2006 Collaborative filtering techniques for drug discovery
2010-10 Understanding deep architectures and the effect of unsupervised pre-training
2004 MyHouse : un système de négociation multi-critères dans le commerce électronique, appliqué au domaine du courtage immobilier
2004 Utilisation de miroirs dans un système de reconstruction interactif
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
2014-12 Création interactive de mondes virtuels : combiner génération procédurale et contrôle utilisateur intuitif
2022-08 A personality aware recommendation system