Chers collègues,
La prochaine session du séminaire Performance et Généricité du LRDE
(Laboratoire de Recherche et Développement de l'EPITA) aura lieu le
Mercredi 22 février 2017 (11h--12h), Salle L0 du LRDE.
Vous trouverez sur le site du séminaire [1] les prochaines séances,
les résumés, captations vidéos et planches des exposés précédents [2],
le détail de cette séance [3] ainsi que le plan d'accès [4].
[1] http://seminaire.lrde.epita.fr
[2] http://seminaire.lrde.epita.fr/Archives
[3] http://seminaire.lrde.epita.fr/2017-02-22
[4] http://www.lrde.epita.fr/Contact
Au programme du Mercredi 22 février 2017 :
* 11h--12h: Extraction de biomarqueurs des troubles autistiques à partir
de l'activité cérébrale (IRMf) par apprentissage de dictionnaire
parcimonieux.
-- Alexandre Abraham, INRIA
http://nilearn.github.io/
L'Imagerie par Résonance Magnétique fonctionnelle (IRMf) est une
source
prometteuse de biomarqueurs permettant le diagnostic de troubles
neuropsychiatriques sur des sujets non coopératifs. L'IRMf s'étudie
en
établissant un atlas de régions cérébrales représentatif de
l'organisation fonctionnelle, puis en étudiant la corrélation entre
leurs signaux. Pour les extraire, nous proposons une approche
d'apprentissage de dictionnaire multi-sujets intégrant une pénalité
imposant compacité spatiale et parcimonie. Nous sélectionnons les
unités
de base des réseaux fonctionnels extraits à l'aide de techniques de
segmentation inspirées du domaine de la vision. Nous montons à
l'échelle
sur de gros jeux de données en utilisant une stratégie d'optimisation
stochastique. A défaut de vérité terrain, nous proposons d'évaluer
les
modèles générés à l'aide de métriques de stabilité et de fidélité.
Nous
intégrons ensuite notre méthode de définition de régions dans un
pipeline entièrement automatisé, afin de réaliser une tâche de
diagnostic des troubles autistiques à travers différents sites
d'acquisition et sur des sous-ensembles d'homogénéité variable. Nous
montrons que nos modèles ont une meilleure performance, à la fois
relativement aux métriques d'évaluation mais également sur nos
résultats
expérimentaux. Enfin, par une analyse post-hoc des résultats, nous
montrons que la définition de région est l'étape la plus importante
du
pipeline et que l'approche que nous proposons obtient les meilleurs
résultats. Nous fournissons également des recommandations sur les
méthodes les plus performantes pour les autres étapes du pipeline.
-- Alexandre Abraham est un ancien de la promo CSI 2009. Il a
notamment
travaillé sur le watershed topologique et les espaces couleur pour le
projet Olena. Après l'EPITA, il a suivi un master IAD à l'UPMC et a
réalisé sa thèse à l'INRIA sur la segmentation de signaux
fonctionnels
cérébraux au repos sur de grandes cohortes à des fins de diagnostic.
Il
travaille aujourd'hui dans l'équipe de recommandation de produits
chez
Criteo.
L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette
information le plus largement possible. N'hésitez pas à nous faire
parvenir vos suggestions d'orateurs.
--
Guillaume TOCHON
Maître de conférences // Assistant Professor
LRDE, EPITA
18, rue Pasteur
94270 Le Kremlin-Bicêtre
Chers collègues,
Un séminaire spécial sur la thématique des automates aura lieu le
Mercredi 8 février 2017 (13h30--15h00), Salle L0 du LRDE (Laboratoire
de Recherche et Développement de l'EPITA).
Vous trouverez sur le site du séminaire [1] les prochaines séances,
les résumés, captations vidéos et planches des exposés précédents [2],
le détail de cette séance [3] ainsi que le plan d'accès [4].
[1] http://seminaire.lrde.epita.fr
[2] http://seminaire.lrde.epita.fr/Archives
[3] http://seminaire.lrde.epita.fr/2017-02-08
[4] http://www.lrde.epita.fr/Contact
Au programme du Mercredi 8 février 2017 :
* 13h30 -- 14h30: Vcsn : une visite guidée
-- Akim Demaille, LRDE
http://vcsn.lrde.epita.fr
Vcsn est une plateforme consacrée aux automates et aux expressions
rationnelles. Parce qu'elle traite une large variété de natures
d'automates, elle place en son coeur le concept de "contexte", qui
type
les automates, les expressions rationnelles, etc. La plateforme
repose
sur une bibliothèque C++14 "templatée" par des contextes, au dessus
de
laquelle la couche "dyn" qui, grâce à de l'effacement de type et de
la
compilation à la volée, offre à l'utilisateur le confort d'une
bibliothèque traditionnelle avec la généricité et les performances
d'une
bibliothèque templatée. Ces bibliothèques sont ensuite exposées au
travers d'outils en ligne de commande, mais aussi Python et surtout
IPython, qui permettent une exploration interactive simple
d'algorithmes. La bibliothèque Vcsn repose sur un ensemble d'objets
---
automates, étiquettes, poids, polynômes, expressions rationnelles et
développements rationnels --- sur lesquels sont fournis plus de trois
cents algorithmes. Dans certains cas, Vcsn offre des fonctionalités
inégalées, et certains de ces algorithmes ont des performances
supérieures à celles des projets comparables.
Nous ferons une présentation de l'architecture générale de Vcsn, sous
la
forme d'une démonstration guidée par les questions, ainsi qu'un
exposé
des objectifs de Vcsn 3.0.
-- Akim Demaille est enseignant-chercheur à l'EPITA depuis
pratiquement la
création du LRDE. Il y a enseigné la logique, la théorie des
langages,
la construction des compilateurs, la modélisation orientée-objet et
la
programmation en C++. Depuis 2013, il investit son temps de recherche
dans la plateforme Vcsn. Il a également contribué à divers logiciels
libres, tels GNU Autoconf, GNU Automake, GNU Bison et même GNU a2ps,
à
un temps où ASCII et PostScript n'étaient pas l'un et l'autre
obsolètes.
* 14h30 -- 15h: Un outil en ligne de manipulation d'automates et de
semi-groupes
-- Charles Paperman, Université Paris Diderot
paperman.cadilhac.name/pairs
Je présenterai un outil en ligne dont l'objectif est de manipuler
et
tester des propriétés algébriques pour des automates. Une courte
présentation de la théorie algébrique des automates sera donnée à la
volée. Les seuls concepts nécessaires à la compréhension de l'exposé
sont les expressions régulières, ainsi que la minimisation et la
déterminisation d'automates finis.
-- Charles Paperman a fini son doctorat en 2013 sous la direction de
Jean-Éric Pin et Olivier Carton, au LIAFA, et travaille désormais au
laboratoire de Logique Mathématique de l'Université Paris Diderot
avec
Arnaud Durand. Ses sujets d'étude s'articulent autour de la logique,
la
théorie des automates, et la complexité des circuits, avec une
approche
algébrique.
L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette
information le plus largement possible. N'hésitez pas à nous faire
parvenir vos suggestions d'orateurs.
--
Guillaume TOCHON
Maître de conférences // Assistant Professor
LRDE, EPITA
18, rue Pasteur
94270 Le Kremlin-Bicêtre