Semantic search
- Publication The Cost of Dynamism in Static Languages for Image Processing in Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022) — 10 October 2022
- Florian Renkin defends his PhD thesis "Transformations d’ω-automates pour la synthèse de contrôleurs réactifs" at EPITA at 9:30 am — 7 October 2022
- Publication Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems — 1 October 2022
- Publication Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery in Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022 — 19 September 2022
- Publication Improving the Quality of Rule-Based GNN Explanations in Workshop on eXplainable Knowledge Discovery in Data Mining. Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, GrenobleFrance, September 19-23, 2022, Proceedings, Part I — 12 September 2022
- Publication A Kleene Theorem for Higher-Dimensional Automata in 33rd International Conference on Concurrency Theory (CONCUR 2022) — 6 September 2022
- Publication Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map in Symposium on Implementation and Application of Functional Languages — 31 August 2022
- Publication Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning in Proc. Interspeech 2022 — 28 August 2022
- Publication Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions in IEEE Transactions on Affective Computing — 24 July 2022
- Publication What Does my GNN Really Capture? On Exploring Internal GNN Representations in International Joint Conference on Artificial Intelligence 2022 — 23 July 2022
- Publication On Robustness for the Skolem and Positivity Problems in 39th International Symposium on Theoretical Aspects of Computer Science STACS — 7 July 2022
- Publication Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata in Information and Computation — 30 June 2022
- Publication Posets With Interfaces as a Model for Concurrency in Information and Computation — 30 June 2022
- LRDE Seminar on Performance and Genericity - Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems — 22 June 2022
by Daniel Stan, Technische Universität Kaiserslautern
- Publication Généricité dynamique pour des algorithmes morphologiques in 28e Colloque sur le traitement du signal et des images — 15 June 2022
- Publication Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique in 28e Colloque sur le traitement du signal et des images — 15 June 2022
- Publication From Spot 2.0 to Spot 2.10: What's New? in Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22) — 6 June 2022
- International conference GETCO 2022 co-organized with École polytechnique at EPITA from 30 May to 3 June — 30 May 2022
GETCO is a conference series on Geometric and Topological Methods in Computer Science. The initial focus of GETCO was on concurrent and distributed computing, but the application area keeps expanding and now also includes higher categories and rewriting, dynamic and hybrid systems, robotics, and topological data analysis.
- Alexandre Duret-Lutz invited to Faculty of Informatics, Masaryk University, Czech Republic, for a week. — 23 May 2022
He will give a talk as part of the joint seminar of the DIMEA and FORMELA teams on practical applications of the "Alternating Cycle Decomposition". His stay will be an opportunity to work on site with Jan Strejček, associate professor from FI MU.
- Publication Some Equivalence Relation between Persistent Homology and Morphological Dynamics in Journal of Mathematical Imaging and Vision — 17 May 2022
- 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