Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires by Title
Now showing items 209-228 of 1181
-
Compilation efficace pour FPGA reconfigurable dynamiquement
(2009-02-05) -
Compilation statique de Java
(2003) -
A Compiler for the dependently typed language Beluga
(2012-10-11)Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ... -
Complexité de la communication sur un canal avec délai
(2014-03-03)Nous introduisons un nouveau modèle de la communication à deux parties dans lequel nous nous intéressons au temps que prennent deux participants à effectuer une tâche à travers un canal avec délai d. Nous établissons quelques bornes supérieures et ... -
Complexité des homomorphismes de graphes avec listes
(2012-09-04)Les problèmes de satisfaction de contraintes, qui consistent à attribuer des valeurs à des variables en respectant un ensemble de contraintes, constituent une large classe de problèmes naturels. Pour étudier la complexité de ces problèmes, il est commode ... -
Complexité raffinée du problème d'intersection d'automates
(2012-07-05)Le problème d'intersection d'automates consiste à vérifier si plusieurs automates finis déterministes acceptent un mot en commun. Celui-ci est connu PSPACE-complet (resp. NL-complet) lorsque le nombre d'automates n'est pas borné (resp. borné par une ... -
Compression in Sequence to Sequence Learning for Natural Language Processing
(2020-03-25)Dans ce travail, nous proposons une méthode presque sans perte d’information pour encoder de longues séquences de texte ainsi que toutes leurs sous-séquences en des représentations riches en information. Nous testons notre méthode sur une tâche d’analyse ... -
Computation over partial information : a principled approach to accurate partial evaluation
(2022-03-16)On est habitué à penser comme suit à un programme qui exécute: une donnée entre (un input), un moment passe, et un résultat ressort. On assume tacitement de l'information complète sur le input, le résultat, et n'importe quels résultats intermédiaires. Dans ... -
Computational modeling and design of nonlinear mechanical systems and materials
(2023-11-01)Les systèmes et matériaux mécaniques non linéaires sont largement utilisés dans divers domaines. Cependant, leur modélisation et leur conception ne sont pas triviales car elles nécessitent une compréhension complète de leurs non-linéarités internes et ... -
Concept oriented biomedical information retrieval
(2015-09-23)Le domaine biomédical est probablement le domaine où il y a les ressources les plus riches. Dans ces ressources, on regroupe les différentes expressions exprimant un concept, et définit des relations entre les concepts. Ces ressources sont construites ... -
Conception des réseaux maillés sans fil à multiples-radios multiples-canaux
(2010-05-05)Généralement, les problèmes de conception de réseaux consistent à sélectionner les arcs et les sommets d’un graphe G de sorte que la fonction coût est optimisée et l’ensemble de contraintes impliquant les liens et les sommets dans G sont respectées. ... -
Conception du réseau de distribution d’une entreprise de livraison de courrier rapide
(2017-03-28)Les problèmes de conception de réseaux pour les entreprises de livraison de courrier rapide connaissent un intérêt croissant. Parmi ces réseaux, ceux appelés «hub-and-spoke», présentent plusieurs avantages en terme d’efficacité (par exemple, la réduction ...