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
2020-07 Apprentissage de modèles causaux par réseaux de neurones artificiels
2012-08 Sécurité polynomiale en cryptographie
2014-02 Practical and Foundational Aspects of Secure Computation
2014-04 Privacy in Bitcoin through decentralized mixers
2019-12 Compression in Sequence to Sequence Learning for Natural Language Processing
2006 Preuves interactives classiques
2005 Développement d'une fonction d'évaluation pour le jeu de go
2020-12 Identifying electrons with deep learning methods
2004 Quantum pseudo-telepathy games
2008 Quantum nonlocality, cryptography and complexity
2012-04 From Classical to Quantum Secret Sharing
2020-08 Data-efficient reinforcement learning with self-predictive representations
2020-12 Privacy evaluation of fairness-enhancing pre-processing techniques
2016-08 Learning a graph made of boolean function nodes : a new approach in machine learning
1991 Animation et contrôle de corps articulés rigides à l'aide des lois de la dynamique
1989 Modélisation d'objets filiformes pour la synthèse d'images réalistes
1990 La cinématique inverse comme outil d'animation d'acteurs synthétiques
1990 Structures de données dynamiques pour la représentation de l'information spatiale
1990 Une interface pour la composition de scènes en infographie tridimensionnelle
1990 Modèle de figures articulées pour personnages animés par ordinateur en programmation orientée objet
1991 Un modèle dynamique de simulation de vêtements avec détection de collisions
2023-03 Computational modeling and design of nonlinear mechanical systems and materials
2021-05 Quasi second-order methods for PDE-constrained forward and inverse problems
2021-08 Mechanical characterization of rigid discrete interlocking materials
2020-12 A data-driven discrete elastic rod model for shells and solids
2008 Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
2004 Modèle transactionnel temporisé pour la coordination de services Web
2008 Indigo : une approche multi-stratégique et adaptative pour un alignement sémantique intégrant le contexte des données à apparier
2003 Galois lattice dynamics
2004 Mining dynamic databases for frequent closed itemsets
2005 Alignement des ontologies OWL-Lite
2008 Intégration des connaissances ontologiques dans la fouille de motifs séquentiels avec application à la personnalisation Web
2008 Extraction de motifs dans la rédaction collaborative sur les Wikis
2004 Mise à jour de la famille des générateurs minimaux des treillis de concepts et des icebergs
2011-06 Identification et localisation des préoccupations fonctionnelles dans un code légataire Java
2004 Association rule mining for query expansion in textual information retrieval
2006 Étude de l'analyse formelle dans les données relationnelles : application à la restructuration des modèles structuraux UML
2005 Collaboration in multi-agent system : contract net and beyond
1992 Méthodologie de programmation d'environnements à objets répartis
1996 Contribution à l'amélioration des modélisations à objets
1990 L'analyse lexicale dans les interfaces en langue naturelle
2001 A simplified Java, J
2004 Domain specific web search
1996 Satisfaction incrémentielle de contraintes par le biais de la réécriture
2003 Planification pour agents dans un environnement dynamique et incertain
2004 Contrôle adaptatif et autoréglage : applications de l'approximation stochastique
2004 Estimation efficace de dérivées dans un réseau de télécommunications
1998 Estimation de la probabilité de ruine et sa dérivée par simulation
2004 Apprentissage par simulation stochastique : étude de convergence et application à un modèle markovien de tarification en transport aérien
2005 S-JET : une nouvelle conception pour la gestion de réservation pour l'architecture des réseaux OBS