output
20122026
most citedVerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images

386 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2022Show all

5 papers · 1 filter

cs.LO2022

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems

S. Akshay, Hugo Bazille, Blaise Genest +1

The Skolem problem is a long-standing open problem in linear dynamical systems: can a linear recurrence sequence (LRS) ever reach 0 from a given initial configuration? Similarly, t…

eess.AS2022★ 9 cited

Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning

Théo Lepage, Réda Dehak

State-of-the-art speaker verification systems are inherently dependent on some kind of human supervision as they are trained on massive amounts of labeled data. However, manually a…

physics.atom-ph2022★ 14 cited

Electric dipole moments due to nuclear Schiff moment interactions: A reassessment of the atoms Xe, Hg, and the molecule TlF

Mickaël Hubert, Timo Fleig

We present relativistic many-body calculations of atomic and molecular Schiff-moment interaction constants including interelectron correlation effects using atomic Gaussian basis s…

eess.IV2022★ 68 cited

Local Intensity Order Transformation for Robust Curvilinear Object Segmentation

Tianyi Shi, Nicolas Boutry, Yongchao Xu +1

Segmentation of curvilinear structures is important in many applications, such as retinal blood vessel segmentation for early detection of vessel diseases and pavement crack segmen…

cs.FL2022★ 4 cited

Kleene Theorem for Higher-Dimensional Automata

Uli Fahrenberg, Christian Johansen, Georg Struth +1

We prove a Kleene theorem for higher-dimensional automata. It states that the languages they recognise are precisely the rational subsumption-closed sets of finite interval pomsets…