Semantic search
- Uli Fahrenberg defends his Habilitation thesis at Université Paris Saclay at 9 am. — 10 May 2022
- Publication Données, Transparence et Démocratie — 1 May 2022
- Publication Effective Reductions of Mealy Machines in Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22) — 26 April 2022
- Publication LTL under reductions with weaker conditions than stutter invariance in Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22) — 18 April 2022
- Publication Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics in Proceedings of the 26th International Conference on Pattern Recognition — 8 April 2022
- Publication A Benchmark of Named Entity Recognition Approaches in Historical Documents in Proceedings of the 15th IAPR International Workshop on Document Analysis System — 7 April 2022
- Publication Learning Grayscale Mathematical Morphology with Smooth Morphological Layers in Journal of Mathematical Imaging and Vision — 4 April 2022
- Publication Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN in Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022 — 24 March 2022
- Publication Local Intensity Order Transformation for Robust Curvilinear Object Segmentation in IEEE Transactions on Image Processing — 22 March 2022
- Publication Electricity Price Forecasting on the Day-Ahead Market using Machine Learning in Applied Energy — 10 March 2022
- Publication Max-Tree Computation on GPUs in IEEE Transactions on Parallel and Distributed Systems — 9 March 2022
- Publication ETAP: Experimental Typesetting Algorithms Platform in 15th European Lisp Symposium — 1 March 2022
- Publication GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux in Assises de Génétique Humaine et Médicale — 1 February 2022
- Publication Practical Applications of the Alternating Cycle Decomposition in Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22) — 1 February 2022
- Publication Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents in Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022 — 24 January 2022
- Publication Hate Speech and Toxic Comment Detection using Transformers in Workshop EGC 2022 DL for NLP — 12 January 2022
- Publication QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results in Journal of Machine Learning for Biomedical Imaging (MELBA) — 9 January 2022
- Publication Automatically Guided Selection of a Set of Underwater Calibration Images in Journal of Marine Science and Engineering (JMSE) [MDPI] — 1 January 2022
- Publication How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education in Education and Information Technologies (EIT) [Springer Nature] — 1 January 2022
- Publication Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks in Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities — 1 January 2022
- Publication Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey in IEEE Access — 1 January 2022
- Publication New Security Protocols for Offline Point-of-Sale Machines in 36th International Conference on Advanced Information Networking and Applications (AINA) — 1 January 2022
- Publication How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions in Remote Sensing — 1 January 2022
- LRDE is happy to welcome a new member, Marc Plantevit — 1 January 2022
Marc Plantevit holds a PhD in Computer Science from Montpellier University and a HDR from Lyon University. Before joining EPITA Lyon and LRDE, he was an associate professor at University Claude Bernard Lyon 1 and head of the Data Mining & Machine Learning research group at LIRIS lab. His research is mainly concerned with foundation of data mining, graph mining, subgroup discovery and explainable artificial intelligence. He is also interested in the application of machine learning in wide applications such as Neuroscience (olfaction), Electricity price forecasting, recommender systems, etc.
- Publication Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) — 31 December 2021
- Publication Residual 3D U-Net with Localization for Brain Tumor Segmentation in International MICCAI Brainlesion Workshop — 31 December 2021
- Publication AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation in SoftwareX — 17 December 2021
- Publication Introducing the Boundary-Aware Loss for Deep Image Segmentation in Proceedings of the 32nd British Machine Vision Conference (BMVC) — 28 November 2021
- Publication Strong Euler Wellcomposedness in Journal of Combinatorial Optimization — 23 November 2021
- Publication Continuous Well-Composedness implies Digital Well-Composedness in n-D in Journal of Mathematical Imaging and Vision — 9 November 2021
- Another PhD student at LRDE, Thibault Buatois, who joins the Olena team. — 2 November 2021
Holding EPITA's degree with IMAGE and RDI double major, Thibault comes back to LRDE for a PhD in medical imaging. He will continue to work on medical image segmentation, using lightweight neural networks and medical knowledge as well as adding explainability to the segmentation process.
- The LRDE hosts a new PhD student, Antoine Martin, who joins the Spot team. — 18 October 2021
After completing EPITA's IMAGE and RDI double major, Antoine is back at LRDE for his PhD. Having worked on parallel algorithms for automata and model checking, then on a model checker for Go programs, he will now focus on efficient translation of industrial temporal logics to ω-automata.
- LRDE Seminar on Performance and Genericity - Scaling Optimal Transport for High Dimensional Learning — 6 October 2021
by Gabriel Peyré, CNRS and Ecole Normale Supérieure
- Publication Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks in Complex Network 2021 — 1 October 2021
- Publication VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation in Upper-Rhine Artificial Intelligence Symposium — 1 October 2021
- Publication A Secure Blockchain-Based Architecture for the COVID-19 Data Network in 2021 5th Cyber Security in Networking Conference (CSNet) — 1 October 2021
- LRDE’s Spot team is happy to welcome another member, Sven Dziadek, for a one-year postdoc. — 2 September 2021
Sven recently completed his PhD at Leipzig University where he considered weighted ω-automata. Weighted automata are used to describe quantitative properties of systems. At LRDE, Sven will investigate quantitative model checking and contribute to Spot.
- LRDE's Spot team hosts a new member, Uli Fahrenberg — 1 September 2021
Ulrich (Uli) Fahrenberg holds a PhD in algebraic topology from Aalborg University, Denmark. After a postdoc at Inria Rennes, followed by a position at École polytechnique, he starts now as associate professor at EPITA Rennes and will work together with LRDE’s Spot team on automata theory, concurrency theory, real-time verification, and general quantitative verification.
- 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'21) — 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
- Publication An Innovative and Decentralized Identity Framework Based on Blockchain Technology in 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS) — 1 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
- 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
- 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? — 4 July 2018
by Jean-Michel Morel (École Normale Supérieure Paris-Saclay)
- Publication Weakly Well-Composed Cell Complexes over nD Pictures in Information Sciences — 4 July 2018
- 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
- 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
- LRDE Seminar on Performance and Genericity - Hierarchical image representations: construction, evaluation and examples of use for image analysis — 13 June 2018
by Camille Kurtz (LIPADE, Université Paris Descartes)
- LRDE Seminar on Performance and Genericity Hierarchical image representations: construction, evaluation and examples of use for image analysis by Camille Kurtz, LIPADE, Université Paris Descartes — 13 June 2018
- Publication Reactive Synthesis from LTL Specification with Spot in Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018 — 7 June 2018
- Publication A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers in 25th IEEE Symposium on Computer Arithmetic — 1 June 2018
- Seminar MeFoSyLoMa at LRDE. — 18 May 2018
Invited speakers : Étienne Renault - LRDE-EPITA, "The quest for an efficient LTL model-checking", and Mathias Ramparison - LIPN, Université Paris 13, "Timed automata with parametric updates"
- Joseph Chazalon becomes assistant professor in LRDE's Olena team. — 14 May 2018
After having started last year to work at the lab as a postdoc from Laboratoire Image, Informatique et Interaction (L3i) of Université de La Rochelle, Joseph joins now the lab as assistant professor specialized in computer vision. He will continue to work on the projects of the Olena team.
- Publication Real-Time Document Detection in Smartphone Videos in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) — 10 May 2018
- Publication The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) — 10 May 2018
- Publication Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage in Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France” — 4 May 2018
- Publication Un algorithme de complexité linéaire pour le calcul de l'arbre des formes in Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP) — 4 May 2018
- Publication Parallel Model Checking Algorithms for Linear-Time Temporal Logic in Handbook of Parallel Constraint Reasoning — 10 April 2018
- Publication Approaches in Typecase Optimization in European Lisp Symposium — 5 April 2018
- Publication Parallel Computation of Component Trees on Distributed Memory Machines in IEEE Transactions on Parallel and Distributed Systems — 2 April 2018
- Vcsn 2.7 released. — 29 March 2018
This version is mostly a bug fix release, with improvements in the documentation, based on user feedback.
- Publication Method Combinators in 11th European Lisp Symposium — 25 March 2018
- Publication The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities in Medical Image Analysis — 22 March 2018
- The LRDE hosts a new member, Alexis Di Lisi, Master student intern from Sciences Sorbonne Université, who joins the Spot team. — 8 March 2018
- Publication White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning in Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries— 3rd International WorkshopBrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 2017, Revised Selected Papers — 6 February 2018
- Publication Lisp, Jazz, Aikido in The Art, Science and Engineering of Programming Journal — 5 February 2018
- Publication A first step toward a fair comparison of evaluation protocols for text detection algorithms in Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS) — 2 February 2018
- Publication Saliency-Based Detection of Identity Documents Captured by Smartphones in Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS) — 2 February 2018
- CSI Seminar : CSI 2018 students present their work. — 24 January 2018
You can find the programme here. Seminars are free and open to anyone.
- Spot 2.5 was released — 20 January 2018
The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm.
- Publication CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving in Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18) — 5 January 2018
- Publication Derived-Term Automata of Multitape Expressions with Composition in Scientific Annals of Computer Science — 29 December 2017
- LRDE Seminar on Performance and Genericity - Vers l'apprentissage d'un sens commun visuel — 13 December 2017
by Camille Couprie, Facebook AI research
- LRDE Seminar on Performance and Genericity - Industrial Formal Verification – Cadence’s JasperGold Formal Verification Platform — 29 November 2017
by Barbara Jobstmann, Cadence Design Systems
- Vcsn 2.6 released. — 13 November 2017
This version includes improvements in the build system, better performances, and extended consistency for a better, smoother, user experience.
- LRDE Seminar on Performance and Genericity - Lire les lignes du cerveau humain, LRDE Seminar on Performance and Genericity - Apprentissage automatique en neuroimagerie: application aux maladies cérébrales — 8 November 2017
by Edouard Duchesnay, NeuroSpin, CEA, Paris-Saclay, by Jean-François Mangin, NeuroSpin, CEA, Paris-Saclay
- Publication Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis in Comprehensive Remote Sensing, 1st Edition — 8 November 2017
- LRDE Seminar on Performance and Genericity - Lire les lignes du cerveau humain by Jean-François Mangin, NeuroSpin, and - Apprentissage automatique en neuroimagerie: application aux maladies cérébrales by Edouard Duchesnay, NeuroSpin, CEA, Paris-Saclay . — 8 November 2017
- Edwin Carlinet, assistant-professor, is back to the Olena team. — 2 November 2017
After his PhD thesis defense at LRDE in 2015, Edwin has been working for two years as an Imaging Science Engineer at DxO. Now he joins LRDE's image team to maintain and develop the image processing library Olena. He will also be involved in several projects, such as the detection of fibrosis in 3D images of the heart using deep learning methods.
- Publication Extraction of Ancient Map Contents Using Trees of Connected Components in Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC) — 20 October 2017
- Publication A Tutorial on Well-Composedness in Journal of Mathematical Imaging and Vision — 12 October 2017
- The LRDE hosts a new member, Michaël Roynard, who joins the Olena team for his PhD studies. — 3 October 2017
After his engineering degree from EISTI, Michaël has worked as a software developer at the Informatics development Laboratory (LDI) at CEA/LIST, then at Murex, before joining the image team of LRDE for his PhD. He studies the possibilities that the modern C++ offers to improve Olena, especially concerning its generic aspect.
- LRDE Seminar on Performance and Genericity - Frama-C, une plateforme collaborative et extensible pour l'analyse de code C — 27 September 2017
by Julien Signoles, CEA LIST, Laboratoire de Sûreté des Logiciels (LSL)
- LRDE Seminar on Performance and Genericity - Frama-C, une plateforme collaborative et extensible pour l'analyse de code C by Julien Signoles, CEA LIST, Laboratoire de Sûreté des Logiciels (LSL). — 27 September 2017
- Spot 2.4 was released — 6 September 2017
More tools, and more support for complex acceptance conditions.
- The LRDE hosts a new member, Julie Rivet, who joins the Olena team for her PhD studies. — 31 August 2017
Holding an engineering degree from Grenoble INP - Ense3 in the field of signal and image processing, Julie joins the image team of LRDE. She is working on real-time hyperspectral retinal holography on GPU with the Langevin Institute and the Quinze-Vingts National Ophthalmology Hospital.
- Publication SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode in Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis (ICDAR-OST) — 21 July 2017
- Publication Derived-Term Automata of Weighted Rational Expressions with Quotient Operators in Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) — 5 July 2017
- Publication Benchmarking Keypoint Filtering Approaches for Document Image Matching in Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR) — 4 July 2017
- CSI Seminar : CSI 2018 and ING1 2019 students present their work. — 4 July 2017
You can find the programme here.Seminars are free and open to anyone.
- Publication The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results in Proceedings Sixth Workshop on Synthesis — 1 July 2017
- Publication PaInleSS: a Framework for Parallel SAT Solving in Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17) — 30 June 2017
- Publication of the lab's bulletin L'air de rien 38 — 30 June 2017
- Publication Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness in Multimedia Tools and Applications — 29 June 2017
- Publication Caractérisation des zones de mouvement périodiques pour applications bio-médicales in Actes du 26e Colloque GRETSI — 28 June 2017
- Publication Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage in Actes du 26e Colloque GRETSI — 20 June 2017
- LRDE Seminar on Performance and Genericity - MAQAO: une suite d'outils pour l'analyse et l’optimisation des performances — 14 June 2017
by Andrés S. Charif Rubial (ESN PeXL et Li-PARAD - Université de Versailles)
- LRDE Seminar on Performance and Genericity - MAQAO: une suite d'outils pour l'analyse et l’optimisation des performances by Andrés S. Charif Rubial, ESN PeXL et Li-PARAD - Université de Versailles. — 14 June 2017
- Olivier Ricou invited to panel discussion at PyParis 2017 Conference at Pôle Universitaire Léonard de Vinci, Paris La Défense, France. — 13 June 2017
He will talk about his experience of making a MOOC on Python.
- Publication From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning in Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP) — 12 June 2017
- Publication Parallel Learning Portfolio-Based Solvers in Proceedings of the International Conference on Computational Science (ICCS) — 1 June 2017
- Publication Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n in Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI) — 1 June 2017
- Publication Explicit State Model Checking with Generalized Büchi and Rabin Automata in Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17) — 22 May 2017
- LRDE Seminar on Performance and Genericity - Apprentissage par Imitation Auto-Supervisée — 3 May 2017
by Pierre Sermanet, Google Brain
- LRDE Seminar on Performance and Genericity - Apprentissage par Imitation Auto-Supervisée by Pierre Sermanet, Google Brain. — 3 May 2017
- Publication Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking in IEEE Transactions on Geoscience and Remote Sensing — 20 April 2017
- Publication Seminator: A Tool for Semi-Determinization of Omega-Automata in Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'17) — 3 April 2017
- Publication of the lab's bulletin L'air de rien 37 — 21 March 2017
- Publication La pseudo-distance du dahu in Actes d'ORASIS — 21 March 2017
- LRDE Seminar on Performance and Genericity - Calcul parallèle pour problèmes inverses by Nicolas Gac, Université Paris Sud, L2S (Centrale Supélec, CNRS). — 8 March 2017
- Publication Parallel Satisfiability Solver Based on Hybrid Partitioning Method in Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) — 1 March 2017
- Publication Morphological Analysis of Brownian Motion for Physical Measurements in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) — 23 February 2017
- Publication Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) — 23 February 2017
- Publication Introducing the Dahu Pseudo-Distance in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) — 23 February 2017
- LRDE Seminar on Performance and Genericity - Extraction de biomarqueurs des troubles autistiques à partir de l'activité cérébrale (IRMf) par apprentissage de dictionnaire parcimonieux. — 22 February 2017
by Alexandre Abraham, INRIA
- Publication Periodic Area-of-Motion characterization for Bio-Medical applications in Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI) — 20 February 2017
- Alexandre Duret-Lutz defends his Habilitation thesis "Contributions to LTL and ω-automata for Model Checking" at EPITA at 2:15pm. — 10 February 2017
- LRDE Seminar on Performance and Genericity - Un outil en ligne de manipulation d'automates et de semi-groupes, LRDE Seminar on Performance and Genericity - Vcsn : une visite guidée — 8 February 2017
by Akim Demaille, LRDE, by Charles Paperman, Université Paris Diderot
- LRDE Seminar on Automata - Vcsn : une visite guidée by Akim Demaille, LRDE, et Un outil en ligne de manipulation d'automates et de semi-groupes by Charles Paperman, Université Paris Diderot — 8 February 2017
- Publication Programmatic Manipulation of Common Lisp Type Specifiers in European Lisp Symposium — 6 February 2017
- Publication Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set — 2 February 2017
- Publication Contributions to LTL and ω-Automata for Model Checking — 1 February 2017
- CSI Seminar : CSI 2017 students present their work. — 31 January 2017
You can find the programme here.Seminars are free and open to anyone.
- Vcsn 2.5 released — 28 January 2017
k-lightest release!The Vcsners are proud to announce the release of Vcsn 2.5, aka the - Spot 2.3 was released — 19 January 2017
- This new release features some exciting news such as: faster emptiness checks for automata that are not explored on-the-fly, several improvements to the SAT-based minimization procedure, preliminary support for alternating automata, membership tests for all classes of the Manna and Pnueli hierarchy of temporal properties.
- LRDE Seminar on Performance and Genericity - Analyse topologique de données pour la visualisation scientifique: où en est-on et où va-t-on? — 18 January 2017
by Julien Tierny - CNRS - LIP6 - UPMC
- The LRDE hosts a new member, Joseph Chazalon, Research Fellow. — 17 January 2017
La Rochelle, has joined the lab for several months and will work on the MOBIDEM project.Joseph Chazalon, postdoc from Laboratoire Image, Informatique et Interaction (L3i) at Université de - The LRDE hosts a new member, Elodie Puybareau, research engineer, who joins the Olena team. — 1 January 2017
- Holding an engineering degree in medical imaging and a PhD in computer science from LIGM, ESIEE, Elodie has worked mainly on automatic extraction of physiological parameters from videos.
- Nicolas Boutry defends his PhD thesis "A study of well-composedness in n-D" at ESIEE at 2pm. — 14 December 2016
- Publication The MIT Lincoln Laboratory 2016 Speaker Recognition System in NIST Speaker Recognition Evaluation 2016 — 12 December 2016
- LRDE Seminar on Performance and Genericity - Des données spatio-temporelles aux dynamiques urbaines — 7 December 2016
by Julien Perret, équipe COGIT, LaSTIG, IGN
- LRDE Seminar on Performance and Genericity - Des données spatio-temporelles aux
dynamiques urbaines by Julien Perret, équipe COGIT, LaSTIG, IGN. — 7 December 2016
- Publication A Study of Well-Composedness in n-D — 1 December 2016
- LRDE Seminar on Performance and Genericity - Analyse du mouvement avec applications bio-médicales — 23 November 2016
by Elodie Puybareau, LIGM
- LRDE Seminar on Performance and Genericity - Analyse du mouvement avec applications bio-médicales by Elodie Puybareau, LIGM. — 23 November 2016
- Publication Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity in Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA) — 22 November 2016
- Publication Monads in Common Lisp — 18 November 2016
- Publication Finding Maximal Common Joins in a DAG — 17 November 2016
- Vcsn 2.4 released — 16 November 2016
The Vcsn team is proud to announce the release of Vcsn 2.4, code-named "the
quotient tools"!
This version features some noteworthy changes. - Spot 2.2 released — 14 November 2016
- Spot 2.2 fixes some serious bugs and adds an assortments of small
- The LRDE hosts a new member, Minh On Vu Ngoc, who joins the Olena team for his PhD studies. — 3 October 2016
- Publication From text detection to text segmentation: a unified evaluation scheme in Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV) — 1 October 2016
- LRDE Seminar on Performance and Genericity - Transformation de la prospection commerciale grâce à la science des données — 28 September 2016
by Samuel Charron
- The LRDE hosts a new member, Maximilien Colange, assistant-professor who joins the Spot team. — 1 September 2016
Holding a Ph.D. from University Paris VI his research focuses on formal verification of concurrent systems. He is particularly interested in real-time constrained systems, and in infinite words automata.
- The LRDE hosts a new member, Guillaume Tochon, assistant-professor who joins the Olena team. — 1 September 2016
Holding a M.Sc degree from Grenoble Institute of Technology and a Ph.D degree in signal and image processing from University Grenoble Alpes, his research interests lie at the intersection of mathematical morphology, optimization and multimodal data processing for remote sensing applications.
- Publication Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images in Proceedings of the 23st International Conference on Pattern Recognition (ICPR) — 13 July 2016
- The LRDE Progress Report 2015 (in French) is available now. — 7 July 2016
- Publication Derived-term Automata for Extended Weighted Rational Expressions in Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) — 6 July 2016
- CSI Seminar : CSI 2017 and ING1 2018 students students present their work. — 1 July 2016
You can find the programme here.Seminars are free and open to anyone.
- Publication of the lab's bulletin L'air de rien 36 — 29 June 2016
- Olivier Ricou invited to ERDF Conference at ESTER Technopole in Limoges. — 22 June 2016
He will talk about Big Data, the electric meter called Linky and its risks regarding privacy impact.
- Publication Spot 2.0 — a framework for LTL and ω-automata manipulation in Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) — 17 June 2016
- Publication Heuristics for Checking Liveness Properties with Partial Order Reductions in Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) — 17 June 2016
- Publication Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection in Pattern Recognition Letters — 20 May 2016
- Publication A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI in Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society — 20 May 2016
- LRDE Seminar on Performance and Genericity - A taste of Julia by Didier Verna, LRDE. — 18 May 2016
- Publication Derived-Term Automata of Multitape Rational Expressions in Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16) — 26 April 2016
- Project FUI MOBIDEM accepted — 22 April 2016
The 60 selected projects will receive funding from the French state. MOBIDEM (MOBile IDEntity for the Masses) is supported by the competitiveness cluster Systematic.
- Publication Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes in Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS) — 12 April 2016
- Spot 2.0 released — 11 April 2016
Spot is a C++ library for model checking and manipulation
of temporal logic formula and omega-automata. It also comes with command-line tools and Python bindings. Spot 2.0 is the result of 28 months of work, as we starting working on
this branch after the release of Spot 1.2.1 (Dec 2013). - Publication Hierarchical Segmentation Using Tree-Based Shape Spaces in IEEE Transactions on Pattern Analysis and Machine Intelligence — 11 April 2016
- Publication TextCatcher: A method to detect curved and challenging text in natural scenes in International Journal on Document Analysis and Recognition — 8 April 2016
- Next Seminar MeFoSyLoMa at LRDE. — 8 April 2016
Invited speakers: Alexandre Duret-Lutz (LRDE/EPITA) on "Spot 2.0" and Maximilien Colange (ENS de Cachan) on "TiAMo, the Timed Automata Model-checker"
- The LRDE hosts a new member, Clément Bonnefoy, Master student intern from UPMC, who joins the Climb team. — 4 April 2016
- Publication Type-Checking of Heterogeneous Sequences in Common Lisp in European Lisp Symposium — 25 March 2016
- LRDE Seminar on Performance and Genericity - Boost.SIMD - Maximisez votre CPU directement depuis C++ — 23 March 2016
by Joël Falcou, Université Paris Sud, NumScale
- LRDE Seminar on Performance and Genericity - Boost.SIMD - Maximisez votre CPU directement depuis C++ by Joël Falcou, Université Paris Sud, NumScale — 23 March 2016
- LRDE Seminar on Performance and Genericity - Analyse hiérarchique d'images multimodales — 16 March 2016
by Guillaume Tochon - Grenoble-INP & GIPSA-lab
- LRDE Seminar on Performance and Genericity - Analyse hiérarchique d'images multimodales by Guillaume Tochon, Grenoble-INP & GIPSA-lab — 16 March 2016
- Publication Efficient Dynamic Type Checking of Heterogeneous Sequences — 22 February 2016
- Vcsn 2.2 released — 19 February 2016
Vcsn is a platform for weighted automata and rational expressions.
It consists of an efficient C++ generic library, shell tools, Python bindings, and a graphical interactive environment on top of IPython.
This version features some noteworthy changes. - LRDE Seminar on Performance and Genericity - Computing with (nearly) unlimited resources — 17 February 2016
- by Stephan Hadinger, Head of Solutions Architecture, AWS
- LRDE Seminar on Performance and Genericity - Computing with (nearly) unlimited resources by Stephan Hadinger, Head of Solutions Architecture, AWS — 17 February 2016
- Publication What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions in Image and Vision Computing — 1 February 2016
- Publication Towards the rectification of highly distorted texts in Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP) — 1 February 2016
- LRDE Seminar on Performance and Genericity - Une introduction à la preuve formelle de sécurité — 27 January 2016
by Pierre-Yves Strub - IMDEA Software Institute - Espagne
- LRDE Seminar on Performance and Genericity - Une introduction à la preuve formelle de sécurité by Pierre-Yves Strub - IMDEA Software Institute - Espagne — 27 January 2016
- CSI Seminar : CSI 2016 students students present their work on Wednesday 20 January 2016. — 20 January 2016
You can find the programme here.Seminars are free and open to anyone.
- Ana Stefania Calarasanu defends her PhD thesis "Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms" at EPITA at 1:30 pm. — 11 December 2015
- Publication of the lab's bulletin L'air de rien 35 — 5 December 2015
- Publication Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms — 1 December 2015
- Edwin Carlinet defends his PhD thesis "A Tree of Shapes for Multivariate Images" at ESIEE at 2pm. — 27 November 2015
- Publication A Tree of Shapes for Multivariate Images — 1 November 2015
- Publication Variations on Parallel Explicit Model Checking for Generalized Büchi Automata in International Journal on Software Tools for Technology Transfer (STTT) — 26 October 2015
- Publication MToS: A Tree of Shapes for Multivariate Images in IEEE Transactions on Image Processing — 26 October 2015
- LRDE Seminar on Performance and Genericity - Intégrales de Morton pour la Simplification Géométrique Haute Vitesse — 14 October 2015
by Tamy Boubekeur, Telecom ParisTech - CNRS - University Paris-Saclay
- LRDE Seminar on Performance and Genericity - Intégrales de Morton pour la Simplification Géométrique Haute Vitesse by Tamy Boubekeur, Telecom ParisTech - CNRS - University Paris-Saclay — 14 October 2015
- Vcsn 2.1 released — 11 October 2015
Vcsn is a platform for weighted automata and rational expressions.
It consists of an efficient C++ generic library, shell tools, Python
bindings, and a graphical interactive environment on top of IPython. - The LRDE hosts a new member, Ludovic Le Frioux, who joins the Spot team for his PhD studies in collaboration with the MOVE team at LIP6. — 1 October 2015
- Publication of the lab's bulletin L'air de rien 34 — 10 September 2015
- Alexandre Duret-Lutz invited to Faculty of Informatics, Masaryk University, Czech Republic, for a 10-day visit. — 6 September 2015
Etienne Renault will join him there for a week. Both will work during that time with Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU.
- Publication SAT-based Minimization of Deterministic ω-Automata in Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15) — 1 September 2015
- Former LRDE PhD-student Ala Eddine Ben Salem becomes Assistant Professor (Maître de Conférence) at Université Clermont-Ferrand I. — 1 September 2015
Ala Eddine joins the LIMOS team. The LRDE members wish him all the best and a good start!
- Publication Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection in Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR) — 1 August 2015
- CSI Seminar : CSI 2016 students and ING1 2017 students present their work on Monday 6 July 2015. — 6 July 2015
You can find the programme here.Seminars are free and open to anyone.
- Publication of the lab's bulletin L'air de rien 33 — 2 July 2015
- Publication Morphological Object Picking Based on the Color Tree of Shapes in Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15) — 29 June 2015
- Publication Une approche morphologique de segmentation interactive avec l'arbre des formes couleur in Actes du 15e Colloque GRETSI — 16 June 2015
- Publication Practical Stutter-Invariance Checks for ω-Regular Languages in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) — 15 June 2015
- Publication On Refinement of Büchi Automata for Explicit Model Checking in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) — 15 June 2015
- Two researchers from the Faculty of Informatics, Masaryk University, Czech Republic, on a one week visit at the LRDE. — 9 June 2015
Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU work with LRDE's Spot-team.
- Publication Connected Filtering on Tree-Based Shape-Spaces in IEEE Transactions on Pattern Analysis and Machine Intelligence — 5 June 2015
- Agreement EPITA - Indian Institute of Technology Jodhpur (IITJ) — 2 June 2015
Within the framework of the cooperation between EPITA and IITJ one B-Tech-student and one postgraduate B-Tech-student from IITJ work with LRDE's Olena-team from mid-May to mid-August 2015.
- The LRDE hosts a new member, Jim Newton, Research Engineer, who joins the Climb team. — 2 June 2015
- Next Seminar MeFoSyLoMa at LRDE. — 22 May 2015
Invited speakers: Ekkart Kindler - Denmark Technical University, on "Coordinating Interactions: The Event Coordination Notation", and Ryszard Janicki - McMaster University, on "Modeling Concurrency With Interval Traces".
- Publication Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15) — 19 May 2015
- Publication Extending Testing Automata to All LTL in Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15) — 19 May 2015
- Publication How to Make nD Images Well-Composed Without Interpolation in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 14 May 2015
- LRDE Seminar on Performance and Genericity - Programmation web haute performance avec C++14 — 13 May 2015
ENSTA ParisTechby Matthieu Garrigues, Laboratoire d'informatique et d'ingénierie des systèmes, - Alexandre Duret-Lutz invited to TU Dresden, Germany. — 5 May 2015
- He will speak on From PSL to Transition-based Generalized Büchi Automata at the Research Seminar QuantLA.
- Publication The Hanoi Omega-Automata Format in Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15) — 27 April 2015
- Alexandre Duret-Lutz invited to Faculty of Informatics, Masaryk University, Czech Republic, for a one week visit at the LRDE. — 9 April 2015
He will speak on 'Stutter-Invariance Checks & Testing Automata' at the Working Seminar on Formal Models, Discrete Structures, and Algorithms.
- Publication Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
- Publication Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
- Publication A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
- Publication How to Make nD Functions Digitally Well-Composed in a Self-Dual Way in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
- The LRDE hosts a new member, Lê Duy Huynh, Master student intern from Telecom Bretagne, who joins the Olena team. — 16 March 2015
- Publication TextTrail: A Robust Text Tracking Algorithm In Wild Environments in Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) — 1 March 2015
- Publication A Self-Adaptive Likelihood Function for Tracking with Particle Filter in Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) — 1 March 2015
- Publication Single-pass Testing Automata for LTL Model Checking in Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15) — 1 March 2015
- LRDE Seminar on Performance and Genericity - Faveod, meta-modèle au service de la qualité logicielle — 18 February 2015
by Yann Azoury, Faveod
- LRDE Seminar on Performance and Genericity - Faveod, meta-modèle au service de la qualité logicielle by Yann Azoury, Faveod — 18 February 2015
- The LRDE hosts a new member, Krista Drushku, Master student intern from UPMC, who joins the Climb team. — 16 February 2015
- CSI Seminar : CSI 2015 students present their work on Wednesday 28 January 2015. — 28 January 2015
You can find the programme here. Seminars are free and open to anyone.
- The LRDE has been once again accepted with the Spot project to PHC BARRANDE 2015, a bilateral program between France and Czech Republic supporting the mobility of researchers. — 27 January 2015
This program will promote for the second year exchanges between the LRDE and the Faculty of Informatics of Masaryk University, Brno.
- Publication Parallel Explicit Model Checking for Generalized Büchi Automata in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15) — 13 January 2015
- The LRDE hosts a new member, Alexandre Landi, Research Engineer, who joins the Climb team. — 12 January 2015
- Publication Context-Oriented Image Processing in Context-Oriented Programming Workshop — 1 January 2015
- Myriam Robert-Seidowsky, has participated in the event "Filles et Maths : une équation lumineuse" at EPITA in October 2014. The video is now on-line — 19 December 2014
She and other professionals have presented their work and role as female scientists to female high school students.
- LRDE Seminar on Performance and Genericity - D’un MOOC à l'autre — 17 December 2014
by Christian Queinnec, UPMC, LIP6
- LRDE Seminar on Performance and Genericity - D’un MOOC à l'autre by Christian Queinnec, UPMC, LIP6 — 17 December 2014
- LRDE Seminar on Performance and Genericity - Une nouvelle approche pour la gestion de la mémoire avec CUDA — 10 December 2014
by Raphaël Boissel, EPITA, CSI
- LRDE Seminar on Performance and Genericity - Une nouvelle approche pour la gestion de la mémoire avec CUDA by Raphaël Boissel, EPITA, CSI — 10 December 2014
- Publication Contribution aux tests de vacuité pour le model checking explicite — 5 December 2014
- Etienne Renault defends his PhD thesis "Contributions to emptiness checks for explicit model checking" at Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC at 2pm. — 5 December 2014
- LRDE Seminar on Performance and Genericity - Generic Tools, Specific Languages by Markus Voelter, independent/itemis — 19 November 2014
- Yongchao Xu starts his post-doc in collaboration with Telecom ParisTech. — 15 October 2014
His collaboration includes a team from Bicêtre Hospital. He will work on "Segmentation of white matter hyperintensities in MR images of the newborn and the premature brain".
- Publication Tree-Based Morse Regions: A Topological Approach to Local Feature Detection in IEEE Transactions on Image Processing — 3 October 2014
- Publication Improving the Model Checking of Stutter-Invariant LTL Properties — 25 September 2014
- Ala Eddine Ben Salem defends his PhD thesis "Improving the Model Checking of Stutter-Invariant LTL Properties" at Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC at 2pm. — 25 September 2014
- Publication of the lab's bulletin L'air de rien 32 — 12 September 2014
- Publication Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking in Proceedings of the IEEE International Ultrasonics Symposium (IUS) — 10 September 2014
- Publication Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient in Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP) — 10 September 2014
- The LRDE hosts a new member, Souheib Baarir, Research Fellow. — 1 September 2014
Souheib Baarir, assistant-professor from University Paris-Nanterre, has joined the lab for a year and will work on the Spot project.
- Vaucanson 2.0 released — 25 July 2014
- Olena 2.1 released — 8 July 2014
Here is a list of major changes since Olena 2.0:
- New and improved algorithms (binarization, skeletonization, layout analysis) and I/O routines (PDF, VTK).
- Minimal support for FFTW 3 (Fast Fourier Transform).
- The Scribo distribution now contains a Doxygen documentation.
- Support for modern toolchains and especially recent C++ compilers (GCC 4.8, Clang 3.5).
- CSI Seminar : CSI 2015 students and ING1 2016 students present their work on Thursday 10 July 2014. — 4 July 2014
- You can find the programme here.Seminars are free and open to anyone.
- Publication of the lab's bulletin L'air de rien 31 — 4 July 2014
- Publication Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur in Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA) — 1 July 2014
- Olivier Ricou speaks at the conference "Informatique et MOOC" organized by Société Informatique de France on EPITA's experience with MOOC. — 24 June 2014
- Akim Demaille invited to a colloquium at University of Amsterdam to give a talk on the Tiger project within the theme "project-based curricula". — 17 June 2014
- Publication A Comparative Review of Component Tree Computation Algorithms in IEEE Transactions on Image Processing — 16 June 2014
- Publication GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification in Odyssey 2014, The Speaker and Language Recognition Workshop — 16 June 2014
- Publication Is There a Best Büchi Automaton for Explicit Model Checking? in Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14) — 16 June 2014
- LRDE Seminar on Performance and Genericity - Méthodes rapides pour le traitement, l'analyse et la synthèse en informatique graphique by Tamy Boubekeur, Telecom ParisTech — 11 June 2014
- The lab hosts a new intern: Duc Canh Luu, Master student from IFI, Hanoi, Vietnam, joins the LRDE for a 6 month internship. — 9 June 2014
- Publication A Morphological Method for Music Score Staff Removal in Proceedings of the 21st International Conference on Image Processing (ICIP) — 3 June 2014
- Publication On Making nD Images Well-Composed by a Self-Dual Local Interpolation in Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI) — 28 May 2014
- Publication Meaningful disjoint level lines selection in Proceedings of the 21st International Conference on Image Processing (ICIP) — 26 May 2014
- Publication A precise skew estimation algorithm for document images using KNN clustering and Fourier transform in Proceedings of the 21st International Conference on Image Processing (ICIP) — 26 May 2014
- Publication A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images in Proceedings of the 21st International Conference on Image Processing (ICIP) — 26 May 2014
- Publication Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls in Proceedings of the 21st International Conference on Image Processing (ICIP) — 26 May 2014
- Two researchers from the Faculty of Informatics, Masaryk University, Czech Republic, on a one week visit at the LRDE. — 23 May 2014
Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU work with LRDE's Spot-team.
- Publication A Type System for Weighted Automata and Rational Expressions in Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14) — 20 May 2014
- LRDE Seminar on Performance and Genericity - Nife : du Forth pour l'embarqué — 14 May 2014
by Patrick Foubet, gérant et directeur technique de SERIANE
- LRDE Seminar on Performance and Genericity - Nife : du Forth pour l'embarqué by Patrick Foubet, gérant et directeur technique de SERIANE — 14 May 2014
- Agreement EPITA - Indian Institute of Technology Jodhpur (IITJ) — 12 May 2014
Within the framework of the cooperation between EPITA and IITJ two M-Tech-students and one B-Tech-student from IITJ work with LRDE's Olena-team from May to end of July 2014.
- Didier Verna is Local Organizer of the 7th European Lisp Symposium (ELS 2014) that takes places at IRCAM, Paris, on May 5-6, 2014 — 5 May 2014
- Publication A Morphological Tree of Shapes for Color Images in Proceedings of the 22nd International Conference on Pattern Recognition (ICPR) — 2 April 2014
- Publication Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata in Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14) — 1 April 2014
- Seminar MeFoSyLoMa at LRDE. — 28 March 2014
Invited speakers : Laura Carnevali - University of Florence, "Quantitative evaluation of non-Markovian models through the approach of stochastic state classes: applications and future issues", and Ridha Benosman - CNAM, Paris, "Conception et Évaluation de Performances d'un Bus Applicatif Parallèle et Orienté Service"
- Publication of the lab's bulletin L'air de rien 30 — 21 March 2014
- Publication Mechanizing the Minimization of Deterministic Generalized Büchi Automata in Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14) — 21 March 2014
- LRDE Seminar on Performance and Genericity - Programmation d'applications Web client-serveur avec Ocsigen — 12 March 2014
by Vincent Balat, Université Paris Diderot et INRIA
- LRDE Seminar on Performance and Genericity -- Programmation d'applications Web client-serveur avec Ocsigen by Vincent Balat, Université Paris Diderot et INRIA — 12 March 2014
- Publication LTL Translation Improvements in Spot 1.0 in International Journal on Critical Computer-Based Systems — 6 March 2014
- The LRDE has been accepted with the Spot project to PHC BARRANDE 2014, a bilateral program between France and Czech Republic supporting the mobility of researchers. — 21 February 2014
This program will promote exchanges between the LRDE and the Faculty of Informatics of Masaryk University, Brno.
- LRDE Seminar on Performance and Genericity - CLAIRE : un pseudo-code élégant exécutable et compilable pour l'aide à la décision — 18 February 2014
by Yves Caseau, Bouygues Telecom & Académie des Technologies
- LRDE Seminar on Performance and Genericity -- CLAIRE : un pseudo-code élégant exécutable et compilable pour l'aide à la décision by Yves Caseau, Bouygues Telecom & Académie des Technologies — 18 February 2014
- The LRDE belongs to EDITE de Paris (doctoral school). — 14 February 2014
You can read the notice in French here.
- LRDE Seminar on Performance and Genericity -- Automates Acycliques by Dominique Revuz, LIGM, UMR 8046, Université Paris-Est Marne-la-Vallée — 12 February 2014
- LRDE Seminar on Performance and Genericity - Programmation d'applications Web client-serveur avec Ocsigen — 5 February 2014
by Vincent Balat, Université Paris Diderot et INRIA
- The LRDE hosts a new member, Alfred M. Szmidt, Research Fellow. — 3 February 2014
- CSI Seminar : CSI 2014 students present their work on Wednesday 22 January 2014. — 22 January 2014
You can find the programme here. Seminars are free and open to anyone.
- Yongchao Xu for a one-week visit at the Indian Institute of Technology Jodhpur (18-25 December 2013) — 18 December 2013
The objective of this visit is to foster the relation between EPITA and IITJ. Yongchao Xu is looking for IITJ candidates for internships at LRDE next spring. During his visit at IITJ, Yongchao Xu joins the National Conference on Computer Vision, Pattern Recognition, Image Processing and Graphics (NCVPRIPG) to be held in Jodhpur from December 19 to 21.
- Yonchao Xu defends his PhD thesis "Tree-Based Shape Spaces: Definition and Applications in Image Processing and Computer Vision" at ESIEE at 2pm. — 12 December 2013
- Publication Tree-based shape spaces: Definition and applications in image processing and computer vision — 12 December 2013
- LRDE Seminar on Performance and Genericity - A ``Diplomatic Parallel Algorithm for the Component Trees of High Dynamic Range Images — 11 December 2013
by Michael Wilkinson - Johann Bernoulli Institute, University of Groningen, The Netherlands
- LRDE Seminar on Performance and Genericity -- A "Diplomatic" Parallel Algorithm for the Component Trees of High Dynamic Range Images by Michael Wilkinson, Johann Bernoulli Institute, University of Groningen, The Netherlands — 11 December 2013
- Publication Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis in Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS) — 10 December 2013
- Olivier Ricou speaks at APIdays about APIs and the future of the internet. — 5 December 2013
- LRDE Seminar on Performance and Genericity - CPC: Une implémentation efficace de la concurrence par passage de continuations — 4 December 2013
by Juliusz Chroboczek, Laboratoire PPS, Université Paris-Diderot (Paris 7)
- LRDE Seminar on Performance and Genericity — CPC: Une implémentation efficace de la concurrence par passage de continuations by Juliusz Chroboczek, Laboratoire PPS, Université Paris-Diderot (Paris 7) — 4 December 2013
- LRDE Seminar on Performance and Genericity - Address & Thread Sanitizer dans GCC: État Actuel et Orientation Future — 13 November 2013
by Dodji Seketeli, Red Hat
- LRDE Seminar on Performance and Genericity — Address & Thread Sanitizer dans GCC: État Actuel et Orientation Future by Dodji Seketeli — 13 November 2013
- Publication Text detection in street level image in Pattern Analysis and Applications — 5 November 2013
- The LRDE hosts a new member, Luca Saiu, Research Fellow — 1 November 2013
- Olivier Ricou participates in the Indo-French Technology Summit 2013 taking place in New Delhi on 23rd- 24th October 2013. — 23 October 2013
The objective of the France-India Technology Summit is to promote technological and trade exchanges between the two countries, to strengthen existing collaborations and to meet potential partners for the development of new technologies and of new synergies.
Olivier Ricou presents research conducted at EPITA during the event.
After the Summit, Olivier Ricou will undertake a 5-day visit to the Indian Institute of Technology Jodhpur (IIT Jodhpur) in order to set up a research partnership between EPITA and IIT Jodhpur.
- LRDE Seminar on Performance and Genericity - GNU epsilon, un langage de programmation extensible — 9 October 2013
- by Luca Saiu - Projet GNU, INRIA
- Publication Three SCC-based Emptiness Checks for Generalized Büchi Automata in Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13) — 9 October 2013
- LRDE Seminar on Performance and Genericity — GNU epsilon, un langage de programmation extensible by Luca Saiu — 9 October 2013
- Publication of the lab's bulletin L'air de rien 29 — 18 September 2013
- Now online: Talk of CSI student Raphaël Boissel on Reducing the resource consumption of a complex image processing chain — 10 September 2013
- Publication of the lab's bulletin L'air de rien 28 — 27 June 2013
- Publication LTL Model Checking with Neco in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) — 15 June 2013
- Publication Manipulating LTL formulas using Spot 1.0 in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) — 15 June 2013
- Publication of the lab's bulletin L'air de rien 27 — 12 June 2013
- Now online: Talk of CSI student Thomas Badie on Simulation-based Reductions for TGBA — 11 June 2013
- Publication Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach in IEEE Transactions on Audio, Speech, and Language Processing — 7 June 2013
- LRDE Seminar on Performance and Genericity - Langages de développement et sécurité - Mind your language — 29 May 2013
systèmes d'information)by Eric Jaeger et Olivier Levillain, ANSSI (Agence nationale de la sécurité des - LRDE Seminar on Performance and Genericity - Langages de développement et sécurité -- Mind your language by Eric Jaeger et Olivier Levillain — 29 May 2013
- Publication Salient Level Lines Selection Using the Mumford-Shah Functional in Proceedings of the 20th International Conference on Image Processing (ICIP) — 27 May 2013
- LRDE Seminar on Performance and Genericity - Étendre le compilateur GCC avec MELT — 22 May 2013
by Basile Starynkevitch (CEA LIST)
- LRDE Seminar on Performance and Genericity - Etendre le compilateur GCC avec MELT by Basile Starynkevitch — 22 May 2013
- Didider Verna will give a talk on 'Language extensibility and its impact on DSL design and implementation: A case study in Lisp'at the ECOOP workshop on Domain Specific Languages Design and Implementation (DSLDI) in Montpellier — 21 May 2013
- Publication Implementation Concepts in Vaucanson 2 in Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13) — 2 May 2013
- Project LINXV2 started — 1 May 2013
- Spot 1.1 released — 28 April 2013
Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement
- Publication Compositional Approach to Suspension and Other Improvements to LTL Translation in Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13) — 28 April 2013
- Publication Efficient Multiscale Sauvola's Binarization in International Journal of Document Analysis and Recognition (IJDAR) — 25 April 2013
- LRDE Seminar on Performance and Genericity - Designing robust distributed systems with weakly interacting feedback structures by Peter Van Roy — 24 April 2013
- LRDE Seminar on Performance and Genericity - SMIL : Simple Morphological Image Library by Matthieu Faessel et Michel Bilodeau — 27 March 2013
- Publication Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) — 14 March 2013
- Publication Discrete set-valued continuity and interpolation in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) — 14 March 2013
- Publication A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) — 14 March 2013
- Publication A comparison of many max-tree computation algorithms in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) — 14 March 2013
- The LRDE hosts a new member, Myriam Robert-Seidowsky, Research Engineer — 1 March 2013
- LRDE Seminar on Performance and Genericity - Une représentation d'images 2D discrète, continue et auto-duale — 20 February 2013
by Thierry Géraud, EPITA-LRDE
- LRDE Seminar on Performance and Genericity - Une représentation d'images 2D discrète, continue et auto-duale by Thierry Géraud — 20 February 2013
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity - Amélioration du design et des performances des machines virtuelles langages by Gaël Thomas — 23 January 2013
Attendance to LRDE Seminars is free and open to anyone.
- Publication Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13) — 8 January 2013
- Didier Verna will hold a 90 minutes session with the title "The Bright Side of Exceptions" at ACCU 2013 — 3 January 2013
- Publication TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) in TUGboat — 1 January 2013
- Publication The incredible tale of the author who didn't want to do the publisher's job in TUGboat — 1 January 2013
- Etienne Renault, PhD-student at LRDE, gives a talk on "Strength-based decomposition of the property Büchi automaton for faster model-checking" organized at MeFoSyLoMa — 7 December 2012
- Alexandre Duret-Lutz invited to give a talk at Faculty of Informatics, Masaryk University, Czech Republic — 3 December 2012
- The LRDE hosts a new member, Clément Démoulins, Research Engineer — 1 December 2012
- Publication MITLL 2012 Speaker Recognition Evaluation System Description in NIST Speaker Recognition Evaluation — 1 December 2012
- Yongchao Xu, PhD-student at LRDE, gives a talk on "Morphological Filtering in Shape Spaces : Applications Using Tree-Based Image Representations" organized at Reseach Center for Frontier Medical Engineering, Chiba University — 16 November 2012
- Stefania Calarasanu becomes PhD-student at LRDE — 1 November 2012
- Spot 1.0 is released — 27 October 2012
- LRDE Seminar on Performance and Genericity - Systèmes d'exploitation en dur: une clef du passage de 10 à 1000 cœurs, LRDE Seminar on Performance and Genericity - Platform and Research overview on the Intel Single-chip Cloud Computer — 17 October 2012
by Raphael Poss - University of Amsterdam, by Roy Bakker - University of Amsterdam
- LRDE Seminar on Performance and Genericity — 17 October 2012
Attendance to LRDE Seminars is free and open to anyone.
- Publication of the lab's bulletin L'air de rien 26 — 17 September 2012
- A new intern joins the LRDE: Théophile Ranquet — 10 September 2012
- Edwin Carlinet becomes PhD-student at LRDE — 10 September 2012
- Publication Extensible languages: blurring the distinction between DSLs and GPLs in Formal and Practical Aspects of Domain-Specific Languages: Recent Developments — 1 September 2012
- Publication Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework in WADGMM 2010 — 8 August 2012
- GNU Bison 2.6.1 is released — 30 July 2012
- Publication Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework in Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM) — 30 July 2012
- Vaucanson 1.4.1 is released — 14 July 2012
- LRDE Seminar on Performance and Genericity - Vérification efficace de propriétés insensibles au bégaiement., LRDE Seminar on Performance and Genericity - Filtrage morphologique dans les espaces de formes : Applications avec la représentation d'image par arbres, LRDE Seminar on Performance and Genericity - Composition dynamique de techniques pour le model checking efficace — 4 July 2012
by Ala Eddine Ben Salem (doctorant), by Yongchao Xu (doctorant), by Étienne Renault (doctorant)
- LRDE Seminar on Performance and Genericity — 4 July 2012
This seminar is dedicated to the work of LRDE's PhD students.
- LRDE Seminar on Performance and Genericity - GPU Computing : début d'une ère ou fin d'une époque ? — 20 June 2012
by Eric Mahé, responsable du projet OpenGPU
- Yongchao Xu, PhD-student at LRDE, gives a talk on "Morphological Filtering in Shape Spaces : Applications Using Tree-Based Image Representations" organized at ENSTA — 20 June 2012
- LRDE Seminar on Performance and Genericity — 20 June 2012
Attendance to LRDE Seminars is free and open to anyone.
- Publication Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations in Proceedings of the 21st International Conference on Pattern Recognition (ICPR) — 16 June 2012
- Publication First Attempt at Boltzmann Machines for Speaker Recognition in Odyssey Speaker and Language Recognition Workshop — 1 June 2012
- Publication Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes — 1 June 2012
- LRDE Seminar on Performance and Genericity - Analyse des mouvements apparents dans un flux vidéo, LRDE Seminar on Performance and Genericity - Un modèle générique de traitement et de représentation des images — 9 May 2012
by Antoine Manzanera, by Matthieu Garrigues
- LRDE Seminar on Performance and Genericity — 9 May 2012
Attendance to LRDE Seminars is free and open to anyone.
- Spot 0.9 released — 9 May 2012
Spot is a model-checking library developed collaboratively
- Publication of the lab's bulletin L'air de rien 25 — 9 May 2012
- Publication Generic Image Processing with Climb in European Lisp Symposium — 1 May 2012
- Publication Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes in Proceedings of the 19th International Conference on Image Processing (ICIP) — 17 April 2012
- Yongchao Xu, PhD-student at LRDE, gives a talk on "Morphological Filtering in Shape Spaces : Applications Using Tree-Based Image Representations" organized at ESIEE — 12 April 2012
- LRDE Seminar on Performance and Genericity - Le point de vue d'un théoricien sur l'intérêt de la généricité pour le traitement d'images — 21 March 2012
by Laurent Najman
- LRDE Seminar on Performance and Genericity — 21 March 2012
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity - Reusable Generic Look Ahead Multithreaded Cache - a case study for a high resolution player — 14 March 2012
by Guillaume Chatelet
- LRDE Seminar on Performance and Genericity — 14 March 2012
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity — 15 February 2012
Attendance to LRDE Seminars is free and open to anyone.
- Publication Motion compensation based on Tangent Distance prediction for video compression in Signal Processing: Image Communication — 9 February 2012
- The LRDE participates in the conference dedicated to "Free Software and higher Education" organized by IRILL at IRILL, Paris; more info on this page — 2 February 2012
- Publication of the lab's bulletin L'air de rien 24 — 2 February 2012
- Project eTourismAugmentedReality (eTourismeAugmenté - French version) accepted — 16 January 2012
- Publication Star TeX : the Next Generation in TUGboat — 1 January 2012
- Publication JSPP: Morphing C++ into JavaScript — 1 January 2012
- Publication Model Checking using Generalized Testing Automata in Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI) — 1 January 2012
- Project TerraRush (TerraRush- French Version) accepted — 26 December 2011
- The LRDE Progress Report 2010 is available now. — 6 December 2011
- LRDE Seminar on Performance and Genericity - Interactive 2D and 3D Segmentation with ilastik — 16 November 2011
by Ullrich Köthe
- LRDE Seminar on Performance and Genericity — 16 November 2011
Attendance to LRDE Seminars is free and open to anyone.
- Roland Levillain defends his Ph.D. thesis — 15 November 2011
- Publication Towards a Software Architecture for Generic Image Processing — 1 November 2011
- LRDE Seminar on Performance and Genericity - Pourquoi Javascript est-il aussi rapide/lent ? — 26 October 2011
by Nicolas Pierron
- LRDE Seminar on Performance and Genericity — 26 October 2011
Attendance to LRDE Seminars is free and open to anyone.
- Publication of the lab's bulletin L'air de rien 23 — 10 October 2011
- The LRDE hosts a new member: Étienne Renault — 3 October 2011
Étienne Renault has been graduated in real-time and distributed systems and he is interested in formal methods and model checking for distributed
- Vaucanson 1.4 is released — 28 September 2011
Vaucanson is a platform for manipulating weighted finite state