output
20022026
most citedThe Lean mathematical library

151 citations

Showing 2023Show all

7 papers · 1 filter

hep-ex2023★ 1 cited

The BM@N spectrometer at the NICA accelerator complex

S. Afanasiev, G. Agakishiev, E. Aleksandrov +208

BM@N (Baryonic Matter at Nuclotron) is the first experiment operating and taking data at the Nuclotron/NICA ion-accelerating complex.The aim of the BM@N experiment is to study inte…

physics.ins-det2023

Beam test of a 180 nm CMOS Pixel Sensor for the CEPC vertex detector

Tianya Wu, Shuqi Li, Wei Wang +28

The proposed Circular Electron Positron Collider (CEPC) imposes new challenges for the vertex detector in terms of pixel size and material budget. A Monolithic Active Pixel Sensor…

cs.CL2023

Weakly synchronous systems with three machines are Turing powerful

Cinzia Di Giusto, Davide Ferré, Etienne Lozes +1

Communicating finite-state machines (CFMs) are a Turing powerful model of asynchronous message-passing distributed systems. In weakly synchronous systems, processes communicate thr…

cs.FL2023

Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata

Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel +1

We study the complexity relationship between three models of unbounded memory automata: nu-automata (-A), Layered Memory Automata (LaMA)and History-Register Automata (HRA). Thes…

gr-qc2023★ 3 cited

Slowly rotating ultracompact Schwarzschild star in the gravastar limit

Philip Beltracchi, Camilo Posada

We reconsider the problem of a slowly rotating homogeneous star, or Schwarzschild star, when its compactness goes beyond the Buchdahl bound and approaches the gravastar limit $R\to…

astro-ph.GA2023★ 10 cited

Euclid preparation. XXVII. A UV-NIR spectral atlas of compact planetary nebulae for wavelength calibration

Euclid Collaboration, K. Paterson, M. Schirmer +201

The Euclid mission will conduct an extragalactic survey over 15000 deg of the extragalactic sky. The spectroscopic channel of the Near-Infrared Spectrometer and Photometer (NIS…