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
2021 Personalized question-based cybersecurity recommendation systems
2024 Détection universelle des images synthétiques générées par les modèles de diffusion
2026 A Tutte-like theorem for injective flows on meshes
2025 View-dependent deformation fields for 2D editing of 3D models
2023 Parameter-efficient modeling and robust automatic evaluation of image captioning
2026 Towards efficient, reliable and measurable vision-language systems
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2000 Covérification des systèmes intégrés
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques