output
19932026
most citedDeep learning for cardiac image segmentation: A review

870 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 2026Show all

5 papers · 1 filter

cs.FL2026

Rabin Games Revisited

Antonio Di Stasio, Moshe Y. Vardi

Rabin games have their roots in Michael Rabin's seminal work on automata over infinite trees and form a classical model for infinite-round games with ω-regular winning conditions.…

cs.CR2026

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…

cs.SE2026

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…

cs.DC2026

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…

cond-mat.mes-hall2026

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…