Semantic search
- Publication Tuning SAT Solvers for LTL Model Checking in Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22) — 9 December 2022
- Publication Towards Better Heuristics for Solving Bounded Model Checking Problems in Constraints — 9 December 2022
- Publication Go2Pins: A framework for the LTL verification of Go programs (Extended Version) in International Journal on Software Tools for Technology Transfer (STTT) — 9 December 2022
- Publication CosySEL: Improving SAT Solving Using Local Symmetries in 24th International Conference on Verification, Model Checking, and Abstract Interpretation — 8 December 2022
- Publication Energy Problems in Finite and Timed Automata with Büchi Conditions in International Symposium on Formal Methods (FM) — 8 December 2022
- Publication Diversifying a Parallel SAT Solver with Bayesian Moment Matching in Symposium on Dependable Software Engineering TheoriesTools and Applications — 8 December 2022
- Publication Higher-Dimensional Timed and Hybrid Automata in Leibniz Transactions on Embedded Systems — 8 December 2022
- Publication Introduction to the Special Issue on Distributed Hybrid Systems in Leibniz Transactions on Embedded Systems — 8 December 2022
- Publication The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images in Pattern Recognition — 3 December 2022
- Thierry Géraud represents LRE at EDITE-Day — 30 November 2022
The doctoral school of Paris EDITE has organized a conference day Journée de l’EDITE dedicated to PhD-students, their supervisors and the best PhD Thesis Award. Among the labs attending, Thierry has presented the unified EPITA Research Laboratory (LRE) with its newly defined research groups and axes.
- Joseph Chazalon and Edwin Carlinet from LRE at Seminar on IA at DGFIP — 22 November 2022
At the Seminar on Automatic Information Extraction in Administrative Forms organized by Public Finances General Directorate (DGFIP) Joseph Chazalon and Edwin Carlinet from LRE presented the challenges and perspectives of data extraction in documents. After a review of the limitations of traditional document analysis techniques, they introduced recent advances brought by the latest deep-learning methods, and the new problems they enable to solve.
- Guillaume Tochon from LRE invited speaker at GT-GDMM — 22 November 2022
Guillaume Tochon gave a plenary talk at the annual seminar of the Discrete Geometry and Mathematical Morphology Research Group, on the topic of learning mathematical morphology operations with morphological neural networks. He presented the latest results obtained at LRE with RDI students (from EPITA’s research double major) and in collaboration with the Center for Mathematical Morphology (CMM, Mines ParisTech).
- Researchers from LRE at Seminar at the French National Library (BNF) on data extraction from 19th century directories — 10 November 2022
Edwin Carlinet and Joseph Chazalon from LRE presented at the BNF Seminar the latest advances of the ANR SoDUCo project regarding mass extraction of 10 M entries from historical directories. Marie Puren presented the results of the AGODA project, funded by the BNF, showcasing structured transcriptions of French Parliament debates from the 19th century, extracted in a semi-automated fashion.
- Michaël Roynard defends his PhD thesis "Generic Programming in modern C++ for Image Processing" at EPITA at 9:30 am — 4 November 2022
- The LRE hosts a new PhD student, Théo Lepage, who joins the Artificial Intelligence group. — 2 November 2022
After obtaining EPITA's engineering degree from the IMAGE and RDI double major, Théo joins the LRE to complete his PhD. He will focus on improving the robustness of representations used by speaker and language recognition systems while considering the growing risk of spoofing attacks.
- Publication Featured Games in Science of Computer Programming — 1 November 2022
- Publication In Pursuit of the Hidden Features of GNN's Internal Representations in Data & Knowledge Engineering — 26 October 2022
- Publication Topology-Aware Method to Segment 3D Plan Tissue Images in 36th Conference on Neural Information Processing SystemsAI for Science Workshop — 25 October 2022
- Publication On GNN Explainability with Activation Rules in Data Mining and Knowledge Discovery — 20 October 2022
- Publication A Modern C++ Point of View of Programming in Image Processing in Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022) — 10 October 2022