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

• File:Johan.pardo.jpeg  + (14:26:44, 14 October 2020)
• File:Rivet.jpg  + (07:24:56, 22 October 2020)
• File:Caroline.Mazini-Rodrigues.jpg  + (14:03:31, 26 October 2020)
• (Dynamic (Programming Paradigms)) ;; Performance and Expressivity  + (13:57:46, 4 November 2020)
• LTL Model Checking for Communicating Concurrent Programs  + (07:57:57, 5 November 2020)
• Practical “Paritizing” of Emerson–Lei Automata  + (07:58:04, 5 November 2020)
• Brain Tumor Segmentation with deep convolutional network approach  + (16:22:09, 9 November 2020)
• Segmentation de tumeur cérébrale par réseau de neurones convolutionel  + (16:22:10, 9 November 2020)
• Smart and robust segmentation of medical images using neural networks  + (16:22:11, 9 November 2020)
• Segmentation robuste et intelligente d'images médicales par réseau de neurones  + (16:22:13, 9 November 2020)
• Artificial states generation in state spaces using kernel density estimation  + (16:22:18, 9 November 2020)
• Model classification in model checking using random forest  + (16:22:19, 9 November 2020)
• ... Insert a title in French here ...  + (16:22:20, 9 November 2020)
• Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics  + (16:22:35, 9 November 2020)
• Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques  + (16:22:36, 9 November 2020)
• Détection de danger en milieu marin  + (16:22:45, 9 November 2020)
• Detecting danger in marine environment: Part 1 - Making the dataset  + (16:22:46, 9 November 2020)
• Binding a high-performance C++ image processing library to Python  + (16:22:47, 9 November 2020)
• Distributed State Space Exploration  + (16:22:50, 9 November 2020)
• Exploration d'espace d'état distribué  + (16:22:51, 9 November 2020)
• Parallelism and Indexation in Quickref  + (16:22:52, 9 November 2020)
• Reimplementation of testing-automata in Spot  + (16:22:59, 9 November 2020)
• Réimplémentation des automates testeurs dans Spot  + (16:23:00, 9 November 2020)
• Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds  + (16:23:05, 9 November 2020)
• Apprentissage d'Opérations Morphologiques  + (16:23:06, 9 November 2020)

• Automatic troll farm account detection on Twitter  + (16:23:15, 9 November 2020)

• Détection Automatique de Comptes Troll Farm sur Twitter  + (16:23:17, 9 November 2020)
• Comment implémenter le support des goroutines dans go2pins  + (16:23:21, 9 November 2020)
• Loss functions benchmark for brain tumour segmentation  + (16:23:38, 9 November 2020)
• Modélisation et Identification des Troll Farmers sur Twitter  + (16:23:46, 9 November 2020)
• Detecting Botnets Behaviors over Network Flows using Hidden Markov Models  + (16:23:47, 9 November 2020)
• File:Baptiste.esteban.png  + (09:59:11, 16 November 2020)
• NewsEntry (2020/10/21)  + (15:50:34, 16 November 2020)
• NewsEntry (2020/11/16)  + (09:45:01, 18 November 2020)
• Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging  + (10:46:30, 24 November 2020)
• Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI  + (10:46:32, 24 November 2020)
• How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way  + (10:46:38, 24 November 2020)
• Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids  + (10:46:43, 24 November 2020)
• Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids  + (10:46:45, 24 November 2020)
• Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach  + (10:46:52, 24 November 2020)
• Introducing Multivariate Connected Openings and Closings  + (10:46:54, 24 November 2020)
• Introducing the Dahu Pseudo-Distance  + (10:47:22, 24 November 2020)
• Parallel Computation of Component Trees on Distributed Memory Machines  + (10:47:24, 24 November 2020)
• Connected Filters on Generalized Shape-Spaces  + (10:47:28, 24 November 2020)
• Saliency-Based Detection of Identity Documents Captured by Smartphones  + (10:47:41, 24 November 2020)
• A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation  + (10:47:42, 24 November 2020)
• Motion Compensation in Digital Holography for Retinal Imaging  + (10:47:53, 24 November 2020)
• Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina  + (10:47:55, 24 November 2020)
• An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming  + (10:47:57, 24 November 2020)
• 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  + (10:48:15, 24 November 2020)
• A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images  + (10:48:17, 24 November 2020)