7,357 papers

cs.MA2026

Learning to Incentivise: Using Reinforcement Learning for Sustainable Urban Mobility

Germán Pardo-González, Shaghayegh Vosough, Katerina Papadaki +1

Traffic management has traditionally focused on toll-based and road pricing solutions. However, road pricing often raises concerns about accessibility and public dissatisfaction, l…

eess.SY2026★ 1 cited

Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures

Leonardo Picchiami, Maxime Parmentier, Axel Legay +2

Model-based formal verification of industry-relevant Cyber-Physical Systems (CPSs) is often a computationally prohibitive task. In most cases, the complexity of the models preclude…

math.LO2026

From Cell Decomposition to Motivic Integration, Hensel Minimality, and Point Counting

Raf Cluckers

Following Macintyre's quantifier elimination result for semi-algebraic -adic sets from 1976, Denef's cell decomposition from 1984 has played a catalyzing role for both motivic i…

eess.SY2026

STELLA: A 16nm Spatio-Temporal Elastic Low-Latency CGRA for Multi-Stage Pipelined Applications

Jun Yin, Chao Fang, Ryan Antonio +4

Emerging non-matrix ML kernels, such as LayerNorm, GeLu, FFT or circular convolutions, demand low-latency, energy-efficient spatial accelerators beyond MatMul-centric arrays. STELL…

astro-ph.EP2026

VLTI/MATISSE observations of the hot dust around Pictoris: Observing faint objects with MATISSE

P. Priolet, J. -C. Augereau, J. Milli +32

Context: Hot exozodiacal dust has been detected around approximately 20% of nearby main-sequence stars, indicating that it is a common feature of extrasolar planetary systems. Howe…

astro-ph.SR2026

ALMA's sharpest view of IRAS 08544-4431: Unveiling the dust distribution asymmetries in the circumbinary disk

Maksym Mohorian, Devika Kamath, Elizabeth Cappellazzo +10

The interactions between post-asymptotic giant branch (post-AGB) binaries and their circumbinary disks play a central role in shaping the evolution of these systems. Circumbinary d…

astro-ph.EP2026

Probing Exoplanetary Chemistry with Ariel: Scientific Priorities and Observational Strategies

Olivia Venot, Yamila Miguel, Robin Baeyens +30

Over the past two decades, increasingly precise observations have revealed that exoplanet atmospheres are chemically diverse and often far from equilibrium, with processes such as…

cs.DL2026

Reading the Data Back: Enriching Variable-Level Metadata for Model-Data Consistency Checks

Eryk Kulikowski

Purpose: Research data repositories often lack variable-level metadata. Model-choice screening, checking whether a reported model suits the values of its outcome variable, also req…

astro-ph.SR2026

Open Clusters as Laboratories for Cool Star Evolution: Highlights from the Cool Stars 23 Splinter Session

Deepak Chahal, Beatrice Caccherano, Edward Gillen +16

Open clusters remain among the most powerful laboratories for calibrating how fundamental stellar properties such as rotation, magnetic activity, surface chemistry, and internal st…

astro-ph.SR2026

Multiplicity of Cool Stars and their Evolution

Matthew I. Swayne, Leen Decin, Theo Khouri +12

Making up a sizeable portion of the galactic census, stellar multiples are experiencing a renaissance. Enabling the study of multiple strands of the study of cool stars, stellar mu…

astro-ph.SR2026

Exploring Late Stellar Evolution in the Era of Large Surveys: Machine Learning Prospects for Hot Subdwarfs and White Dwarfs

Princy Ranaivomanana, Murat Uzundag

The rapid growth of large-scale astronomical surveys and advances in data-driven analysis techniques have transformed the study of late-stage stellar evolution. Modern facilities a…

stat.ML2026

LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs

Maria-Nicoleta Crăciun, C. -H. Luke Ong, Tom Schrijvers +1

Hamiltonian Monte Carlo (HMC) is a successful generic inference method in probabilistic programming, but in its ordinary formulation it needs gradients and finite-dimensional param…

cs.CR2026

dfence: Fine-Grained Speculation Barriers for Efficient and Effective Hardware-Software Protection in the Spectre Era (Extended Version)

Davide Davoli, Marton Bognar, Lesly-Ann Daniel +3

Speculative execution attacks such as Spectre-PHT and Spectre-STL remain a critical security concern in modern processors. While software-based mitigations like Speculative Load Ha…

astro-ph.SR2026

The symphony of pulsations and binarity among massive stars using HERMES spectroscopy and TESS photometry

K. Thomson-Paressant, D. M. Bowman, F. Nardini +16

A wide range of variability mechanisms exist among intermediate mass and massive stars, which are not yet fully understood. Using complementary data sources for a large population…

eess.AS2026

Leveraging Beam Search Information for Confidence Estimation in E2E ASR

Yichen Jia, Hugo Van hamme

To estimate confidence for end-to-end Automatic Speech Recognition (ASR) systems, recent research has proposed Confidence Estimation Modules that incorporate features from the back…

physics.gen-ph2026

Multiplicity of Massive Stars at Low Metallicity: Early Results from the BLOeM Campaign

T. Shenar, J. Bodensteiner, M. Abdul-Masih +73

Massive stars at low metallicity (Z) play a central role in shaping the high-redshift Universe, yet their multiplicity remains poorly constrained. The Binarity at Low Metallicity (…

astro-ph.SR2026

High-Frequency Magnetohydrodynamic Waves with Substantial Energy in the Solar Polar Corona

Yuhang Gao, Hui Tian, Richard Morton +5

The acceleration and heating of the fast solar wind remain long-standing challenges in space physics. One type of leading theoretical models requires high-frequency magnetohydrodyn…

cs.AR2026

HiKV: Hierarchical Importance-Aware KV Cache with Hardware Acceleration for LLM Decoding

Chao Fang, Jun Yin, Man Shi +1

With the rapid adoption of long-context large language models (LLMs), the continuously growing KV cache during decoding has become the critical memory bottleneck. To tackle this ch…

physics.optics2026

Laser Remelting for Reduced Porosity on Additively Manufactured Aluminium Mirrors

Joshua West, Valentina Oyarzun, Marcell Westsik +17

Additively manufactured (AM) AlSi10Mg mirrors are fabricated through laser powder bed fusion (LPBF), allowing the use of complex geometries such as lattices and organic structures…

cs.LO2026

Towards a Certifying Grounder

Daimy Van Caudenberg, Alexander Ek, Carlos Cantero +1

Grounding, the translation of high-level theories into equivalent quantifier-free formulas, is a crucial step in declarative solving, yet it has so far escaped the proof-logging re…

gr-qc2026

The impact of physically motivated calibration errors on search pipeline detection parameters for broadband burst Signals

Milan Wils, Brad Ratto, Jeffrey S. Kissel +4

Imperfections in the calibration of gravitational wave observatories introduce frequency dependent amplitude and phase errors on the measured GW signal. Previous unmodelled burst s…

astro-ph.GA2026

Isomer-specific excitation of formic acid in collisions with helium atoms

Karina Sogomonyan, Anzhela Veselinova-Marinova, François Lique +1

An accurate estimation of the molecular abundances of isomers in the interstellar medium (ISM) is necessary to unravel the underlying chemistry and physics. After the recent detect…

astro-ph.EP2026

CORALIE radial-velocity search for companions around evolved stars (CASCADES) V. Three planetary companions and achievable precision

P. Figueira, E. Fontanet, J. P. Faria +9

Aims. We expand the planetary census around massive stellar hosts through a long-term campaign of high-precision radial velocity (RV) measurements on evolved stars. Methods. We ana…

astro-ph.SR2026

Binarity at LOw Metallicity (BLOeM): massive star variability revealed using a novel software tool for point-spread function fitting of TESS images

Pieterjan J. Van Daele, Dominic M. Bowman, Roey Ovadia +12

Massive stars, the progenitors of neutron stars and black holes, play a crucial role in shaping the chemical and radiative properties of entire galaxies through their winds and exp…