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
2013-06 Une approche multi-agents pour le développement d'un jeu vidéo
2010-12 Une architecture parallèle distribuée et tolérante aux pannes pour le protocole interdomaine BGP au cœur de l’Internet
2006 Une architecture pour l'évaluation qualitative de l'impact de la programmation orientée aspect
2022-03 Une étude des graphes jumeaux via l'auto-abritement
2009-04 Une heuristique à grand voisinage pour un problème de confection de tournée pour un seul véhicule avec cueillettes et livraisons et contrainte de chargement
2016-04 Une heuristique de recherche à voisinage variable pour le problème du voyageur de commerce avec fenêtres de temps
1999 Une librairie orientée-objet pour la simulation des réseaux stochastiques dynamiques
2005 Une métaheuristique pour le problème d'affectation de longueurs d'onde, de groupage et de routage du trafic dans les réseaux optiques WDM
1998 Une méthode de recherche avec tabous pour la localisation de stations d'inspection sur un réseau de transport
2021-07 Une nouvelle approche pour l’identification des états dynamiques de la parcellisation fonctionnelle cérébrale individuelle
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
2014-05 Une signature du polymorphisme structural d’acides ribonucléiques non-codants permettant de comparer leurs niveaux d’activités biochimiques
2005 Une solution facilitant l'accessibilité et la classification des images Web pour les mal voyants
2017-01 Unfolding RNA 3D structures for secondary structure prediction benchmarking
2009-12 Un formalisme pour la traçabilité des transformations
2001 Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces
1999 Un générateur de code machine pour le compilateur Gambit
2001 Un modèle bi-niveau pour la gestion du revenu en transport aérien
2003 Un modèle de validation automatique de mécanismes de sécurisation des communications
2016-04 Un modèle rétroactif de réconciliation utilité-confidentialité sur les données d’assurance
2000 Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise
2008 Un outil de conception pour les réseaux maillés sans fil
2013-08 Un outil d’évaluation neurocognitive des interactions humain-machine
1996-03 Un outil pour la spécification de matériel et la génération de modèles exécutables
2002 Un protocole de communication pour applications transactionnelles distribuées
2011-04 Un protocole de diffusion des messages dans les réseaux véhiculaires
2019-08 Unsupervised representation learning in interactive environments
2001 Un système combiné de raisonnement à base de cas et de data mining : une alternative aux techniques statistiques de marketing bancaire
2007 Un système d'aide à la visualisation interactive de logiciels
2020-03 Un système de question-réponse simple appliqué à SQuAD
1998 Un système multi-agent pour l'enseignement et la simulation de tâches coopératives
1996-04 Un système multi-paradigme pour la manipulation des connaissances utilisant la théorie des graphes conceptuels
2013-09 Urban Detection From Hyperspectral Images Using Dimension-Reduction Model and Fusion of Multiple Segmentations Based on Stuctural and Textural Features
2003 Using domain-specific knowledge to improve information retrieval performance
2017-12 Using electroencephalograms to interpret and monitor the emotions
2016-11 Using goal-driven assistants for software visualization
2016-09 Using Workflows to Automate Activities in MDE Tools
2011-08 Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
2004 Utilisation de miroirs dans un système de reconstruction interactif
2014-01 Utilisation de représentations de mots pour l’étiquetage de rôles sémantiques suivant FrameNet
2016-12 Utilisation des citations pour le résumé automatique de la contribution d'articles scientifiques
1999 Utilisation d'hyper-paramètres pour la sélection de variables
2021-11 Utilisation du plongement du domaine pour l’adaptation non supervisée en traduction automatique
2006 Validité d'un modèle QuasiNURBS interpolant des données géométriques incertaines
2021-07 Variational aleatoric uncertainty calibration in neural regression
2023-02 Variations sur le protocole BB84 avec bases de polarisation secrètes
2020-07 Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
2011-08 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2000 Vers la construction automatique d'un module inconnu dans un système composé
2023-06 Vers la mitigation des biais en traitement neuronal des langues
Nombre de résultats : 1178