3 citations
- Institut de Mécanique et d'Ingénierie de BordeauxFR2 papers
- Science ClubUS2 papers
- California Institute of TechnologyUS1 paper
- Centre National d'Études SpatialesFR1 paper
- Cornell UniversityUS1 paper
- LAM FoundationUS1 paper
- National Institute for AstrophysicsIT1 paper
- Osservatorio di Astrofisica e Scienza dello Spazio1 paper
- SKA Telescope, South AfricaZA1 paper
- Stanford MedicineUS1 paper
- Stanford UniversityUS1 paper
- Sussex County Community CollegeUS1 paper
Showing 2025Show all
3 papers · 1 filter
cs.AI2025★ 2 cited
eSkinHealth: A Multimodal Dataset for Neglected Tropical Skin Diseases
Janet Wang, Xin Hu, Yunbei Zhang +7
Skin Neglected Tropical Diseases (NTDs) impose severe health and socioeconomic burdens in impoverished tropical communities. Yet, advancements in AI-driven diagnostic support are h…
cs.LO2025
Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen, Ariel Grunfeld, Dominik Kirst +1
Realizability interprets propositions as specifications for computational entities in programming languages. Specifically, syntactic realizability is a powerful machinery that hand…
cs.LO2025
From Partial to Monadic: Combinatory Algebra with Effects
Liron Cohen, Ariel Grunfeld, Dominik Kirst +1
Partial Combinatory Algebras (PCAs) provide a foundational model of the untyped -calculus and serve as the basis for many notions of computability, such as realizability theory.…