Semantic search
- 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
- Publication Blockchain-Based Solution for Detecting and Preventing Fake Check Scams in IEEE Transactions on Engineering Management — 1 January 2021
- Publication Automation of Binary Analysis: From Open Source Collection to Threat Intelligence in Proceedings of the 28th C&ESAR — 1 January 2021
- Publication Debug Packages in OpenBSD in EuroBSDCon 2021 — 1 January 2021
- Publication A blockchain-based certificate revocation management and status verification system in Computers & Security — 1 January 2021
- 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) — 31 December 2020
- 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 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
- Publication Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms — 18 February 2020
- Minh On Vu Ngoc defends his PhD thesis "A new minimum barrier distance for multivariate images with applications to salient object detection, shortest path finding, and segmentation." at EPITA at 2 pm. — 18 February 2020
- LRDE Seminar on Performance and Genericity - Informatique Quantique — 12 February 2020
by Georges Uzbelger, IBM France
- Publication A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers — 7 February 2020
- Publication Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation in Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) — 24 January 2020
- LRDE Student Seminar : 2020 students present their work. — 20 January 2020
You can find the programme here. Seminars are free and open to anyone.
- Publication Stacked and parallel U-nets with multi-output for myocardial pathology segmentation in Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge — 1 January 2020
- Publication Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) in Label-free Biomedical Imaging and Sensing (LBIS) 2020 — 1 January 2020
- LRDE Seminar on Performance and Genericity - Learning the relationship between neighboring pixels for some vision tasks — 17 December 2019
by Yongchao Xu, Associate Professor at the School of Electronic Information and Communications, HUST, China
- Publication Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo in TUGboat — 6 November 2019
- The LRDE hosts two new members, Anissa Kheireddine and Florian Renkin, who join the Spot team for their PhD studies. — 7 October 2019
After completing the ANDROIDE Master program in Computer Science from Sorbonne University, Anissa joins the Verification team at LRDE for her PhD. Her work consists in parallelizing and optimizing Bounded Model Checking for program verification. Florian holds the Master's degree of the Parisian Master of Research in Computer Science, where he focused on automata theory and algorithmics. He joins the LRDE for his PhD to work on ω-automata and contribute to Spot.
- LRDE Seminar on Performance and Genericity - The Loci Auto-Parallelizing Framework: An Overview and Future Directions — 1 October 2019
by Edward A. Luke, Professor, Department of Computer Science and Engineering, Mississippi State University
- Publication Connected Filters on Generalized Shape-Spaces in Pattern Recognition Letters — 20 September 2019
- Publication Combining Parallel Emptiness Checks with Partial Order Reductions in Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19) — 2 August 2019
- Publication Generic Emptiness Check for Fun and Profit in Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19) — 29 July 2019
- Publication Towards more efficient parallel SAT solving — 3 July 2019
- Ludovic Le Frioux defends his PhD thesis "Towards more efficient parallel SAT solving" at EPITA at 2 pm. — 3 July 2019
- LRDE Student Seminar : 2021 students present their work. — 2 July 2019
You can find the programme here. Seminars are free and open to anyone.
- Publication Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images in Pattern Recognition — 1 July 2019
- RDI Student Seminar : 2020 students present their work. — 1 July 2019
You can find the programme here. Seminars are free and open to anyone.
- Publication One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures in Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI) — 18 June 2019
- Publication Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) — 14 June 2019
- Publication Filtres connexes multivariés par fusion d'arbres de composantes in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) — 14 June 2019
- Publication Estimating the noise level function with the tree of shapes and non-parametric statistics in Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP) — 7 June 2019
- Publication Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge in IEEE Transactions on Medical Imaging — 11 April 2019
- LRDE Seminar on Performance and Genericity - Deep Learning for Satellite Imagery: Semantic Segmentation, Non-Rigid Alignment, and Self-Denoising — 10 April 2019
by Guillaume Charpiat (Équipe TAU, INRIA Saclay / LRI - Université Paris-Sud)
- LRDE Seminar on Performance and Genericity - Deep Learning for Satellite Imagery: Semantic Segmentation, Non-Rigid Alignment, and Self-Denoising by Guillaume Charpiat (TAU team, INRIA Saclay / LRI - Université Paris-Sud) — 10 April 2019
- Publication Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge in IEEE Transactions on Medical Imaging — 10 April 2019
- Publication Implementing Baker's SUBTYPEP decision procedure in 12th European Lisp Symposium — 1 April 2019
- Publication Model checking with generalized Rabin and Fin-less automata in International Journal on Software Tools for Technology Transfer — 1 April 2019
- Publication Parallelizing Quickref in 12th European Lisp Symposium — 1 April 2019
- Publication Constructing a braid of partitions from hierarchies of partitions in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) — 13 March 2019
- Publication Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) — 13 March 2019
- Publication Introducing Multivariate Connected Openings and Closings in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) — 13 March 2019
- Publication An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) — 13 March 2019
- LRDE Seminar on Performance and Genericity - Restauration de la vision grâce aux implants rétiniens by Vincent Bismuth (GEHC) — 6 March 2019
- Adrien Pommellet, assistant professor, joins LRDE's Spot team. — 4 March 2019
Holding a PhD on pushdown model checking from Université Paris 7, his research interests gravitate naturally towards automata theory and formal verification. He will contribute to the Spot team's projects, TickTac in particular.
- The LRDE hosts a new member, Matteo Bovio, Master student intern from ESIEE Paris, who joins the Olena team. — 1 March 2019
- Publication Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) — 13 February 2019
- Publication How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way in Journal of Mathematical Imaging and Vision — 4 February 2019
- Publication High Throughput Automated Detection of Axial Malformations in Medaka Embryo in Computers in Biology and Medicine — 22 January 2019
- LRDE Student Seminar : 2019 students present their work. — 16 January 2019
You can find the programme here. Seminars are free and open to anyone.
- Publication Finite Automata Theory Based Optimization of Conditional Variable Binding in European Lisp Symposium — 14 January 2019
- Publication Motion Compensation in Digital Holography for Retinal Imaging in Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI) — 19 December 2018
- LRDE Seminar on Performance and Genericity - Toward myocardium perfusion from X-ray CT — 14 December 2018
by Clara Jaquet (ESIEE Marne-la-Vallée)
- LRDE Seminar on Performance and Genericity - Toward myocardium perfusion from X-ray CT by Clara Jaquet (ESIEE Marne-la-Vallée) — 14 December 2018
- Lê Duy Huynh defends his PhD thesis "Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos" at EPITA at 10 am. — 13 December 2018
- Publication Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. — 1 December 2018
- Publication Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach in Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI) — 26 November 2018
- Jim Newton defends his PhD thesis "Representing and Computing with Types in Dynamically Typed Languages" at EPITA at 10 am. — 20 November 2018
- Publication Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure in Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI — 5 November 2018
- Publication Representing and Computing with Types in Dynamically Typed Languages — 1 November 2018
- Publication Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning in Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI — 25 October 2018
- Publication An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming in Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018) — 25 October 2018
- Publication Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina in Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V — 25 October 2018
- Head of the lab handover — 1 October 2018
Thierry Géraud took over as Head of LRDE. Olivier Ricou stood down after 10 years of service.
- Publication Document detection in videos captured by smartphones using a saliency-based method in International Conference on Document Analysis and Recognition Workshops (ICDARW) — 20 September 2018