Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Seminar/2018-07-04  + (July 4, 2018)
• NewsEntry (2018/08/03)  + (August 3, 2018)
• A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams  + (August 28, 2018)
• Recognizing Heterogeneous Sequences by Rational Type Expression  + (September 14, 2018)
• Document detection in videos captured by smartphones using a saliency-based method  + (September 20, 2018)
• NewsEntry (2018/10/01)  + (October 1, 2018)
• Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina  + (October 25, 2018)
• An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming  + (October 25, 2018)
• Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning  + (October 25, 2018)
• Representing and Computing with Types in Dynamically Typed Languages  + (November 1, 2018)
• Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure  + (November 5, 2018)
• NewsEntry (2018/11/20)  + (November 20, 2018)
• Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach  + (November 26, 2018)
• High throughput automated detection of axial malformations in fish embryo  + (November 29, 2018)
• Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos.  + (December 1, 2018)
• NewsEntry (2018/12/13)  + (December 13, 2018)
• NewsEntry (2018/12/14)  + (December 14, 2018)
• Seminar/2018-12-14  + (December 14, 2018)
• Motion Compensation in Digital Holography for Retinal Imaging  + (December 19, 2018)
• Finite Automata Theory Based Optimization of Conditional Variable Binding  + (January 14, 2019)
• NewsEntry (2019/01/16)  + (January 16, 2019)
• High Throughput Automated Detection of Axial Malformations in Medaka Embryo  + (January 22, 2019)
• How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way  + (February 4, 2019)
• Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework  + (February 13, 2019)
• NewsEntry (2019/03/01)  + (March 1, 2019)
• NewsEntry (2019/03/04)  + (March 4, 2019)
• NewsEntry (2019/03/06)  + (March 6, 2019)

• An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D  + (March 13, 2019)
• Constructing a braid of partitions from hierarchies of partitions  + (March 13, 2019)
• Introducing Multivariate Connected Openings and Closings  + (March 13, 2019)
• Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy  + (March 13, 2019)

• Parallelizing Quickref  + (April 1, 2019)
• Model checking with generalized Rabin and Fin-less automata  + (April 1, 2019)
• Implementing Baker's SUBTYPEP decision procedure  + (April 1, 2019)
• Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge  + (April 10, 2019)
• NewsEntry (2019/04/10)  + (April 10, 2019)
• Seminar/2019-04-10  + (April 10, 2019)
• Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge  + (April 11, 2019)
• Estimating the noise level function with the tree of shapes and non-parametric statistics  + (June 7, 2019)
• Filtres connexes multivariés par fusion d'arbres de composantes  + (June 14, 2019)
• Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques  + (June 14, 2019)
• One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures  + (June 18, 2019)
• NewsEntry (2019/07/01)  + (July 1, 2019)
• Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images  + (July 1, 2019)
• NewsEntry (2019/07/02)  + (July 2, 2019)
• NewsEntry (2019/07/03)  + (July 3, 2019)
• Towards more efficient parallel SAT solving  + (July 3, 2019)
• Generic Emptiness Check for Fun and Profit  + (July 29, 2019)
• Combining Parallel Emptiness Checks with Partial Order Reductions  + (August 2, 2019)
• Connected Filters on Generalized Shape-Spaces  + (September 20, 2019)
• Seminar/2019-10-01  + (October 1, 2019)
• NewsEntry (2019/10/07)  + (October 7, 2019)
• Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo  + (November 6, 2019)
• Seminar/2019-12-17  + (December 17, 2019)