June 2018 - Annonce

[Seminaire-LRDE] Séminaire du LRDE le mercredi 4 juillet 2018: Jean-Michel Morel (École Normale Supérieure Paris-Saclay)
by Guillaume Tochon 27 Jun '18

27 Jun '18

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 _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

1 0

Séminaire des étudiants chercheurs : Mardi 3 juillet 2018 - Amphi 4
by Daniela Becker 22 Jun '18

22 Jun '18

Bonjour, nous avons le plaisir de vous inviter au Séminaire des étudiants du LRDE. Il aura lieu le mardi 3 juillet 2018 à partir de 10h00 en Amphi 4 (KB). Les étudiants ING1 et ING2 présenteront le résultat de leurs travaux des derniers mois. Au programme : SPOT — BIBLIOTHEQUE DE MODEL CHECKING 10h00 Recherche de chemin acceptant bi-bande dans Spot – CLÉMENT GILLARD Nous proposons un algorithme de recherche de chemin acceptant bi-bande, qui vient compléter le test de vacuité bibande présenté l’an dernier, et nous permet de l’utiliser dans des applications plus concrètes. 10h30 Création d’une bibliothèque d’antichaîne – ARTHUR REMAUD Une antichaîne est un sous-ensemble d’éléments tous deux à deux incomparables. Les antichaînes sont utilisées dans la théorie des automates comme structures de données pour stocker des ensembles d’états. De nouveaux algorithmes ont été implémentés et évalués afin d’optimiser l’insertion dans une antichaîne. 11h00 Implémentation des transitions invisibles et transparentes dans Spot – VINCENT TOURNEUR Dans le domaine de la vérification formelle, la Réduction d’Ordre Partiel (ROP) est une méthode qui permet de réduire notablement la taille des structures de données utilisées pour représenter les différentes exécutions d’un programme. Pour vérifier des formules LTL en utilisant la ROP, il faut ajouter des vérifications supplémentaires pour ne pas omettre des exécutions qui modifient les valeurs des propositions atomiques de la formule. Nous expliquons le fonctionnement de deux méthodes qui résolvent ce problème et leurs implémentations dans Spot : les méthodes des transitions invisibles et transparentes. CLIMB — TRAITEMENT D’IMAGES EN LISP 13h30 SUBTYPEP : une implémentation de l’algorithme de Baker – LEO VALAIS SUBTYPEP est un prédicat du langage Common Lisp qui indique si un type est un sous-type d’un autre. Étant donné le système de typage du langage, il n’est pas toujours possible de donner de réponse. Les implémentations de cette fonction ayant souvent tendance à ne pas répondre, même lorsque c’est possible, Baker a publié un algorithme qu’il prétend plus efficace. Nous proposons ici une implémentation partielle de son algorithme et présentons ses avantages et ses inconvénients. OLENA — TRAITEMENT D’IMAGES GÉNÉRIQUE ET PERFORMANT 14h00 Optimisation d’une bibliothèque de traitement d’images – VIRGILE HIRTZ La bibliothèque de traitement d’images Pylene n’est pas conforme aux nouveaux standards et subit des pertes de performance. Nous présentons un nouveau design résolvant ces problèmes. 14h30 Intégration d’histogrammes dans l’algorithme NL-Mean pour le débruitage d’images – ALIONA DANGLA L’objectif principal de ce projet est d’incorporer l’information liée à la distribution statistique des couleurs grâce à l’utilisation d’histogrammes dans NL-Mean. Cela permet d’effectuer toute transformation qui n’affecte pas la forme des histogrammes et ajouter des régions qui auraient pu ne pas être prises en compte dans l’algorithme originel. 15h00 Segmentation automatique du coeur – YOUNES KHOUDLI Nous proposons ici une méthode de segmentation automatique, adaptée d’une méthode développée pour la segmentation du cerveau humain. -- Daniela Becker Responsable administrative du LRDE

1 0

Le LRDE recrute son directeur
by Daniela Becker 21 Jun '18

21 Jun '18

Bonjour, Veuillez trouver ci-après une annonce de recrutement du LRDE (Laboratoire de Recherche et Développement de l'EPITA). https://www.lrde.epita.fr/wiki/Direction_du_laboratoire_%26_Direction_de_la… --------------------------------------------------------------------------------------- Direction du laboratoire & Direction de la recherche de l'EPITA Poste : Directrice ou Directeur de la recherche de l'EPITA / LRDE Prérequis : HDR dans une thématique du laboratoire Lieu : EPITA, Porte d'Italie, Kremlin-Bicêtre Date : rentrée scolaire 2018 Salaire : suivant expérience L'EPITA est une école d'ingénieur (CTI). Elle est reconnue comme une école majeure dans le domaine de l'informatique. Le classement 2018 de l'Usine Nouvelle l'a déclarée meilleure école dans les métiers du numérique et lui a attribué la 12e place au classement général des grandes écoles. Son statut d'établissement privé lui permet une grande réactivité et liberté d'action. L'activité de recherche à l'EPITA s'appuie en premier lieu sur le Laboratoire de Recherche et Développement de l'EPITA (LRDE). Créé en 1998, il comprend aujourd'hui une trentaine de membres : enseignants-chercheurs, un support administratif, des doctorants et quelques élèves de l'école sélectionnés pour travailler avec les permanents. Il dispose d'une large autonomie vis-à-vis de l'EPITA. Les thématiques du LRDE sont le traitement d'images (de la morphologie mathématique aux réseaux neuronaux) et la théorie des automates avec un accent sur le model-checking. Le LRDE est membre de l'école doctorale EDITE de Paris, et a été évalué par le Hcéres en 2018. Son rapport d'activité ainsi que ses publications sont disponibles sur son site web. D'autre part, l'EPITA encourage les enseignants non-membres du LRDE qui le souhaitent à développer une activité de recherche, afin de couvrir les différentes thématiques enseignées à l'EPITA (système, sécurité, big data, robotique...). Le LRDE a pour vocation d'accompagner, voire à terme d'héberger, ces nouvelles thématiques. Votre mission : * organiser et administrer le LRDE, en lien avec les autres enseignants-chercheurs participer à la recherche au LRDE * promouvoir la qualité de la production académique du LRDE * accompagner la carrière des enseignants-chercheurs * accompagner les enseignants non-membres du LRDE qui le souhaitent dans le développement d'une activité de recherche * participer, en lien avec la direction de l'EPITA, à l'élaboration et à la conduite de la stratégie de l'école * représenter l'EPITA à l'extérieur dans tous les aspects liés à la recherche (développement de partenariats académiques ou industriels, promotion de la recherche...) Merci d'envoyer votre CV à info(a)lrde.epita.fr. Des entretiens avec les membres du LRDE et la direction de l'EPITA seront mis en place pour les candidatures retenues. Liens : * L’EPITA : http://www.epita.fr/ * Le LRDE : http://www.lrde.epita.fr/ * Le rapport d'activité : https://www.lrde.epita.fr/dload/rapport_activite/ra2015.pdf ------------------------------------------------------------ Daniela Becker Responsable administrative - LRDE (Laboratoire de Recherche et Développement de l'Epita) Tél: +33 1 53 14 59 22 Daniela.Becker(a)lrde.epita.fr ------------------------------------------------------------

1 0

New publication: VECoS'18
by Renault Etienne 14 Jun '18

14 Jun '18

Greetings, We are pleased to announce that the following paper has been accepted in the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS'18). Please find the title and abstract below. Title and corresponding authors: "Improving Parallel State-Space Exploration Using Genetic Algorithms" Etienne Renault (1) (1) LRDE, Epita, Paris, France Abstract: The verification of temporal properties against a given system may require the exploration of its full state space. In explicit model-checking this exploration uses a Depth-First-Search (DFS) and can be achieved with multiple randomized threads to increase performance. Nonetheless the topology of the state-space and the exploration order can cap the speedup up to a certain number of threads. This paper proposes a new technique that aims to tackle this limitation by generating artificial initial states, using genetic algorithms. Threads are then launched from these states and thus explore different parts of the state space. Our prototype implementation runs 10% faster than state-of-the-art algorithms. These results demonstrate that this novel approach worth to be considered as a way to overcome existing limitations. More information at : https://www.lrde.epita.fr/wiki/Publications/renault.18.vecos <https://www.lrde.epita.fr/wiki/Publications/renault.18.vecos>

1 0

Accepted paper at SYNT 2018
by Colange Maximilien 07 Jun '18

07 Jun '18

Greetings, We are pleased to announce that the following article has been accepted for publication in the 7th Workshop on Synthesis (SYNT@CAV 2018), to be held in Oxford on July, 18th 2018. "Reactive Synthesis from LTL Specification with Spot" Thibaud Michaud (LRDE -- EPITA) Maximilien Colange (LRDE -- EPITA) Abstract: We present ltlsynt, a new tool for reactive synthesis from LTL specifications. It relies on the efficiency of Spot to translate the input LTL specification to a deterministic parity automaton. The latter yields a parity game, which we solve with Zielonka's recursive algorithm. The approach taken in ltlsynt was widely believed to be impractical, due to the double-exponential size of the parity game, and to the open status of the complexity of parity games resolution. ltlsynt ranked second of its track in the 2017 edition of the SYNTCOMP competition. This demonstrates the practical applicability of the parity game approach, when backed by efficient manipulations of omega-automata such as the ones provided by Spot. We present our approach and report on our experimental evaluation of ltlsynt to better understand its strengths and weaknesses. -- Maximilien Colange Assistant Professor LRDE -- EPITA (+33) 1 53 14 59 45

1 0

[Seminaire-LRDE] Séminaire du LRDE le mercredi 13 juin 2018: Camille Kurtz (LIPADE, Université Paris Descartes)
by Guillaume Tochon 05 Jun '18

05 Jun '18

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 13 juin 2018 (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/2018-06-13 [4] http://www.lrde.epita.fr/wiki/Contact Au programme du Mercredi 13 juin 2018 : * 11h--12h: Hierarchical image representations: construction, evaluation and examples of use for image analysis -- Camille Kurtz (LIPADE, Université Paris Descartes) www.math-info.univ-paris5.fr/~ckurtz/ Hierarchical image representations have become increasingly popular in image processing and computer vision over the past decades. Indeed, they allow a modeling of image contents at different (and complementary) levels of scales, resolutions and semantics. Methods based on such image representations have been able to tackle various complex challenges such as multi-scale image segmentation, image filtering, object detection, recognition, and more recently image characterization and understanding. In this talk, we will focus on the binary partition tree (BPT), which is a well-known hierarchical data-structure, frequently involved in the design of image segmentation strategies. In a first part, we will focus on the construction of such trees by providing a generalization of the BPT construction framework to allow one to embed multiple features, which enables handling many metrics and/or many images. In a second part, we will discuss how it may be possible to evaluate the quality of such a structure and its ability to reconstruct regions of the image corresponding to segments of reference given by a user. Finally, we will see some examples of image analysis and recognition processes involving these hierarchical structures. The main thematic application is remote sensing and satellite image analysis. -- Camille Kurtz obtained the MSc and PhD from Université de Strasbourg, France, in 2009 and 2012. He was a post-doctoral fellow at Stanford University, CA, USA, between 2012 and 2013. He is now an Associate Professor at Université Paris Descartes, France. His scientific interests include image analysis, data mining, medical imaging and remote sensing. 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 _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

1 0