16 citations · 16 across the 2 of their papers we have counts for
2 papers
eess.IV2021★ 16 cited
The Federated Tumor Segmentation (FeTS) Challenge
Sarthak Pati, Ujjwal Baid, Maximilian Zenk +29
This manuscript describes the first challenge on Federated Learning, namely the Federated Tumor Segmentation (FeTS) challenge 2021. International challenges have become the standar…
math.LO2010
Proof nets for Herbrand's Theorem
Richard McKinley
This paper explores the connection between two central results in the proof theory of classical logic: Gentzen's cut-elimination for the sequent calculus and Herbrands "fundamental…