Search
Now showing items 1-10 of 16
Sequential Machine learning Approaches for Portfolio Management
(2010-02-04)
Cette thèse envisage un ensemble de méthodes permettant aux algorithmes d'apprentissage statistique de mieux traiter la nature séquentielle des problèmes de gestion de portefeuilles financiers.
Nous débutons par une ...
Algorithmes pour la réconciliation d’un arbre de gènes avec un arbre d’espèces
(2010-06-03)
Une réconciliation entre un arbre de gènes et un arbre d’espèces décrit une histoire
d’évolution des gènes homologues en termes de duplications et pertes de gènes. Pour
inférer une réconciliation pour un arbre de gènes ...
Gestion adaptative des ressources dans les réseaux maillés sans fil à multiples-radios multiples-canaux
(2010-12-02)
Depuis quelques années, la recherche dans le domaine des réseaux maillés sans fil ("Wireless Mesh Network (WMN)" en anglais) suscite un grand intérêt auprès de la communauté des chercheurs en télécommunications. Ceci est ...
Développement logiciel par transformation de modèles
(2010-03-04)
La recherche en génie logiciel a depuis longtemps tenté de mieux comprendre le processus de développement logiciel, minimalement, pour en reproduire les bonnes pratiques, et idéalement, pour pouvoir le mécaniser. On peut ...
The decoupling approach to quantum information theory
(2010-03-04)
La théorie de l'information quantique étudie les limites fondamentales qu'imposent les lois de la physique sur les tâches de traitement de données comme la compression et la transmission de données sur un canal bruité. ...
Patterns and quality of object-oriented software systems
(2010-12-02)
Lors de ces dix dernières années, le coût de la maintenance des systèmes orientés objets s'est accru jusqu' à compter pour plus de 70% du coût total des systèmes. Cette situation est due à plusieurs facteurs, parmi lesquels ...
Processus cérébraux adaptés aux systèmes tutoriels intelligents
(2010-04-01)
Le module de l'apprenant est l'une des composantes les plus importantes d’un
Système Tutoriel Intelligent (STI). L'extension du modèle de l'apprenant n'a pas cessé de
progresser. Malgré la définition d’un profil cognitif ...
A Type-Preserving Compiler from System F to Typed Assembly Language
(2010-01-07)
L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de ...
Modèle informatique du coapprentissage des ganglions de la base et du cortex : l'apprentissage par renforcement et le développement de représentations
(2010-05-05)
Tout au long de la vie, le cerveau développe des représentations de son environnement permettant à l’individu d’en tirer meilleur profit. Comment ces représentations se développent-elles pendant la quête de récompenses ...
Preuves interactives quantiques
(2010-02-04)
Cette thèse est consacrée à la complexité basée sur le paradigme des preuves interactives.
Les classes ainsi définies ont toutes en commun qu’un ou plusieurs prouveurs,
infiniment puissants, tentent de convaincre un ...