Browsing Thèses et mémoires de l’Université de Montréal by Discipline "Informatique"
Now showing items 1-20 of 820
-
Abitbol : un langage sur mesure pour la métaprogrammation
(2016-03-23)Ce mémoire a pour thèse que les fonctions devraient être transparentes lors de la phase de métaprogrammation. En effet, la métaprogrammation se veut une possibilité pour le programmeur d’étendre le compilateur. Or, dans un style de programmation ... -
Abstraction de comportement de haut niveau à l’aide de la visualisation interactive
(2022-03-16)Comprendre le comportement de haut niveau des programmes est nécessaire pour effectuer différentes tâches dans le développement et la maintenance des logiciels. Pour cela, on utilise régulièrement des traces d’exécution du système, enregistrées pendant ... -
Accurate and efficient strategies for the appearance filtering of complex materials
(2020-03-25)La synthèse d’images réalistes repose sur des modèles physiques décrivant les interactions entre la lumière et les matériaux attachés aux objets dans une scène tridimensionnelle. Ces modèles mathématiques sont complexes et, dans le cas général, ... -
Adapting modeling environments to domain specific interactions
(2021-07-14)Software tools are being used by experts in a variety of domains. There are numerous software modeling environments tailored to a specific domain expertise. However, there is no consistent approach to generically synthesize a product line of such ... -
Advances in deep learning methods for speech recognition and understanding
(2020-12-16)Ce travail expose plusieurs études dans les domaines de la reconnaissance de la parole et compréhension du langage parlé. La compréhension sémantique du langage parlé est un sous-domaine important de l'intelligence artificielle. ... -
Advances in deep learning with limited supervision and computational resources
(2020-03-25)Les réseaux de neurones profonds sont la pierre angulaire des systèmes à la fine pointe de la technologie pour une vaste gamme de tâches, comme la reconnaissance d'objets, la modélisation du langage et la traduction automatique. Mis à part le progrès ... -
Advances in parameterisation, optimisation and pruning of neural networks
(2021-07-14)Les réseaux de neurones sont une famille de modèles de l'apprentissage automatique qui sont capable d'apprendre des tâches complexes directement des données. Bien que produisant déjà des résultats impressionnants dans beaucoup de domaines tels que la ... -
Advances in scaling deep learning algorithms
(2016-03-23)Les algorithmes d'apprentissage profond forment un nouvel ensemble de méthodes puissantes pour l'apprentissage automatique. L'idée est de combiner des couches de facteurs latents en hierarchies. Cela requiert souvent un coût computationel plus elevé ... -
Affectation de composantes basée sur des contraintes énergétiques dans une architecture multiprocesseurs en trois dimensions
(2014-09-29)La lithographie et la loi de Moore ont permis des avancées extraordinaires dans la fabrication des circuits intégrés. De nos jours, plusieurs systèmes très complexes peuvent être embarqués sur la même puce électronique. Les contraintes de développement ... -
L'algorithme de Branch and Price and Cut pour le problème de conception de réseaux avec coûts fixes et sans capacité
(2015-09-23)Le problème de conception de réseaux est un problème qui a été beaucoup étudié dans le domaine de la recherche opérationnelle pour ses caractéristiques, et ses applications dans des nombreux domaines tels que le transport, les communications, et la ... -
Algorithme de branch-and-price-and-cut pour le problème de conception de réseaux avec coûts fixes, capacités et un seul produit
(2016-04-20)De nombreux problèmes liés aux domaines du transport, des télécommunications et de la logistique peuvent être modélisés comme des problèmes de conception de réseaux. Le problème classique consiste à transporter un flot (données, personnes, produits, ... -
Algorithmes d'apprentissage pour la recommandation
(2013-02-01)L'ère numérique dans laquelle nous sommes entrés apporte une quantité importante de nouveaux défis à relever dans une multitude de domaines. Le traitement automatique de l'abondante information à notre disposition est l'un de ces défis, et nous allons ... -
Algorithmes de construction et correction d'arbres de gènes par la réconciliation
(2016-09-28)Les gènes, qui servent à encoder les fonctions biologiques des êtres vivants, forment l'unité moléculaire de base de l'hérédité. Afin d'expliquer la diversité des espèces que l'on peut observer aujourd'hui, il est essentiel de comprendre comment ...