Search
Now showing items 1-10 of 83
On the fly type specialization without type analysis
(2016-04-20)
Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de ...
Gestionnaire de vie privée : un cadre pour la protection de la vie privée dans les interactions entre apprenants
(2016-05-25)
L’évolution continue des besoins d’apprentissage vers plus d’efficacité et plus de personnalisation a favorisé l’émergence de nouveaux outils et dimensions dont l’objectif est de rendre l’apprentissage accessible à tout ...
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 ...
Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique
(2012-08-03)
Un système, décrit avec un grand nombre d'éléments fortement interdépendants, est complexe, difficile à comprendre et à maintenir. Ainsi, une application orientée objet est souvent complexe, car elle contient des centaines ...
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 ...
Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
(2012-05-03)
Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de ...
Méthodes d’analyse de mouvement en vision 3D : invariance aux délais temporels entre des caméras non synchronisées et flux optique par isocontours
(2017-03-28)
Cette thèse porte sur deux sujets de vision par ordinateur axés sur l’analyse de mouvement dans une scène dynamique vue par une ou plusieurs caméras. En premier lieu, nous avons travaillé sur le problème de la capture de ...
Inferring API Usage Patterns and Constraints : a Holistic Approach
(2017-03-28)
Les systèmes logiciels dépendent de plus en plus des librairies et des frameworks logiciels. Les programmeurs réutilisent les fonctionnalités offertes par ces librairies à travers une interface de programmation (API). Par ...
Évolution des génomes par mutations locales et globales : une approche d’alignement
(2017-03-28)
Durant leur évolution, les génomes accumulent des mutations pouvant affecter d’un nucléotide à plusieurs gènes. Les modifications au niveau du nombre et de l’organisation des gènes dans les génomes sont dues à des mutations ...
Narrative generation by associative network extraction from real-life temporal data
(2017-03-28)
Les données portant sur des événements abondent dans notre société technologique. Une façon intéressante de présenter des données temporelles réelles pour faciliter leur interprétation est un récit généré automatiquement. ...