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
2012 Apprentissage de représentations musicales à l'aide d'architectures profondes et multiéchelles
2006 Algorithms for classifying recorded music by genre
2005 Automatic music classification using boosting algorithms and auditory features
2009 Apprentissage statistique pour l'étiquetage de musique et la recommandation
2010 Modélisation de l'interprétation des pianistes & applications d'auto-encodeurs sur des modèles temporels
2006 Étude de la combinaison de la technique quasi-Monte Carlo randomisé vectoriel avec l'échantillonnage exact
2004 Construction d'ensembles de points basée sur des récurrences linéaires dans un corps fini de caractéristique 2 pour la simulation Monte Carlo et l'intégration quasi-Monte Carlo
2003 Réarrangement de génomes par inversions et analyse de l'ensemble des solutions minimales
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
2020 Assessing the robustness of genetic codes and genomes
2001 Recherche de structures secondaires dans les séquences biologiques
2002 Algorithmes pour le réarrangement des génomes par inversions
2016 Algorithmes de construction et correction d'arbres de gènes par la réconciliation
2016 Évolution des génomes par mutations locales et globales : une approche d’alignement
2020 Articulating design-time uncertainty with DRUIDE
2019 Modelling and Reasoning with Software Product Lines with Design Choices
2025 Rapid prototyping for systematic reuse in compartmental models
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
2024 Modelling and evolving design-time uncertainty
2026 Empowering rationale-aware commit-based development
2020 Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
2025 Cracks in the platform : detecting inconsistencies and workarounds in low-code applications
2023 FETA : fairness enforced verifying, training, and predicting algorithms for neural networks
2024 Dichotomy(?) of fairness and efficiency
2023 Fairness through domain awareness : mitigating popularity bias for music discovery
2023 Fair vaccination strategies with influence maximization : a case study on COVID-19
2024 Embedding cultural diversity in prototype-based recommender systems
2000 La compilation de patrons de filtrage sous Erlang
2026 A fully reproducible C toolchain rooted on POSIX shell
1997 Conception et réalisation d'une variante parallèle de C basée sur la création paresseuse de tâche
2015 On the fly type specialization without type analysis
2021 Reusable semantics for implementation of Python optimizing compilers
2002 Un protocole de communication pour applications transactionnelles distribuées
2020 Diffusion de modules compilés pour le langage distribué Termite Scheme
2002 Compilation optimisante à l'aide de métaheuristiques
2002 YADL : a general purpose SDSM system
2009 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
1999 Génération de machines virtuelles pour l'exécution de programmes compressés
Nombre de résultats : 1620