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 ascending order Title Sort by title in ascending order
2016 Using Workflows to Automate Activities in MDE Tools
2008 Apprentissage quantique
2003 Développement d'un curriculum et d'un modèle de l'apprenant orientés vers un domaine multidisciplinaire : l'informatique quantique
2012 PROTECT_U: Un système communautaire pour la protection des usagers de Facebook
2000 ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles
2019 Natural image processing and synthesis using deep learning
1992 Homomorphisms and the star chromatic number of a graph
2022 Automatic taxonomy evaluation
2000 Développement de cours pour un environnement distribué de formation à distance
2026 Solar flare prediction from magnetogram data : a comparative study of image and spatio-temporal deep learning models
1990 Modèle de distribution d'énergie électrique avec structure de réseau
2005 Calibration de la distorsion radiale
2023 Fear prediction for training robust RL agents
1999 La Charrue - pour une représentation des données dans l'interface homme-machine
2008 Images géométriques de genre arbitraire dans le domaine sphérique
1989 Le problème des reines : thème et variations
2022 Parametric Scattering Networks
1991 Teachart, un système tutoriel intelligent basé sur l'utilisation de la logique modale
2023 Variations sur le protocole BB84 avec bases de polarisation secrètes
1990 Calcul simultané de la matrice de demande et des flots optimaux de marchandises sur un réseau multimodal
2001 Programmes de branchement restreints pour un problème P-complet
1992 Système intégré de spectroscopie automatisée
2009 Planification de la récolte et allocation des produits aux usines
2015 Modèles et méthodes pour la planification de la récolte forestière
1994 Nouvelles méthodes de résolution de problèmes de conception de réseaux et leur implantation en environnement parallèle
1990 Implantations parallèles d'un algorithme de séparation et évaluation progressive pour résoudre le problème de localisation avec équilibrage
2000 Détection et analyse de motifs structuraux et fonctionnels dans les acides ribonucléiques
2013 Génération de résumés par abstraction
2009 Système symbolique de création de résumés de mise à jour
2022 Gestion manuelle et sécuritaire de la mémoire en Typer