Search
Now showing items 11-20 of 284
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 ...
Estimation de cartes d'énergie de hautes fréquences ou d'irrégularité de périodicité de la marche humaine par caméra de profondeur pour la détection de pathologies
(2016-09-28)
Ce travail présente deux nouveaux systèmes simples
d'analyse de la marche humaine grâce à une caméra de profondeur
(Microsoft Kinect) placée devant un sujet marchant
sur un tapis roulant conventionnel, capables de ...
Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
(2020-12-16)
La réutilisation est une pratique courante lors du développement de logiciel.
Bien souvent, cette réutilisation se fait à travers l’utilisation des
librairies. Cette dernière met ses fonctionnalités à disposition ...
Approche probabiliste pour l’analyse de l’impact des changements dans les programmes orientés objet
(2011-11-03)
Nous proposons une approche probabiliste afin de déterminer l’impact des changements dans les programmes à objets. Cette approche sert à prédire, pour un changement donné dans une classe du système, l’ensemble des autres ...
Évaluation de politiques de séquençage d'arrivées d'avions par Simulation Monte Carlo
(2018-03-21)
Avec l’augmentation croissante du trafic aérien, la gestion des pistes aéroportuaires devient un problème crucial, tant au niveau des opérations que de la sécurité. En effet, les pistes ont une capacité limitée et il ...
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 ...
Placement automatique de sondes d’irradiance
(2017-09-27)
Nous proposons une méthode pour placer automatiquement des sondes dans une scène par minimisation d’une fonction d’erreur. Nous guidons les sondes vers les sites d’échantillonnage optimaux en appliquant la descente ...
Rendu d'images en demi-tons par diffusion d'erreur sensible à la structure
(2010-04-01)
Le présent mémoire comprend un survol des principales méthodes de rendu en demi-tons,
de l’analog screening à la recherche binaire directe en passant par l’ordered dither, avec une attention particulière pour la diffusion ...
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 ...