Talk

News

From LRDE

Après avoir ajouter une news, il faut revenir sur la page News puis cliquer sur le bouton «refresh» en haut à droite ou simplement suivre le lien suivant refresh news.

Catégorie contenant les news : Category:News Catégorie contenant les publications : Category:Publications (les publications ne doivent pas être modifier manuellement)

Combining Parallel Emptiness Checks with Partial Order Reductions, NewsEntry (2019/07/03), NewsEntry (2019/07/02), NewsEntry (2019/07/01), Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images, One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures, Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques, Filtres connexes multivariés par fusion d'arbres de composantes, Estimating the noise level function with the tree of shapes and non-parametric statistics, Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge, Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge, NewsEntry (2019/04/10), Parallelizing Quickref, Model checking with generalized Rabin and Fin-less automata, Implementing Baker's SUBTYPEP decision procedure, Constructing a braid of partitions from hierarchies of partitions, An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D, Introducing Multivariate Connected Openings and Closings, Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy, NewsEntry (2019/03/06), NewsEntry (2019/03/04), NewsEntry (2019/03/01), How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way, High throughput automated detection of axial malformations in Medaka embryo, NewsEntry (2019/01/16), Finite Automata Theory Based Optimization of Conditional Variable Binding, Motion Compensation in Digital Holography for Retinal Imaging, NewsEntry (2018/12/14), NewsEntry (2018/12/13), Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach, NewsEntry (2018/11/20), Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure., Representing and Computing with Types in Dynamically Typed Languages, An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming, Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning, Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina, NewsEntry (2018/10/01), Recognizing heterogeneous sequences by rational type expression, A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams, NewsEntry (2018/08/03), NewsEntry (2018/07/04), Weakly Well-Composed Cell Complexes over nD Pictures, NewsEntry (2018/07/03), Improving Parallel State-Space Exploration Using Genetic Algorithms, NewsEntry (2018/06/13), Reactive Synthesis from LTL Specification with Spot, A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers, NewsEntry (2018/05/18), NewsEntry (2018/05/14), The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm... further results