News

RSS feed

• 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 by Edward A. Luke (Department of Computer Science and Engineering, Mississippi State University) — 1 October 2019
• 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
• 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.
• 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 Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images in Pattern Recognition — 1 July 2019
• 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 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 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 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
• 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
• 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 Model checking with generalized Rabin and Fin-less automata in International Journal on Software Tools for Technology Transfer — 1 April 2019
• Publication Implementing Baker's SUBTYPEP decision procedure in 12th European Lisp Symposium — 1 April 2019
• Publication Parallelizing Quickref in 12th European Lisp Symposium — 1 April 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
• 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 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 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
• 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 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 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 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
• 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 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
• 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 Recognizing heterogeneous sequences by rational type expression in Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection — 14 September 2018
• Publication A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams in ACM Transactions on Computational Logic — 28 August 2018
• Project ANR SoDUCo accepted — 3 August 2018
  The selected projects will receive funding from the French state. SoDUCo stands for SOcial Dynamics in Urban COntext.
• LRDE Seminar on Performance and Genericity Y-a-t-il une théorie de la détection des anomalies dans les images digitales ? by Jean-Michel Morel, École Normale Supérieure Paris-Saclay — 4 July 2018
• Publication Weakly Well-Composed Cell Complexes over nD Pictures in Information Sciences — 4 July 2018
• LRDE Student Seminar : 2019 and 2020 students present their work. — 3 July 2018
  You can find the programme here. Seminars are free and open to anyone.
• Publication Improving Parallel State-Space Exploration Using Genetic Algorithms in Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18) — 14 June 2018

... further results