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
- NewsEntry (2018/03/08) + (March 8, 2018)
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities + (March 22, 2018)
- Method Combinators + (March 25, 2018)
- NewsEntry (2018/03/29) + (March 29, 2018)
- Parallel Computation of Component Trees on Distributed Memory Machines + (April 2, 2018)
- Approaches in Typecase Optimization + (April 5, 2018)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (April 10, 2018)
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes + (May 4, 2018)
- Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage + (May 4, 2018)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (May 10, 2018)
- Real-Time Document Detection in Smartphone Videos + (May 10, 2018)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (May 10, 2018)
- Real-Time Document Detection in Smartphone Videos + (May 10, 2018)
- NewsEntry (2018/05/14) + (May 14, 2018)
- NewsEntry (2018/05/18) + (May 18, 2018)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers + (June 1, 2018)
- Reactive Synthesis from LTL Specification with Spot + (June 7, 2018)
- NewsEntry (2018/06/13) + (June 13, 2018)
- Seminar/2018-06-13 + (June 13, 2018)
- Improving Parallel State-Space Exploration Using Genetic Algorithms + (June 14, 2018)
- NewsEntry (2018/07/03) + (July 3, 2018)
- NewsEntry (2018/07/04) + (July 4, 2018)
- Weakly Well-Composed Cell Complexes over nD Pictures + (July 4, 2018)
- 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)