output
20112025
most citedThe evolution of the cosmic molecular gas density

3 citations

6 papers

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.…

astro-ph.HE2024

Coma cluster -ray and radio emission is consistent with a secondary electron origin for the radio halo

Doron Kushnir, Uri Keshet, Eli Waxman

Observations of diffuse, non-thermal radio emission spanning several megaparsecs have been documented in over 100 galaxy clusters. This emission, classified as giant radio halos (G…

astro-ph.GA2019★ 3 cited

The evolution of the cosmic molecular gas density

Fabian Walter, Chris Carilli, Roberto Decarli +38

One of the last missing pieces in the puzzle of galaxy formation and evolution through cosmic history is a detailed picture of the role of the cold gas supply in the star-formation…

astro-ph.SR2011

LES of turbulent convection in solar-type stars and formation of large-scale magnetic structures

I. Rogachevskii, N. Kleeorin, I. N. Kitiashvili +3

In this study we investigate the effects of turbulent convection on formation of large-scale inhomogeneous magnetic structures by means of Large-Eddy Simulation (LES) for convectio…