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
2016-12 Comparaison de méthodes de détection automatique d’intersections sur surfaces paramétriques
2008 Reliable computation for geometric models
2010-03 Extension of Wu-Peters bounds to Catmull-Clark and 4-8 subdivision
2003 Visualization and prediction of spatial deformation using thin-plate splines in the context of scoliosis
2000 Cadre de travail pour la spécification de systèmes avec des chaînes sur un complexe cellulaire
2006 Validité d'un modèle QuasiNURBS interpolant des données géométriques incertaines
2013-02 Reliable Solid Modelling Using Subdivision Surfaces
2020-11 Evolution of domain-specific languages depending on external libraries
2018-02 ReLiS: un outil flexible pour réaliser des revues systématiques itératives et collaboratives
2023-11 Domain-specific differencing and merging of models
2016-09 Using Workflows to Automate Activities in MDE Tools
2021-11 Gentleman : a lightweight web-based projectional editor
2021-12 A framework for domain-specific modeling on graph databases
2018-12 Framework for Real-time collaboration on extensive Data Types using Strong Eventual Consistency
2017-04 Survey of Template-Based Code Generation
2022-09 Generating graphical and projectional editors
2020-12 Adapting modeling environments to domain specific interactions
2021-03 Extending domain-specific modeling editors with multi-touch interactions
2023-08 Co-simulation for controlled environment agriculture
2023-07 AI for molecule discovery with multi-modal knowledge
2023-08 Reasoning with structure : graph neural networks algorithms and applications
2022-10 Deep geometric probabilistic models
2023-12 Towards combining deep learning and statistical relational learning for reasoning on graphs
2012-08 Sécurité polynomiale en cryptographie
2009-07 Preuves interactives quantiques
2020-12 Learning discrete word embeddings to achieve better interpretability and processing efficiency
2014-02 Complexité de la communication sur un canal avec délai
2019-12 Compression in Sequence to Sequence Learning for Natural Language Processing
2005 Intrication & non-localité
2014-02 Practical and Foundational Aspects of Secure Computation
2014-04 Privacy in Bitcoin through decentralized mixers
2014-09 SAND, un protocole de chiffrement symétrique incompressible à structure simple
2006 Preuves interactives classiques
2020-07 Apprentissage de modèles causaux par réseaux de neurones artificiels
2005 Développement d'une fonction d'évaluation pour le jeu de go
2020-12 Identifying electrons with deep learning methods
2008 Quantum nonlocality, cryptography and complexity
2004 Quantum pseudo-telepathy games
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
2021-05 Quasi second-order methods for PDE-constrained forward and inverse problems
2021-08 Mechanical characterization of rigid discrete interlocking materials
2023-03 Computational modeling and design of nonlinear mechanical systems and 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
2005 Alignement des ontologies OWL-Lite
Nombre de résultats : 1189