Bonjour à toutes et à tous,
Au vu des circonstances, nous sommes dans l’obligation de reporter le séminaire de Stefan Schwoon à plus tard.
Je vous présente toutes mes excuses pour la gène occasionnée.
Bien cordialement,
Nicolas Boutry
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 18 mars 2020 (11h -- 12h), Amphi Masters.
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/2020-03-18
[4] http://www.lrde.epita.fr/wiki/Contact
Au programme du Mercredi 18 mars 2020 :
* 11h -- 12h: Diagnosis and Opacity in Partially Observable Systems
-- Stefan Schwoon, ENS Paris-Saclay
http://www.lsv.fr/~schwoon/
In a partially observable system, diagnosis is the task of detecting the
certain events, for instance fault occurrences. In the presence of
hostile observers, on the other hand, one is interested in rendering a
system opaque, i.e. making it impossible to detect certain "secret"
events. The talk will present some decidability and complexity results
for these two problems when the system is represented as a finite
automaton or a Petri net. We then also consider the problem of active
diagnosis, where the observer has some control over the system. In this
context, we study problems such as the computational complexity of the
synthesis problem, the memory required for the controller, and the delay
between a fault occurrence and its detection by the diagnoser. The talk
is based on joint work with B.Bérard, S.Haar, S.Haddad, T.Melliti, and
S.Schmitz.
-- Stefan Schwoon studied Computer Science at the University of Hildesheim
and received a PhD from the Technical University of Munich in 2002. He
held the position of Scientific Assistent at the University of Stuttgart
from 2002 to 2007, and at the Technical University in Munich from 2007
to 2009. He is currently Associate Professor (Maître de conférences) in
the Laboratoire Spécification et Vérification (LSV), ENS Paris-Saclay,
and a member of the INRIA team Mexico. His research interests include
model checking and diagnosis on concurrent and partially-observable
systems.
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.
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.lrde.epita.fr/pipermail/seminaire/attachments/20200308/89850cb…>
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 18 mars 2020 (11h -- 12h), Amphi Masters.
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/2020-03-18
[4] http://www.lrde.epita.fr/wiki/Contact
Au programme du Mercredi 18 mars 2020 :
* 11h -- 12h: Diagnosis and Opacity in Partially Observable Systems
-- Stefan Schwoon, ENS Paris-Saclay
http://www.lsv.fr/~schwoon/
In a partially observable system, diagnosis is the task of detecting the
certain events, for instance fault occurrences. In the presence of
hostile observers, on the other hand, one is interested in rendering a
system opaque, i.e. making it impossible to detect certain "secret"
events. The talk will present some decidability and complexity results
for these two problems when the system is represented as a finite
automaton or a Petri net. We then also consider the problem of active
diagnosis, where the observer has some control over the system. In this
context, we study problems such as the computational complexity of the
synthesis problem, the memory required for the controller, and the delay
between a fault occurrence and its detection by the diagnoser. The talk
is based on joint work with B.Bérard, S.Haar, S.Haddad, T.Melliti, and
S.Schmitz.
-- Stefan Schwoon studied Computer Science at the University of Hildesheim
and received a PhD from the Technical University of Munich in 2002. He
held the position of Scientific Assistent at the University of Stuttgart
from 2002 to 2007, and at the Technical University in Munich from 2007
to 2009. He is currently Associate Professor (Maître de conférences) in
the Laboratoire Spécification et Vérification (LSV), ENS Paris-Saclay,
and a member of the INRIA team Mexico. His research interests include
model checking and diagnosis on concurrent and partially-observable
systems.
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.
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 12 février 2020 (10h -- 11h30), Amphi 1.
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/2020-02-12
[4] http://www.lrde.epita.fr/wiki/Contact
Au programme du Mercredi 12 février 2020 :
* 10h -- 11h30: Informatique Quantique
-- Georges Uzbelger, IBM France
http://www.ibm.com/cognitive/
Dans ce séminaire, nous parlerons d'une technologie émergente qu'est
l'informatique quantique, exploitant les phénomènes quantiques de
l'infiniment petit. Nous verrons que, quand dans le monde de
l'informatique classique, les données sont représentées par des bits
valant chacun 0 ou 1 exclusivement, alors que l'informatique quantique
est déroutante dans le sens où les qubits (bits quantiques) peuvent
valoir simultanément 0 et 1. Afin de pouvoir appréhender cette
technologie, nous rappellerons ce que sont la dualité onde/corpuscule,
la superposition d'états, ainsi que intrication quantique. Nous verrons
aussi comment IBM a créé le premier processeur quantique (ou QPU)
quelques dizaines d'années après l'idée révolutionnaire du père de
l'informatique quantique, Richard Feynman, et quels sont les défis
technologiques qui en découlent. Nous verrons que l’informatique
quantique offre de nouvelles perspectives dans les domaines comme la
cryptographie et l'intelligence artificielle pour ne citer qu'eux. Une
étude des complexités des différents algorithmes vus durant le séminaire
sera évoqué.
Durant cette plénière interactive, une démonstration sera réalisée via
l’environnement de développement Qiskit avec accès à distance à une
machine quantique IBM. Merci donc d'apporter votre ordinateur portable !
-- Diplômé de l’Université Paris IX Dauphine en Mathématiques et
Applications Fondamentales, Georges Uzbelger est depuis 2002 ingénieur
chez IBM France, en charge actuellement de prestations de consulting et
de design de solutions dans le domaine de l’IA, de l’advance analytics
et de l’informatique quantique. Il participe au programme IBM Quantum
Experience pour le développement de l’informatique quantique et
notamment du calcul et de l’algorithmique quantique. Adhérent à la SMF
(Société Mathématique de France) entre autre, il enseigne également à
l’Ecole Polytechnique, à Sorbonne Université (UPMC) et à l’Université
Paris-Dauphine.
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.
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
Mardi 17 décembre 2019 (10h -- 11h), IP12A.
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 <http://seminaire.lrde.epita.fr/>
[2] http://seminaire.lrde.epita.fr/Archives <http://seminaire.lrde.epita.fr/Archives>
[3] http://seminaire.lrde.epita.fr/2019-12-17 <http://seminaire.lrde.epita.fr/2019-12-17>
[4] http://www.lrde.epita.fr/wiki/Contact <http://www.lrde.epita.fr/wiki/Contact>
Au programme du Mardi 17 décembre 2019 :
* 10h -- 11h: Learning the relationship between neighboring pixels for some vision tasks
-- Yongchao Xu, Associate Professor at the School of Electronic Information and Communications, HUST, China
http://www.vlrlab.net/~yxu/ <http://www.vlrlab.net/~yxu/>
The relationship between neighboring pixels plays an important role in
many vision applications. A typical example of a relationship between
neighboring pixels is the intensity order, which gives rise to some
morphological tree-based image representations (e.g., Min/Max tree and
tree of shapes). These trees have been shown useful for many
applications, ranging from image filtering to object detection and
segmentation. Yet, these intensity order based trees do not always
perform well for analyzing complex natural images. The success of deep
learning in many vision tasks motivates us to resort to convolutional
neural networks (CNNs) for learning such a relationship instead of
relying on the simple intensity order. As a starting point, we propose
the flux or direction field representation that encodes the relationship
between neighboring pixels. We then leverage CNNs to learn such a
representation and develop some customized post-processings for several
vision tasks, such as symmetry detection, scene text detection, generic
image segmentation, and crowd counting by localization. This talk is
based on [1] and [2], as well as extension of those previous works that
are currently under review.
[1] Xu, Y., Wang, Y., Zhou, W., Wang, Y., Yang, Z. and Bai, X., 2019.
Textfield: Learning a deep direction field for irregular scene text
detection. IEEE Transactions on Image Processing. [2] Wang, Y., Xu, Y.,
Tsogkas, S., Bai, X., Dickinson, S. and Siddiqi, K., 2019. DeepFlux for
Skeletons in the Wild. In Proceedings of the IEEE Conference on Computer
Vision and Pattern Recognition.
-- Yongchao Xu received in 2010 both the engineer degree in electronics &
embedded systems at Polytech Paris Sud and the master degree in signal
processing & image processing at Université Paris Sud, and the Ph.D.
degree in image processing and mathematical morphology at Université
Paris Est in 2013. After completing his Ph.D. study at LRDE, EPITA,
ESIEE Paris, and LIGM, He worked at LRDE as an assistant professor
(Maître de Conférences). He is currently an Associate Professor at the
School of Electronic Information and Communications, HUST. His research
interests include mathematical morphology, image segmentation, medical
image analysis, and deep learning.
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.
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.lrde.epita.fr/pipermail/seminaire/attachments/20191211/c06b5da…>
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
Mardi 1 octobre 2019 (11h -- 12h), Amphi 4.
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/2019-10-01
[4] http://www.lrde.epita.fr/wiki/Contact
Au programme du Mardi 1 octobre 2019 :
* 11h -- 12h: The Loci Auto-Parallelizing Framework: An Overview and Future
Directions
-- Edward A. Luke, Professor, Department of Computer Science and Engineering,
Mississippi State University
http://web.cse.msstate.edu/~luke/loci/index.html
The Loci Auto-Parallelizing framework provides a Domain Specific
Language (DSL) for the creation of high performance numerical models.
The framework uses a logic-relation model to describe irregular
computations, provide guarantees of internal logical consistency, and
provides for automatic parallel execution. The framework has been used
to develop a number of advance computational models used in production
engineering processes. Currently Loci based tools form the backbone of
computational fluid dynamics tools used by NASA Marshall and Loci based
codes account for more than 20% of the computational workload on NASA’s
Pleiades supercomputer. This talk will provide an overview of the
framework, discuss its general approach, and provide comparisons to
other programming models through a mini-app benchmark. In addition,
future plans for developing efficient schedules of fine-grained parallel
and memory bandwidth constrained computations will be discussed.
Finally, some examples of the range of engineering simulations enabled
by the technology will be introduced and briefly discussed.
-- Dr. Ed Luke is a professor of computer science in the computer science
department of Mississippi State University. He received his Ph.D. in the
field of Computational Engineering in 1999 and conducts research at the
intersection between applied math, computer science. His research
focuses on creating systems to automatically parallelize numerical
algorithms, particularly those used to solve systems of partial
differential equations. Currently Dr. Luke is participating in active
collaborations with INRIA in Paris conducting research in the areas of
solver parallelization and mesh generation.
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.
--
Edwin Carlinet
Laboratoire R&D de l'EPITA (LRDE)
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 10 avril 2019 (11h -- 12h), Amphi 4.
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/2019-04-10
[4] http://www.lrde.epita.fr/wiki/Contact
Au programme du Mercredi 10 avril 2019 :
* 11h -- 12h: Deep Learning for Satellite Imagery: Semantic Segmentation,
Non-Rigid Alignment, and Self-Denoising
-- Guillaume Charpiat (TAU-team, INRIA Saclay / LRI - Université Paris-Sud)
https://www.lri.fr/~gcharpia/
Neural networks have been producing impressive results in computer
vision these last years, in image classification or segmentation in
particular. To be transferred to remote sensing, this tool needs
adaptation to its specifics: large images, many small objects per image,
keeping high-resolution output, unreliable ground truth (usually
mis-registered). We will review the work done in our group for remote
sensing semantic segmentation, explaining the evolution of our neural
net architecture design to face these challenges, and finally training a
network to register binary cadaster maps to RGB images while detecting
new buildings if any, in a multi-scale approach. We will show in
particular that it is possible to train on noisy datasets, and to make
predictions at an accuracy much better than the variance of the original
noise. To explain this phenomenon, we build theoretical tools to express
input similarity from the neural network point of view, and use them to
quantify data redundancy and associated expected denoising effects. If
time permits, we might also present work on hurricane track forecast
from reanalysis data (2-3D coverage of the Earth's surface with
temperature/pressure/etc. fields) using deep learning.
-- After a PhD thesis at ENS on shape statistics for image segmentation,
and a year in Bernhard Schölkopf's team at MPI Tübingen on kernel
methods for medical imaging, Guillaume Charpiat joined INRIA
Sophia-Antipolis to work on computer vision, and later INRIA Saclay to
work on machine learning. Lately, he has been focusing on deep learning,
with in particular remote sensing imagery as an application field.
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.
--
Edwin Carlinet
Laboratoire R&D de l'EPITA (LRDE)
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 6 mars 2019 (11h -- 12h), Amphi 401.
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/2019-03-06
[4] http://www.lrde.epita.fr/wiki/Contact
Au programme du Mercredi 6 mars 2019 :
* 11h -- 12h:
Restauration de la vision grâce aux implants rétiniens
-- Vincent Bismuth (GEHC)
Rendre la vue à ceux qui l’ont perdue a longtemps été considéré comme un
sujet réservé à la science-fiction. Cependant, sur les vingt dernières
années les efforts intensifiés dans le domaine des prothèses visuelles
ont abouti à des avancées significatives, et plusieurs centaines de
patients dans le monde ont reçu de tels dispositifs. Ce séminaire
présentera brièvement le domaine des prothèses rétiniennes avec une
focalisation particulière sur les aspects de traitement d’image. Nous
exposerons les principales approches, les limitations connues et les
résultats.
-- Vincent Bismuth mène une carrière dans le domaine du traitement
d’images pour les dispositifs médicaux. Il a contribué pendant plus de
dix ans aux développement d’algorithmes de traitement d’images et de
vidéos pour les procédures chirurgicales interventionnelles chez GE
Healthcare. Il s’est ensuite consacré pendant quatre ans à la conception
de systèmes de restauration visuelle pour les malvoyants dans start-up
Pixium Vision. Fin 2018, il a rejoint la division mammographie de GE
Healthcare où il mène des développements en traitement d’images.
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.
--
Edwin Carlinet
Laboratoire R&D de l'EPITA (LRDE)
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
Vendredi 14 décembre 2018 (11h--12h), Amphi IP12A.
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/2018-12-14
[4] http://www.lrde.epita.fr/wiki/Contact
Au programme du Vendredi 14 décembre 2018 :
* 11h--12h: Toward myocardium perfusion from X-ray CT
-- Clara Jaquet (ESIEE Marne-la-Vallée)
Recent advances in medical image computing have resulted in automated
systems that closely assist physicians in patient therapy. Computational
and personalized patient models benefit diagnosis, prognosis and
treatment planning, with a decreased risk for the patient, as well as
potentially lower cost. HeartFlow Inc. is a successful example of a
company providing such a service in the cardiovascular context. Based on
patient-specific vascular model extracted from X-ray CT images, they
identify functionally significant disease in large coronary arteries.
Their combined anatomical and functional analysis is nonetheless limited
by the image resolution. At the downstream scale, a functional exam
called Myocardium Perfusion Imaging (MPI) highlights myocardium regions
with blood flow deficit. However, MPI does not functionally relate
perfusion to the upstream coronary disease. The goal of our project is
to build the functional bridge between coronary and myocardium. To this
aim we propose an anatomical and functional extrapolation. We produce an
innovative vascular network generation method extending the coronary
model down to the microvasculature. In the resulting vascular model, we
compute a functional analysis pipeline to simulate flow from large
coronaries to the myocardium, and to enable comparison with MPI
ground-truth data.
-- After completing a technological university degree in biology at
Creteil, Clara Jaquet obtained the diploma of biomedical engineer from
ISBS (Bio-Sciences Institute) in 2015. She worked for one year at
HeartFlow Inc, California, before starting a PhD at ESIEE, Université
Paris-Est, within the LIGM laboratory, on a research project jointly
with the same company.
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.
--
Edwin Carlinet
Laboratoire R&D de l'EPITA (LRDE)
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 4 juillet 2018 (11h--12h), Amphi IP11.
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/2018-07-04
[4] http://www.lrde.epita.fr/wiki/Contact
Au programme du Mercredi 4 juillet 2018 :
* 11h--12h: Y a-t-il une théorie de la détection des anomalies dans les
images digitales?
-- Jean-Michel Morel (École Normale Supérieure Paris-Saclay)
https://sites.google.com/site/jeanmichelmorelcmlaenscachan/
Dans ce travail en collaboration avec Axel Davy, Mauricio Delbracio
et
Thibaud Ehret, je passerai en revue les classes d'algorithmes dont le
but est de détecter des anomalies dans les images digitales. Ces
détecteurs répondent au difficile problème de trouver automatiquement
des exceptions dans des images de fond, qui peuvent être aussi
diverses
qu'un tissu ou une mammographie. Des méthodes de détection ont été
proposées par milliers car chaque problème nécessite un modèle de
fond
différent. En analysant les approches existantes, nous montrerons que
le
problème peut être réduit à la détection d'anomalies dans les images
résiduelles (extraites de l'image cible) dans lesquelles prédominent
le
bruit et les anomalies. Ainsi, le problème général et impossible de
la
modélisation d'un fond arbitraire est remplacé par celui de modèliser
un
bruit. Or un modèle de bruit permet le calcul de seuils de détection
rigoureux. L'approche au problème peut donc être non supervisée et
fonctionner sur des images arbitraires. Nous illustrerons l'usage de
la
théorie de détection dite a contrario, qui évite la sur-détection en
fixant des seuils de détection prenant en compte la multiplicité des
tests.
-- Mathématicien de formation, docteur de l'Université Pierre et
Marie
Curie, Assistant à Marseille-Luminy, maître de conférences et
professeur
à l'Université Paris-Dauphine puis à l'ENS Cachan, JMM a fait ses
premiers travaux sur les équations aux dérivées partielles
non-linéaires
et les méthodes variationnelles. Il s'est ensuite consacré au
développement d'outils mathématiques pour le traitement et l'analyse
d'images et la modélisation de la perception visuelle.
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