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
- 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)
- The incredible tale of the author who didn't want to do the publisher's job + (08:40:55, 22 April 2023)
- Star TeX : the Next Generation + (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)
- La pseudo-distance du dahu + (14:55:50, 12 July 2023)
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes + (14:55:51, 12 July 2023)
- Filtres connexes multivariés par fusion d'arbres de composantes + (14:55:52, 12 July 2023)
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) + (14:55:55, 12 July 2023)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators + (14:56:09, 12 July 2023)
- Contributions to LTL and ω-Automata for Model Checking + (15:00:57, 12 July 2023)
- Energy Problems in Finite and Timed Automata with Büchi Conditions + (15:09:50, 12 July 2023)
- Debug Packages in OpenBSD + (09:23:25, 13 July 2023)
- Estimating the noise level function with the tree of shapes and non-parametric statistics + (11:30:46, 13 July 2023)
- A Benchmark of Named Entity Recognition Approaches in Historical Documents + (11:47:36, 30 August 2023)
- Home + (09:12:07, 19 April 2024)