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
2015 L'algorithme de Branch and Price and Cut pour le problème de conception de réseaux avec coûts fixes et sans capacité
1997 Towards a formal definition of security for quantum protocols
2020 On two sequential problems : the load planning and sequencing problem and the non-normal recurrent neural network
2018 Improved training of generative models
2022 From specialists to generalists : inductive biases of deep learning for higher level cognition
1998 A study on two arc routing problems
1987 Un environnement d'expérimentation des analyseurs déterministes
2017 Reconnaissance de postures humaines par fusion de la silhouette et de l'ombre dans l'infrarouge
2019 Deep active localization
2012 L'atténuation statistique des surdétections d'un correcteur grammatical symbolique
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2014 Deep learning of representations and its application to computer vision
2014 Modélisation procédurale de mondes virtuels par pavage d'occultation
2014 Apprentissage des réseaux de neurones profonds et applications en traitement automatique de la langue naturelle
1993 Agents et systèmes, une nécessaire unité
1991 De l'à-propos du modèle de simulation optimiste pour l'implantation de VHDL dans un environnement informatique distribué
1997 Vérification des propriétés temporelles des interfaces matérielles à l'aide de la programmation logique avec contraintes
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
2015 Logarithme d'harmoniques sphériques pour le rendu d'ombres douces de champs de hauteurs et de maillages
1989 Réalisation d'un système intelligent de manipulation de bases de données
1988 Système informatique réparti pour l'animation de visages réels ou synthétiques synchronisée avec une parole synthétisée
2021 Mechanical characterization of rigid discrete interlocking materials
1989 Générateur d'itinéraires d'enlèvement de la neige
2011 Tarification logit dans un réseau
2020 Multi-player games in the era of machine learning
2000 Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java
2003 Aviseurs indépendants pour les entreprises de camionnage dans le contexte des bourses de fret
2011 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é
2004 Métaheuristiques de recherche avec tabous pour le problème de synthèse de réseau multiproduits avec capacités
1993 Variantes de la méthode Tabou pour la coloration de graphes
2016 Détection et amélioration de l'état cognitif de l'apprenant
2010 Impact des émotions sur les performances
2023 Analysis and evaluation of the pilot attentional model
2016 Coreference resolution with and for Wikipedia
2020 Leveraging distant supervision for improved named entity recognition
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 Deep networks training and generalization: insights from linearization
2017 Factorized second order methods in neural networks
2022 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 Génération de résumés par abstraction
2000 Détection et analyse de motifs structuraux et fonctionnels dans les acides ribonucléiques
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
2015 Modèles et méthodes pour la planification de la récolte forestière
2009 Planification de la récolte et allocation des produits aux usines
1992 Système intégré de spectroscopie automatisée
Nombre de résultats : 1659