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 décroissant Titre Trier par titre en ordre décroissant
2011-08 Système de listes de vérification interactives du niveau de conformité des maquettes avec les recommandations des fabricants de plateformes mobiles
1992 Diagnostic tests for protocol implementations modeled by finite state machines
1992 Étude comparative de méthodologies de layout orienté
1993 Variantes de la méthode Tabou pour la coloration de graphes
2004 Métaheuristiques de recherche avec tabous pour le problème de synthèse de réseau multiproduits avec capacités
2016-12 Détection et amélioration de l'état cognitif de l'apprenant
2010-04 Impact des émotions sur les performances
2023-08 Analysis and evaluation of the pilot attentional model
2020-03 Leveraging distant supervision for improved named entity recognition
2016-06 Coreference resolution with and for Wikipedia
2006 Conception d'un langage de programmation pour applications distribuées
2000 Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise
2023-01 Deep networks training and generalization: insights from linearization
2017-08 Factorized second order methods in neural networks
2022-12 Gestion manuelle et sécuritaire de la mémoire en Typer
2009 Système symbolique de création de résumés de mise à jour
2013-05 Génération de résumés par abstraction
2000 Détection et analyse de motifs structuraux et fonctionnels dans les acides ribonucléiques
1990 Implantations parallèles d'un algorithme de séparation et évaluation progressive pour résoudre le problème de localisation avec équilibrage
1994 Nouvelles méthodes de résolution de problèmes de conception de réseaux et leur implantation en environnement parallèle
2015-08 Modèles et méthodes pour la planification de la récolte forestière
2009-08 Planification de la récolte et allocation des produits aux usines
1992 Système intégré de spectroscopie automatisée
2001 Programmes de branchement restreints pour un problème P-complet
1990 Calcul simultané de la matrice de demande et des flots optimaux de marchandises sur un réseau multimodal
2023-02 Variations sur le protocole BB84 avec bases de polarisation secrètes
1991 Teachart, un système tutoriel intelligent basé sur l'utilisation de la logique modale
2022-04 Parametric Scattering Networks
1989 Le problème des reines : thème et variations
2008 Images géométriques de genre arbitraire dans le domaine sphérique
1999 La Charrue - pour une représentation des données dans l'interface homme-machine
2023-03 Fear prediction for training robust RL agents
2005 Calibration de la distorsion radiale
1990 Modèle de distribution d'énergie électrique avec structure de réseau
2000 Développement de cours pour un environnement distribué de formation à distance
2022-12 Automatic taxonomy evaluation
1992 Homomorphisms and the star chromatic number of a graph
2019-09 Natural image processing and synthesis using deep learning
2000 ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles
2012-08 PROTECT_U: Un système communautaire pour la protection des usagers de Facebook
2003 Développement d'un curriculum et d'un modèle de l'apprenant orientés vers un domaine multidisciplinaire : l'informatique quantique
2008 Apprentissage quantique
2016-09 Using Workflows to Automate Activities in MDE Tools
2019-12 Accurate and efficient strategies for the appearance filtering of complex materials
1991 Générateur intelligent de tests adapté au domaine des protocoles de communication
2024-06 Constrained optimization for machine learning : algorithms and applications
1993 Évaluation du potentiel d'un modèle connexionniste pour la classification de textures échographiques médicales
2018-06 Détection des utilisations à risque d’API : approche basée sur le système immunitaire
1992 MédiÉval: un outil multimédia pour l'évaluation des connaissances linguistiques
1993 Expression de la localisation temporelle dans un générateur de texte