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
2026 A fully reproducible C toolchain rooted on POSIX shell
2023 Adding hygiene to gambit scheme
2002 YADL : a general purpose SDSM system
2010 Implantation des futures sur un système distribué par passage de messages
2021 Reusable semantics for implementation of Python optimizing compilers
2015 On the fly type specialization without type analysis
1997 Conception et réalisation d'une variante parallèle de C basée sur la création paresseuse de tâche
1999 Un générateur de code machine pour le compilateur Gambit
2023 Fairness through domain awareness : mitigating popularity bias for music discovery
2024 Embedding cultural diversity in prototype-based recommender systems
2023 FETA : fairness enforced verifying, training, and predicting algorithms for neural networks
2023 Fair vaccination strategies with influence maximization : a case study on COVID-19
2025 Cracks in the platform : detecting inconsistencies and workarounds in low-code applications
2020 Articulating design-time uncertainty with DRUIDE
2019 Modelling and Reasoning with Software Product Lines with Design Choices
2024 Modelling and evolving design-time uncertainty
2016 Évolution des génomes par mutations locales et globales : une approche d’alignement
2002 Algorithmes pour le réarrangement des génomes par inversions
2003 Réarrangement de génomes par inversions et analyse de l'ensemble des solutions minimales
2005 Automatic music classification using boosting algorithms and auditory features
2012 Apprentissage de représentations musicales à l'aide d'architectures profondes et multiéchelles
2010 Génération et reconnaissance de rythmes au moyen de réseaux de neurones à réservoir
2011 Génération efficace de graphes d’appels dynamiques complets
2002 Génération automatique d'une spécification formelle à partir de scénarios temps-réels
2001 Le filtrage du protocole SMB
2000 QoS architecture and monitoring for videoconferencing applications
2000 Diagnostic des protocoles de communication fondé sur les automates à états finis étendus
2000 Quality of services adaptation model for distributed multimedia application based on RTP protocol on IP network
2023 Predicting viral respiratory tract infections using wearable garment biosensors
2023 Investigating intra and inter-subject performance with deep learning for gait on irregular surfaces
Number of results : 604