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

• GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux  + (17:07:54, 7 April 2023)
• Gradients Intégrés Renforcés  + (17:07:55, 7 April 2023)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (17:07:56, 7 April 2023)
• Parallel Satisfiability Solver Based on Hybrid Partitioning Method  + (17:07:57, 7 April 2023)
• CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving  + (17:07:58, 7 April 2023)
• Reactive Synthesis from LTL Specification with Spot  + (17:07:59, 7 April 2023)
• Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms  + (17:08:01, 7 April 2023)
• Introducing the Boundary-Aware Loss for Deep Image Segmentation  + (17:08:02, 7 April 2023)
• Topology-Aware Method to Segment 3D Plan Tissue Images  + (17:08:03, 7 April 2023)
• A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  + (17:08:04, 7 April 2023)
• Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set  + (17:08:06, 7 April 2023)
• Approaches in Typecase Optimization  + (17:08:07, 7 April 2023)
• Recognizing Heterogeneous Sequences by Rational Type Expression  + (17:08:08, 7 April 2023)
• Finite Automata Theory Based Optimization of Conditional Variable Binding  + (17:08:10, 7 April 2023)
• Performance Comparison of Several Folding Strategies  + (17:08:11, 7 April 2023)
• Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map  + (17:08:12, 7 April 2023)
• Données, Transparence et Démocratie  + (17:08:13, 7 April 2023)
• Combining Parallel Emptiness Checks with Partial Order Reductions  + (17:08:14, 7 April 2023)
• Caractérisation des zones de mouvement périodiques pour applications bio-médicales  + (17:08:15, 7 April 2023)
• High throughput automated detection of axial malformations in fish embryo  + (17:08:17, 7 April 2023)
• 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  + (17:08:18, 7 April 2023)
• VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation  + (17:08:20, 7 April 2023)
• Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents  + (17:08:21, 7 April 2023)
• Non-iterative methods for image improvement in digital holography of the retina  + (17:08:26, 7 April 2023)
• CosySEL: Improving SAT Solving Using Local Symmetries  + (17:08:28, 7 April 2023)

• Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis  + (17:08:30, 7 April 2023)

• Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images  + (17:08:32, 7 April 2023)
• Implementing Baker's SUBTYPEP decision procedure  + (17:08:33, 7 April 2023)
• Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo  + (17:08:41, 7 April 2023)
• Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN  + (17:08:43, 7 April 2023)
• Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage  + (17:08:48, 7 April 2023)
• Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor  + (17:08:52, 7 April 2023)
• Derived-Term Automata of Multitape Expressions with Composition  + (08:39:44, 22 April 2023)
• Type-Checking of Heterogeneous Sequences in Common Lisp  + (08:40:28, 22 April 2023)
• Representing and Computing with Types in Dynamically Typed Languages  + (08:40:31, 22 April 2023)
• Classes, Styles, Conflicts: the Biological Realm of LaTeX  + (08:40:52, 22 April 2023)
• Towards LaTeX Coding Standards  + (08:40:53, 22 April 2023)
• Star TeX : the Next Generation  + (08:40:55, 22 April 2023)
• The incredible tale of the author who didn't want to do the publisher's job  + (08:40:55, 22 April 2023)
• TiCL: the Prototype (Star TeX: the Next GenerationSeason 2)  + (08:40:56, 22 April 2023)
• AA  + (17:01:13, 8 May 2023)
• Direction du laboratoire & Direction de la recherche de l'EPITA  + (14:38:39, 23 May 2023)
• Claire Parquier  + (08:35:17, 30 May 2023)
• Sven Dziadek  + (14:04:06, 13 June 2023)
• Improving the Model Checking of Stutter-Invariant LTL Properties  + (14:50:13, 4 July 2023)
• Extending Testing Automata to All LTL  + (14:50:15, 4 July 2023)
• A Study of Well-Composedness in n-D  + (14:50:21, 4 July 2023)
• Discrete Morse Functions and Watersheds  + (14:50:28, 4 July 2023)
• Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms  + (12:21:04, 6 July 2023)
• MToS: A Tree of Shapes for Multivariate Images  + (12:22:40, 6 July 2023)
• A Tree of Shapes for Multivariate Images  + (14:55:49, 12 July 2023)