157,829+ open-access research outputs.
The SVOM (Space-based Variable Objects Monitor) mission, launched into low Earth orbit on 22 June 2024, is a French-Chinese multi-wavelength observatory dedicated to the study of the transient sky. In…
The SVOM mission, a Sino-French collaboration dedicated to Gamma-Ray Bursts (GRBs) and transient sources, began scientific operations in 2025. This paper describes the ground computing infrastructure …
At the heart of the SVOM French ground segment, the French Science Center is a cloud-based platform which provides services and tools for the management, storage, scientific processing and visualizati…
The Chinese-French SVOM (Space-based Multi-band Astronomical Variable Objects Monitor) mission is dedicated to the study of gamma-ray bursts (GRBs) from the distant universe. A key component of the SV…
Metal-insulator transitions (MITs) in correlated oxides offer immense potential for next-generation Mottronic devices. However, their integration into practical applications is often hindered by the c…
The technological maturity of in situ inspection and monitoring methods in additive manufacturing is steadily increasing, enabling more efficient and practical qualification procedures. In this contex…
Climate misinformation continues to erode support for climate action, a challenge that is especially acute in the Global South, where high climate vulnerability intersects with development pressures. …
As the complexity of System-on-Chip (SoC) designs grows, the shift-left paradigm necessitates the rapid development of high-fidelity reference models (typically written in SystemC) for early architect…
SOXS (Son Of X-Shooter) is a new spectrograph for the European Southern Observatory (ESO), recently installed at the New Technology Telescope (NTT) at the La Silla Observatory, Chile. The main instrum…
Autonomous agents for automated program repair represent a promising frontier in software engineering, yet their effectiveness is often hindered by reliance on post-mortem, coarse-grained execution fe…
We present ZFLean, a Lean 4 library for doing core mathematics inside a model of ZFC with the ergonomics expected of typed Mathlib developments. Building on Mathlib's ZFC model, we contribute a relati…
Proving representability of derived moduli stacks of solutions to non-linear elliptic partial differential equations generally requires significant analytic machinery. In this paper, we instead show t…
Ethical software development remains stubbornly difficult despite two decades of normative frameworks, professional codes, and participatory methodologies. This paper offers a diagnostic rather than p…
The quest to align machine behavior with human values raises fundamental questions about the moral frameworks that should govern AI decision-making. Much alignment research assumes that the appropriat…
We present Nautile-370M, a 371-million-parameter small language model designed for efficient reasoning under strict parameter and inference budgets. Nautile-370M uses a hybrid backbone in which two Se…
We propose a new convex programming relaxation for the weighted Nash social welfare (NSW) problem that achieves a matching $(e^{1/e}\approx 1.445)$-approximation via the rounding algorithm of Feng and…
Modern machine learning optimizes for accuracy without explicit treatment of internal computational cost, even though physical and biological systems operate under intrinsic energy constraints. We eva…
A compressed self-index stores a string in compressed form while supporting locate queries without decompression. For highly repetitive strings (arising in web crawls, versioned documents, and genomic…
The increasing scale and variability of peer review in scholarly venues has created an urgent need for systematic, interpretable, and extensible tools to assess review quality. We present PeeriScope, …
Video-to-text summarization remains underexplored in terms of comprehensive evaluation methods. Traditional n-gram overlap-based metrics and recent large language model (LLM)-based approaches depend h…
Free open-access publishing with Google Scholar indexing.
Submission Guide →