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
2021 Variational aleatoric uncertainty calibration in neural regression
2003 Planification pour agents dans un environnement dynamique et incertain
1993 Planification d'horaires du personnel infirmier dans un établissement hospitalier
1990 La conception de logiciels d'assistance dans un contexte d'apprentissage
2022 Adversarial games in machine learning : challenges and applications
2016 Évolution des génomes par mutations locales et globales : une approche d’alignement
2002 Combined negotiations in E-commerce : concepts, architecture, and implementation
2001 Modélisation des effets réseaux dans le transport des matières dangereuses
2020 Towards using intelligent techniques to assist software specialists in their tasks
1995 Modèles des portes logiques pour l'analyse de délai par la méthode de réduction des intervalles
2007 De nouveaux algorithmes de tri par transpositions
1992 Optimisation des circuits intégrés par des réseaux de neurones
1989 Approches de résolution du problème de programmation fractionnaire généralisée
1989 Analyse automatique de résultats de tests appliquée aux protocoles de communication
2020 Estimation neuronale de l'information mutuelle
2010 Routage adaptatif et qualité de service dans les réseaux optiques à commutation de rafales
2000 Optimisation des interactions au sein d'un réseau de connaissances
2002 Alimentation d'un dépôt de code source pour l'analyse détaillée de systèmes de taille industrielle
2020 European day-ahead electricity price forecasting
1999 Un générateur de code machine pour le compilateur Gambit
1998 Planification de l'horaire des médecins dans une salle d'urgence
2002 Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources
2000 Propagation et rendu de feu
2002 Reconnaissance de visages à partir de modèles tridimensionnels
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2000 Évaluation qualitative et quantitative d'outils de visualisation logicielle
2017 Contrôle d’Accès Sécurisé dans l’Info-Nuage Mobile (Secure Access Control in Mobile Cloud)
2021 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2006 Formal checking of web based applications
1987 Prototype d'un système d'aide à la conception de tests de protocoles
Nombre de résultats : 604