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 ascending order Title Sort by title in ascending order
2025 Towards more robust theoretical frameworks for deep neural network optimization
2026 Toward efficient and scalable optimization : theoretical insights and practical challenges
2024 Generative models, theory and applications
2024 The shifting landscape of data : learning to tame distributional shifts
2021 Hamiltonian Monte Carlo and consistent sampling for score matching based generative modeling
2022 Gestion manuelle et sécuritaire de la mémoire en Typer
2025 Vérification automatisée de programmes impératifs dans un langage à typage dépendant
2026 L'inférence de type, étape par étape
2024 Quotient Types in Typer
2017 Implémentation d'un langage fonctionnel orienté vers la méta programmation
2021 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2022 Développement d’un serveur LSP pour Typer
2023 Amélioration des messages d'erreurs Typer par algorithme génétique
2011 Simulateur compilé d’une description multi-langage des systèmes hétérogènes
2015 Abitbol : un langage sur mesure pour la métaprogrammation
2009 A Type-Preserving Compiler from System F to Typed Assembly Language
2009 Inférence statique et par contraintes des relations de composition dans des programmes Java
2012 A Compiler for the dependently typed language Beluga
1990 Minimisation d'entropie pour un système de grande taille
1987 Une étude des méthodes de calcul des K meilleurs chemins
2006 Modèles de langue appliqués à la recherche d'information contextuelle
2004 Compound terms for information retrieval
2025 Robust, efficient, and knowledge-augmented text generation with pre-trained language models
2024 Rule-based data augmentation for document-level medical concept extraction
2020 VGCN-BERT : augmenting BERT with graph embedding for text classification : application to offensive language detection
2016 Learning representations for Information Retrieval
2008 Extracting and exploiting word relationships for information retrieval
2001 Filtering parallel texts to improve translation model and cross-language information retrieval
2021 Tailored deep learning techniques for information retrieval
2024 The equivalence of contrastive learning and graph convolution in collaborative filtering
Number of results : 1661