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
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
2011 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2001 Optimisation de circuits lors de la synthèse à partir de langages de haut niveau
1998 Estimation des performances du système PULSE V1 pour des applications de nature itérative
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2000 Covérification des systèmes intégrés
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2026 Towards efficient, reliable and measurable vision-language systems
2023 Parameter-efficient modeling and robust automatic evaluation of image captioning
2025 View-dependent deformation fields for 2D editing of 3D models
2026 A Tutte-like theorem for injective flows on meshes
2024 Détection universelle des images synthétiques générées par les modèles de diffusion
2021 Personalized question-based cybersecurity recommendation systems
2004 IIS : an intelligent interaction system that provides e-service, based on interaction and case-based reasoning
2021 Image forgery detection using textural features and deep learning
2019 Sensibilisation à la protection de la vie privée dans un contexte d’utilisation de dispositifs portables intelligents
2018 Vers une plateforme holistique de protection de la vie privée dans les services géodépendants
2025 CyberPRIcards : un jeu sérieux pour la sensibilisation à la vie privée et l’intimité numérique
2000 Improvements brought to graphical user interfaces for insurance illustration systems
2006 UMAKE : adaptation et recommandation d'outils d'aide d'un quiz pour l'auto-évaluation
2003 PCFinfer : an intelligent product recommendation agent for electronic commerce
2012 PROTECT_U: Un système communautaire pour la protection des usagers de Facebook
2024 FACTS-ON : Fighting Against Counterfeit Truths in Online social Networks : fake news, misinformation and disinformation
2005 DIA : un système de recommandation de livres dans un contexte pédagogique
2016 Gestionnaire de vie privée : un cadre pour la protection de la vie privée dans les interactions entre apprenants
2006 RARE : un système de recommandation de cours basé sur les régles d'association
2005 HELP : localisation et recommandation d'experts pour le développement d'un système d'aide collaborative
2001 XMLFinder : an intelligent agent based on CBR for E-Commerce
2022 Vers la sécurité des conteneurs : les comprendre et les sécuriser
Nombre de résultats : 1661