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 décroissant Titre Trier par titre en ordre décroissant
2025 Vérification automatisée de programmes impératifs dans un langage à typage dépendant
2022 Gestion manuelle et sécuritaire de la mémoire en Typer
2022 Développement d’un serveur LSP pour Typer
2017 Implémentation d'un langage fonctionnel orienté vers la méta programmation
2021 Hamiltonian Monte Carlo and consistent sampling for score matching based generative modeling
2024 The shifting landscape of data : learning to tame distributional shifts
2024 Generative models, theory and applications
2019 On the bias-variance tradeoff : textbooks need an update
2022 Understanding, improving, and generalizing generative models
2025 Towards more robust theoretical frameworks for deep neural network optimization