16 citations
- A. De Martino2 · h 10
- Aikaterini Kotrotsou2 profiles2 · h 23
- Bjoern H Menze2 · h 71
- Brandon Edwards2 · h 9
- Daniel S. Marcus2 profiles2 · h 10
- Leon Mächler2 profiles2 · h 3
- Micah J. Sheller2 · h 13
- Mikhail Milchenko2 profiles2 · h 16
- Patrick Foley2 · h 5
- Sarthak Pati2 · h 28
- S. Bakas2 · h 54
- Suprosanna Shit2 profiles2 · h 23
- St George's, University of LondonGB14 papers
- City, University of LondonGB3 papers
- Technical University of MunichDE3 papers
- University College LondonGB3 papers
- Central European UniversityAT2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Cornell UniversityUS2 papers
- Heinrich Heine University DüsseldorfDE2 papers
- Imperial College LondonGB2 papers
- Indiana University HealthUS2 papers
- Indiana University – Purdue University IndianapolisUS2 papers
- Indiana University School of Medicine2 papers
17 papers
Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems
Taisa Kushner, Ryan McCleeary, Martin Brain
Complex algorithms such as deep neural networks are increasingly being deployed on embedded, resource constrained platforms. However, existing hardware and software schemes for imp…
Quantifying Confidence in Assurance 2.0 Arguments
Robin Bloomfield, John Rushby
Confidence is central to safety and assurance cases: how much confidence a decision requires and how much the argument actually provides are both important questions. We present a…
Semantic Conflict Model for Collaborative Data Structures
Georgii Semenov, Vitaly Aksenov
Digital collaboration systems support asynchronous work over replicated data, where conflicts arise when concurrent operations cannot be unambiguously integrated into a shared hist…
Toroidal Fermi-surface geometry and phonon-limited transport in nodal-line semimetals
Aman Anand, Alessandro De Martino
Nodal-line semimetals (NLSs) can display unconventional quasiparticle dynamics and charge transport properties due to their extended band degeneracy and the peculiar geometry of th…
The MICCAI Federated Tumor Segmentation (FeTS) Challenge 2024: Efficient and Robust Aggregation Methods for Federated Learning
Akis Linardos, Sarthak Pati, Ujjwal Baid +25
We present the design and results of the MICCAI Federated Tumor Segmentation (FeTS) Challenge 2024, which focuses on federated learning (FL) for glioma sub-region segmentation in m…
Parallelism in Neurodegenerative Biomarker Tests: Hidden Errors and the Risk of Misconduct
Axel Petzold, Joachim Pum, David P Crabb
Biomarkers are critical tools in the diagnosis and monitoring of neurodegenerative diseases. Reliable quantification depends on assay validity, especially the demonstration of para…