# News

### From LRDE

2020

- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity (Has title (Dynamic (Programming Paradigms)) ;; Performance and Expressivity)
- Practical “Paritizing” of Emerson-Lei Automata (Has title Practical “Paritizing” of Emerson-Lei Automata, Published in Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20))
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation (Has title A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation, Published in Computer Vision and Image Understanding)
- Improving swarming using genetic algorithms (Has title Improving swarming using genetic algorithms, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures (Has title Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures, Published in Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019)
- LTL Model Checking for Communicating Concurrent Programs (Has title LTL Model Checking for Communicating Concurrent Programs, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization (Has title Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization, Published in Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20))
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms (Has title Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms)
- A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images (Has title A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images, Published 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)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation (Has title Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation, Published in Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
- Performance Comparison of Several Folding Strategies (Has title Performance Comparison of Several Folding Strategies, Published in Trends in Functional Programming)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) (Has title Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation), Published in Label-free Biomedical Imaging and Sensing (LBIS) 2020)

2019

- Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo (Has title Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo, Published in TUGboat)
- Connected Filters on Generalized Shape-Spaces (Has title Connected Filters on Generalized Shape-Spaces, Published in Pattern Recognition Letters)
- Combining Parallel Emptiness Checks with Partial Order Reductions (Has title Combining Parallel Emptiness Checks with Partial Order Reductions, Published in Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19))
- Generic Emptiness Check for Fun and Profit (Has title Generic Emptiness Check for Fun and Profit, Published in Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19))
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images (Has title Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images, Published in Pattern Recognition)
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures (Has title One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures, Published in Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI))
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques (Has title Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques, Published in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- Filtres connexes multivariés par fusion d'arbres de composantes (Has title Filtres connexes multivariés par fusion d'arbres de composantes, Published in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- Estimating the noise level function with the tree of shapes and non-parametric statistics (Has title Estimating the noise level function with the tree of shapes and non-parametric statistics, Published in Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP))
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge (Has title Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge, Published in IEEE Transactions on Medical Imaging)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge (Has title Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge, Published in IEEE Transactions on Medical Imaging)
- Implementing Baker's SUBTYPEP decision procedure (Has title Implementing Baker's SUBTYPEP decision procedure, Published in 12th European Lisp Symposium)
- Model checking with generalized Rabin and Fin-less automata (Has title Model checking with generalized Rabin and Fin-less automata, Published in International Journal on Software Tools for Technology Transfer)
- Parallelizing Quickref (Has title Parallelizing Quickref, Published in 12th European Lisp Symposium)
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D (Has title An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Constructing a braid of partitions from hierarchies of partitions (Has title Constructing a braid of partitions from hierarchies of partitions, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Introducing Multivariate Connected Openings and Closings (Has title Introducing Multivariate Connected Openings and Closings, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy (Has title Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework (Has title Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework, Published in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19))
- How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way (Has title How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way, Published in Journal of Mathematical Imaging and Vision)
- High throughput automated detection of axial malformations in Medaka embryo (Has title High throughput automated detection of axial malformations in Medaka embryo, Published in Computers in Biology and Medicine)
- Finite Automata Theory Based Optimization of Conditional Variable Binding (Has title Finite Automata Theory Based Optimization of Conditional Variable Binding, Published in European Lisp Symposium)

2018

- Motion Compensation in Digital Holography for Retinal Imaging (Has title Motion Compensation in Digital Holography for Retinal Imaging, Published in Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI))
- Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. (Has title Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos.)
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach (Has title Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach, Published in Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI))
- Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure. (Has title Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure., Published in Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI)
- Representing and Computing with Types in Dynamically Typed Languages (Has title Representing and Computing with Types in Dynamically Typed Languages)
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming (Has title An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming, Published in Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018))
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning (Has title Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning, Published in Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI)
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina (Has title Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina, Published in Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V)
- Recognizing heterogeneous sequences by rational type expression (Has title Recognizing heterogeneous sequences by rational type expression, Published in Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (Has title A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams, Published in ACM Transactions on Computational Logic)
- Weakly Well-Composed Cell Complexes over nD Pictures (Has title Weakly Well-Composed Cell Complexes over nD Pictures, Published in Information Sciences)
- Improving Parallel State-Space Exploration Using Genetic Algorithms (Has title Improving Parallel State-Space Exploration Using Genetic Algorithms, Published in Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18))
- Reactive Synthesis from LTL Specification with Spot (Has title Reactive Synthesis from LTL Specification with Spot, Published in Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers (Has title A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers, Published in 25th IEEE Symposium on Computer Arithmetic)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm (Has title The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm, Published in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- Real-Time Document Detection in Smartphone Videos (Has title Real-Time Document Detection in Smartphone Videos, Published in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))