Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

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 descending order Title Sort by title in descending order
2014 Privacy in Bitcoin through decentralized mixers
2024 Learning representations for reasoning : generalizing across diverse structures
2023 Towards combining deep learning and statistical relational learning for reasoning on graphs
2022 Deep geometric probabilistic models
2023 Reasoning with structure : graph neural networks algorithms and applications
2023 AI for molecule discovery with multi-modal knowledge
2024 Geometric-aware models for protein design
2021 Extending domain-specific modeling editors with multi-touch interactions
2023 Co-simulation for controlled environment agriculture
2018 ReLiS: un outil flexible pour réaliser des revues systématiques itératives et collaboratives
2016 Using Workflows to Automate Activities in MDE Tools
2021 A framework for domain-specific modeling on graph databases
2023 Domain-specific differencing and merging of models
2021 Gentleman : a lightweight web-based projectional editor
2017 Survey of Template-Based Code Generation
2020 Adapting modeling environments to domain specific interactions
2018 Framework for Real-time collaboration on extensive Data Types using Strong Eventual Consistency
2022 Generating graphical and projectional editors
2020 Evolution of domain-specific languages depending on external libraries
2006 Validité d'un modèle QuasiNURBS interpolant des données géométriques incertaines
1989 Les opérations booléennes et les arbres binaires de partition de l'espace
2008 Reliable computation for geometric models
2003 Visualization and prediction of spatial deformation using thin-plate splines in the context of scoliosis
1993 Validation symbolique et numérique des solides
2010 Extension of Wu-Peters bounds to Catmull-Clark and 4-8 subdivision
1989 Simulation et modélisation de capteurs dans un environnement robotique
2016 Comparaison de méthodes de détection automatique d’intersections sur surfaces paramétriques
1994 Visualisation quadridimensionnelle, état des connaissances et visualisation par hypercoupes
2000 Cadre de travail pour la spécification de systèmes avec des chaînes sur un complexe cellulaire
2013 Reliable Solid Modelling Using Subdivision Surfaces
1991 Réseaux d'inférence bayesiens dans un hypertexte
1994 Système d'aide multicritère à la décision et hypertexte : une alliance intéressante
1994 Navigation dans les hypertextes : une interface en Smalltalk
1991 Traitement de l'incertitude : une implantation de la théorie de Dempster-Shafer en Smalltalk
2015 On Space-Time Trade-Off for Montgomery Multipliers over Finite Fields
2009 Multi-Prover and parallel repetition in non-classical interactive games
2017 Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique
2011 Détection de la retransmission sélective sur les réseaux de capteurs
2016 Sur l’identification des états produits par une source quantique maximalement décorrélée
2015 Étude comparative des moyens de paiement
Number of results : 1511