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.

 

 

Pour une recherche détaillée
 Visiter Papyrus
Date Trier par date en ordre décroissant Titre Trier par titre en ordre décroissant
2016 Comparaison de méthodes de détection automatique d’intersections sur surfaces paramétriques
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
2010 Extension of Wu-Peters bounds to Catmull-Clark and 4-8 subdivision
1993 Validation symbolique et numérique des solides
1989 Simulation et modélisation de capteurs dans un environnement robotique
2003 Visualization and prediction of spatial deformation using thin-plate splines in the context of scoliosis
2006 Validité d'un modèle QuasiNURBS interpolant des données géométriques incertaines
2008 Reliable computation for geometric models
1994 Visualisation quadridimensionnelle, état des connaissances et visualisation par hypercoupes
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
2011 Détection de la retransmission sélective sur les réseaux de capteurs
2016 La fuite d’information d’une réalisation quantique de primitives cryptographiques classiques
2016 Sur l’identification des états produits par une source quantique maximalement décorrélée
2017 Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique
2015 Étude comparative des moyens de paiement
2018 Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework
2005 Migrating legacy system towards object technology
2023 Optimizing vertical farming : control and scheduling algorithms for enhanced plant growth
2021 Pattern-based refactoring in model-driven engineering
2012 Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique
2010 Rétro-ingénierie des diagrammes de séquence par visualisation interactive
2021 Abstraction de comportement de haut niveau à l’aide de la visualisation interactive
2007 Détection visuelle d'anomalies de conception dans les programmes orientés objets
2006 Visualisation de la qualité des logiciels de grandes taille
2011 Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
2015 A unified framework for the comprehension of software's time dimension
2007 Un système d'aide à la visualisation interactive de logiciels
2010 Intégration de la visualisation à multiples vues pour le développement du logiciel
2006 Formal checking of web based applications
2007 A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
2009 Développement logiciel par transformation de modèles
2007 Méta-modélisation de l'adaptation dynamique du contrôle des systèmes multi-agents
2003 Determination of software quality through a generic model
2005 Estimation de la qualité du produit logiciel : réseaux Bayésiens
2004 Estimation de caractéristiques externes de qualité à partir de mesures d'attributs internes : bilan et perspectives
2004 Estimation de l'impact du changement dans les programmes à objets
2011 Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
2010 Formulation interactive des requêtes pour l’analyse et la compréhension du code source
2011 Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation
2014 A Mono- and Multi-objective Approach for Recommending Software Refactoring
2005 Amélioration de la prédiction de la qualité du logiciel par combinaison et adaptation de modèles
2005 Analyse de la qualité du logiciel : une approche par visualisation et simulation
2007 Modélisation pour la gestion de modèles
2003 Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
Nombre de résultats : 1513