3.1k citations
- University of LisbonPT78 papers
- Centre National de la Recherche ScientifiqueFR49 papers
- Heidelberg UniversityDE44 papers
- Sorbonne UniversitéFR43 papers
- Charles UniversityCZ42 papers
- Justus-Liebig-Universität GießenDE42 papers
- Michigan State UniversityUS42 papers
- New York UniversityUS42 papers
- Radboud University NijmegenNL42 papers
- University of EdinburghGB42 papers
- European Organization for Nuclear ResearchCH41 papers
- Stony Brook UniversityUS41 papers
Showing 2026Show all
3 papers · 1 filter
cs.PL2026
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
Francisco Parrinha, João Mota, António Ravara
Distributed systems have become increasingly prevalent in the software industry. Due to their intrinsic complexity, much research has focused on the verification of their behaviour…
cond-mat.quant-gas2026
Quantized transport of solitons in Bose-Einstein condensates driven by spin-orbit coupling
Yaroslav V. Kartashov, Vladimir V. Konotop, Dmitry A. Zezyulin
We demonstrate that linear and nonlinear Thouless pumping can be realized in two-component elongated Bose-Einstein condensates using helicoidal spin-orbit coupling that slides with…
astro-ph.GA2026
Calibrating Mid-Infrared Emission Features As Diagnostics of Star Formation in Infrared-Luminous Galaxies via Radiative Transfer Modeling
L. Robinson, D. Farrah, A. Efstathiou +13
Luminous infrared galaxies are key sites of obscured stellar mass assembly at z > 0.5. Their star formation rates (SFRs) are often estimated using the luminosities of the 6.2 micro…