Semantic search
- Publication Towards better Heuristics for solving Bounded Model Checking Problems in Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP) — 31 August 2021
- Publication VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images in Medical Image Analysis — 22 July 2021
- LRDE researcher Guillaume Tochon participates in LEMONADE project selected by ANR for a JCJC 2021 grant — 5 July 2021
The LEMONADE project (LEarning and MOdeliNg spectrAl Dynamics of satellite image time sEries) has been selected by the French National Research Agency as a research project coordinated by young researchers (JCJC). The project’s principal investigator is Lucas Drumetz (IMT-Atlantique, Lab-STICC), with Mauro Dalla Mura (Grenoble-INP, GIPSA-Lab) and Guillaume Tochon from LRDE as partners. The project will start in October 2021. The goal of this project is to learn and model, with deep neural network approaches, the spectral dynamics of satellite image time series.
- Publication Go2Pins: A Framework for the LTL Verification of Go Programs in Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21) — 8 June 2021
- Publication Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction in Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) — 17 May 2021
- Publication ICDAR 2021 Competition on Historical Map Segmentation in Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) — 17 May 2021
- Publication Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation in Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) — 17 May 2021
- LRDE Seminar on Performance and Genericity - An Introduction to Topological Data Analysis with the Topology ToolKit — 12 May 2021
by Julien Tierny, Sorbonne Université
- Publication Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks in Proceedings of the 29th European Signal Processing Conference (EUSIPCO) — 4 May 2021
- Publication A Corpus Processing and Analysis Pipeline for Quickref in Proceedings of the 14th European Lisp Symposium (ELS) — 1 May 2021
- Publication A Portable, Simple, Embeddable Type System in Proceedings of the 14th European Lisp Symposium (ELS) — 26 April 2021
- LRDE Seminar on Performance and Genericity - Contributions to Boolean satisfiability solving and its application to the analysis of discrete systems — 31 March 2021
by Souheib Baarir, Université Paris VI
- Seminar on « Mathematical morphology, AI and astrometry » held at EPITA — 5 March 2021
E. Puybareau and G. Tochon from LRDE invite the Pegase team from IMCCE to present the respective themes of the two communities (image processing and AI for the former, astronomy for the latter) and to discuss their possible interactions.
- Publication Stability of the Tree of Shapes to Additive Noise in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) — 2 March 2021
- Publication A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) — 2 March 2021
- Publication An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) — 2 March 2021
- Publication Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy in Medical Image Analysis — 24 February 2021
- Publication On Some Associations Between Mathematical Morphology and Artificial Intelligence in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) — 16 February 2021
- Publication Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) — 16 February 2021
- Publication Going beyond p-convolutions to learn grayscale morphological operators in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) — 16 February 2021
- LRDE Seminar on Performance and Genericity - Generating Posets Beyond N — 10 February 2021
by Uli Fahrenberg, Ecole Polytechnique
- LRDE Seminar on Performance and Genericity - Diagnosis and Opacity in Partially Observable Systems — 16 December 2020
by Stefan Schwoon, ENS Paris-Saclay
- The LRDE hosts a new member, Baptiste Esteban, who joins the Olena team for his PhD studies. — 16 November 2020
After completing EPITA's IMAGE and RDI double major, Baptiste is back at LRDE for his PhD. Having worked on noise estimation in natural images with mathematical morphology approaches, he will now focus on how to conciliate genericity and performance of image processing algorithms in dynamic contexts, especially noise estimation as a validation framework.
- Publication A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging in Medical Image Analysis — 10 November 2020
- Publication PAIP 2019: Liver Cancer Segmentation Challenge in Medical Image Analysis — 10 November 2020
- Publication Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation in Proceedings of the 25th International Conference on Pattern Recognition (ICPR) — 2 November 2020
- Publication FOANet: A Focus of Attention Network with Application to Myocardium Segmentation in Proceedings of the 25th International Conference on Pattern Recognition (ICPR) — 2 November 2020
- The LRDE is happy to welcome a new member, Caroline Mazini-Rodrigues, who joins the Olena team for her PhD studies. — 21 October 2020
Holding a Master degree in Computer Science from Universidade Estadual de Campinas, Caroline joins LRDE’s Image team where she will focus on Explainability of Convolutional Neural Networks. Her PhD will be conducted in cooperation with Laboratoire d’Informatique Gaspard-Monge.
- Publication Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival in International MICCAI Brainlesion Workshop — 3 September 2020
- Publication Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids in Journal of Mathematical Imaging and Vision — 3 September 2020
- Publication Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids in Journal of Mathematical Imaging and Vision — 3 September 2020
- Publication A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers in Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20) — 1 September 2020
- Publication On the Usefulness of Clause Strengthening in Parallel SAT Solving in Proceedings of the 12th NASA Formal Methods Symposium (NFM'20) — 1 August 2020
- Publication Euler Well-Composedness in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 — 21 July 2020
- Publication A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 — 21 July 2020
- Publication Non-iterative methods for image improvement in digital holography of the retina — 17 July 2020
- Julie Rivet defends her PhD thesis "Non-iterative methods for image improvement in digital holography of the retina" at EPITA at 2 pm. — 17 July 2020
- Didier Verna defends his Habilitation thesis at EPITA at 2 pm. — 10 July 2020
- Publication (Dynamic (Programming Paradigms)) ;; Performance and Expressivity — 10 July 2020
- Publication Practical “Paritizing” of Emerson–Lei Automata in Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20) — 7 July 2020
- Publication Improving swarming using genetic algorithms in Innovations in Systems and Software Engineering: a NASA journal (ISSE) — 2 June 2020
- Publication A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation in Computer Vision and Image Understanding — 2 June 2020
- EPITA presents a webinar with Microsoft at Explor'IA on Artificial Intelligence and Medical Image Analysis. — 2 June 2020
In this webinar, Nicolas Boutry from LRDE presents how to segment with Convolutional Neural Networks (CNN's) white and grey matters in multi-modal MRI 3D brain images of 6-months year old children. His demonstration is based on a dataset from the iSeg2017 challenge.
- Publication Community and LBD-based Clause Sharing Policy for Parallel SAT Solving in Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20) — 1 June 2020
- Publication Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures in Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019 — 1 June 2020
- Publication LTL Model Checking for Communicating Concurrent Programs in Innovations in Systems and Software Engineering: a NASA journal (ISSE) — 15 May 2020
- Publication Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization in Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20) — 14 May 2020
- The 13th European Lisp Symposium, steered by Didier Verna, held online this year. — 28 April 2020
Due to the current pandemic, the conference European Lisp Symposium couldn't be held in Zurich, as originally planned. The event was thus prerecorded and broadcast on Twitch, free and open-access to everyone, resulting in an unprecedented number of virtual attendees. All the videos remain available here.
- Winning LRDE team at 2nd EndoCV2020 Challenge and Workshop, held online in conjunction with ISBI. — 3 April 2020
Lê Duy Huynh and Nicolas Boutry have won the first prize of the Endoscopy Artefact Detection and Segmentation Challenge (EAD2020) against 31 other participating teams. This challenge was organized during the 17th International Symposium on Biomedical Imaging (ISBI).
- LRDE Seminar on Performance and Genericity - Diagnosis and Opacity in Partially Observable Systems — 18 March 2020
by Stefan Schwoon, ENS Paris-Saclay