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
2008 Modélisation et implémentation des patrons de conception
1989 Modélisation des circuits VLSI et conception en vue de leur testabilité
2009 Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable
1991 Analyse de pannes multiples utilisant une technique d'élimination rapide
2004 De la fusion du génie logiciel et d'une bibliothèque à source ouverte pour la modélisation/simulation de processus matériel et logiciel
2009 Timing verification in transaction modeling
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
1992 Analyse et génération de vecteurs du test pour les pannes multiples
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
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
2023 Parameter-efficient modeling and robust automatic evaluation of image captioning
2018 Vers une plateforme holistique de protection de la vie privée dans les services géodépendants
2007 TAARAC : test d'anglais adaptatif par raisonnement à base de cas
2024 FACTS-ON : Fighting Against Counterfeit Truths in Online social Networks : fake news, misinformation and disinformation
2021 Personalized question-based cybersecurity recommendation systems
2019 Sensibilisation à la protection de la vie privée dans un contexte d’utilisation de dispositifs portables intelligents
2022 A personality aware recommendation system
2005 BLED : système d'aide à la recherche d'informations sur Internet
2020 A game theoretical model for a collaborative e-learning platform on privacy awareness
1998 Le raisonnement à base de cas dans la planification financière
2025 Building awareness and safeguarding privacy : the development of DEDALUS and ICARUS for image privacy classification
2020 Towards privacy preserving cooperative cloud based intrusion detection systems
2025 CyberPRIcards : un jeu sérieux pour la sensibilisation à la vie privée et l’intimité numérique
2025 Pour une IA plus responsable, détection de biais dans les entrevues de recrutement
2019 Mise en oeuvre d’une approche sociotechnique de la vie privée pour les systèmes de paiement et de recommandation en ligne
2016 Priv-C : une politique de confidentialité personnalisable
2004 IIS : an intelligent interaction system that provides e-service, based on interaction and case-based reasoning
2003 Développement d'un curriculum et d'un modèle de l'apprenant orientés vers un domaine multidisciplinaire : l'informatique quantique
2002 A socio-technological approach to sharing knowledge across disciplines
2002 Weighted finite-state transducers in speech recognition : a compaction algorithm for non-determinizable transducers
2000 Optimisation des interactions au sein d'un réseau de connaissances
1997 Étude et réalisation d'un système d'aide à la modélisation des tâches
1995 Un système tutorial intelligent basé sur un système critique
2000 White Rabbit : agents intelligents d'analyse de discussion pour la reconnaissance de profils d'usagers compatibles
2012 Impacts and Detection of Design Smells
2017 Caractérisation et étude de l’impact des permissions dans les applications mobiles
2006 An intelligent help system to support teachers to author learning sessions in decision-making in network design
2024 The role of continual learning and adaptive computation in improving computational efficiency of deep learning