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
2010-12 Intégration de la visualisation à multiples vues pour le développement du logiciel
2012-06 Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique
2021-05 Pattern-based refactoring in model-driven engineering
2023-10 Optimizing vertical farming : control and scheduling algorithms for enhanced plant growth
2005 Migrating legacy system towards object technology
2018-08 Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework
2011-04 Détection de la retransmission sélective sur les réseaux de capteurs
2016-08 Sur l’identification des états produits par une source quantique maximalement décorrélée
2017-12 Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique
2016-08 La fuite d’information d’une réalisation quantique de primitives cryptographiques classiques
2015-04 Étude comparative des moyens de paiement
2009-08 Multi-Prover and parallel repetition in non-classical interactive games
2015-04 On Space-Time Trade-Off for Montgomery Multipliers over Finite Fields
1994 Système d'aide multicritère à la décision et hypertexte : une alliance intéressante
1991 Traitement de l'incertitude : une implantation de la théorie de Dempster-Shafer en Smalltalk
1994 Navigation dans les hypertextes : une interface en Smalltalk
1991 Réseaux d'inférence bayesiens dans un hypertexte
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
1989 Les opérations booléennes et les arbres binaires de partition de l'espace
2006 Validité d'un modèle QuasiNURBS interpolant des données géométriques incertaines
2010-03 Extension of Wu-Peters bounds to Catmull-Clark and 4-8 subdivision
1989 Simulation et modélisation de capteurs dans un environnement robotique
2013-02 Reliable Solid Modelling Using Subdivision Surfaces
2016-12 Comparaison de méthodes de détection automatique d’intersections sur surfaces paramétriques
2008 Reliable computation for geometric models
1994 Visualisation quadridimensionnelle, état des connaissances et visualisation par hypercoupes
1993 Validation symbolique et numérique des solides
2020-12 Adapting modeling environments to domain specific interactions
2020-11 Evolution of domain-specific languages depending on external libraries
Nombre de résultats : 1474