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.

 

 

For a detailed search
Visit Papyrus
Date Sort by date in descending order Title Sort by title in descending order
2023 Fair vaccination strategies with influence maximization : a case study on COVID-19
2023 Fairness through domain awareness : mitigating popularity bias for music discovery
2023 FETA : fairness enforced verifying, training, and predicting algorithms for neural networks
2025 Cracks in the platform : detecting inconsistencies and workarounds in low-code applications
2020 Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
2026 Empowering rationale-aware commit-based development
2019 Modelling and Reasoning with Software Product Lines with Design Choices
2020 Articulating design-time uncertainty with DRUIDE
2020 Towards using fluctuations in internal quality metrics to find design intents
2025 Évaluation de la confiance dans les modèles épidémiologiques guidée par la provenance : une approche de manipulation formelle des modèles
2025 Rapid prototyping for systematic reuse in compartmental models
2024 Modelling and evolving design-time uncertainty
2016 Évolution des génomes par mutations locales et globales : une approche d’alignement
2026 Reconstruction de l’histoire évolutive de gènes en synténie : approche algébrique pour le problème de la réconciliation segmentale
2002 Algorithmes pour le réarrangement des génomes par inversions
2012 Évolution de familles de gènes par duplications et pertes : algorithmes pour la correction d’arbres bruités
2020 Edit distance metrics for measuring dissimilarity between labeled gene trees
2016 Algorithmes de construction et correction d'arbres de gènes par la réconciliation
2020 Assessing the robustness of genetic codes and genomes
2001 Recherche de structures secondaires dans les séquences biologiques