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
2011 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques
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
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
2023 ZeroAbuse, a serious game to prevent child maltreatment
2025 Pour une IA plus responsable, détection de biais dans les entrevues de recrutement
2007 LORESA : un système de recommandation d'objets d'apprentissage basé sur les annotations sémantiques
2021 Image forgery detection using textural features and deep learning
2000 Improvements brought to graphical user interfaces for insurance illustration systems
2018 Vers une plateforme holistique de protection de la vie privée dans les services géodépendants
2019 Mise en oeuvre d’une approche sociotechnique de la vie privée pour les systèmes de paiement et de recommandation en ligne
2001 Un système combiné de raisonnement à base de cas et de data mining : une alternative aux techniques statistiques de marketing bancaire
2019 Sensibilisation à la protection de la vie privée dans un contexte d’utilisation de dispositifs portables intelligents
2009 Papyres : un système de gestion et de recommandation d’articles de recherche
1998 Le raisonnement à base de cas dans la planification financière
2021 Self-disclosure model for classifying & predicting text-based online disclosure
2003 Bimodal adaptive hypermedia and interactive multimedia a web-based learning environment based on Kolb's theory of learning style
2023 Enhancing cybersecurity awareness through educational games : design of an adaptive visual novel game
2022 DS-Fake : a data stream mining approach for fake news detection
2023 A multi-agent nudge-based approach for disclosure mitigation online
2025 CyberPRIcards : un jeu sérieux pour la sensibilisation à la vie privée et l’intimité numérique
2012 Mures : Un système de recommandation de musique
2007 TAARAC : test d'anglais adaptatif par raisonnement à base de cas
Nombre de résultats : 1620