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
2023 A multi-agent nudge-based approach for disclosure mitigation online
2000 Improvements brought to graphical user interfaces for insurance illustration systems
2022 Personalized fake news aware recommendation system
2021 Self-disclosure model for classifying & predicting text-based online disclosure
2009 Papyres : un système de gestion et de recommandation d’articles de recherche
2003 Bimodal adaptive hypermedia and interactive multimedia a web-based learning environment based on Kolb's theory of learning style
2005 BLED : système d'aide à la recherche d'informations sur Internet
2001 XMLFinder : an intelligent agent based on CBR for E-Commerce
2016 Priv-C : une politique de confidentialité personnalisable
2001 Un système combiné de raisonnement à base de cas et de data mining : une alternative aux techniques statistiques de marketing bancaire
2014 Évaluation et amélioration du rendement de la formation en entreprise : vers une démarche basée sur la gestion des processus d’affaires
2024 Détection universelle des images synthétiques générées par les modèles de diffusion
2017 “WARES”, a Web Analytics Recommender System
2019 Sensibilisation à la protection de la vie privée dans un contexte d’utilisation de dispositifs portables intelligents
2019 Mise en oeuvre d’une approche sociotechnique de la vie privée pour les systèmes de paiement et de recommandation en ligne
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
2004 IIS : an intelligent interaction system that provides e-service, based on interaction and case-based reasoning
2005 HELP : localisation et recommandation d'experts pour le développement d'un système d'aide collaborative
2022 A personality aware recommendation system
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 Optimisation de circuits lors de la synthèse à partir de langages de haut niveau
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques
1998 Estimation des performances du système PULSE V1 pour des applications de nature itérative
2011 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2009 Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
2004 The co-design methodologies on click router application system
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
2006 Distribution d'objets avec les techniques de développement orientées aspects
2004 Réutilisation des processus d'affaires pour le développement de systèmes d'information
1999 Génération automatique de cas de test pour les systèmes modélisés par des machines à états finis communicantes
2004 Accélération de prédiction génétique par implémentation hautement parallèle sur un matériel re-configurable
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
1991 De l'à-propos du modèle de simulation optimiste pour l'implantation de VHDL dans un environnement informatique distribué
1989 Testabilité et tolérance aux fautes des circuits logiques à structure régulière
1992 Analyse et génération de vecteurs du test pour les pannes multiples
1993 Multi-partitionnement des réseaux pour des applications en VLSI
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2003 Understanding retargeting compilation techniques for network processors
2003 ARM processor modeling at a cycle accurate level in systemC
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
2001 Visualisation interactive des résultats de simulation de matériel modélisé avec SystemC
2009 Timing verification in transaction modeling
Number of results : 1662