Papers
Research papers from arXiv and related sources
Idempotent Slices with Applications to Code-Size Reduction
Given a value computed within a program, an idempotent backward slice with respect to this value is a maximal subprogram that computes it. An informal notion of an idempotent slice has previously b...
Rafael Alvarenga de Azevedo, Daniel Augusto Costa de Sa, Rodrigo Caetano Rocha, Fernando Magno Qu...
A Semi-spontaneous Dutch Speech Dataset for Speech Enhancement and Speech Recognition
We present DRES: a 1.5-hour Dutch realistic elicited (semi-spontaneous) speech dataset from 80 speakers recorded in noisy, public indoor environments. DRES was designed as a test set for the evalua...
Dimme de Groot, Yuanyuan Zhang, Jorge Martinez, Odette Scharenborg
The Flint Hills Series, Mixed Tate Motives, and a Criterion for the Irrationality Measure of $π$
We undertake a rigorous structural analysis of the Flint Hills series $S = \sum_{n=1}^{\infty} \frac{1}{n^3 \sin^2 n}$. Our primary contribution is a reduction theorem that expresses $S$ as a linea...
Carlos Lopez Zapata
Finetuning a Text-to-Audio Model for Room Impulse Response Generation
Room Impulse Responses (RIRs) enable realistic acoustic simulation, with applications ranging from multimedia production to speech data augmentation. However, acquiring high-quality real-world RIRs...
Kirak Kim, Sungyoung Kim
No evaluation without fair representation : Impact of label and selection bias on the evaluation, performance and mitigation of classification models
Bias can be introduced in diverse ways in machine learning datasets, for example via selection or label bias. Although these bias types in themselves have an influence on important aspects of fair ...
Magali Legast, Toon Calders, François Fouss
On the last time and the number of times an estimator is more than epsilon from its target value
Suppose $\widehatθ_n$ is a strongly consistent estimator for $θ_0$ in some i.i.d. situation. Let $N_\varepsilon$ and $Q_\varepsilon$ be respectively the last $n$ and the total number of $n$ for whi...
Nils Lid Hjort, Grete Fenstad
The Architecture of Inter-Level Representation
Inter-level connections in science routinely require constructs that neither of the connected theories contains. Statistical mechanics requires assumptions such as the Stosszahlansatz to generate t...
Harry Sticker
Analytic treatment of a polaron in a nonparabolic conduction band
We develop and compare several analytical approximations for the polaron problem in finite-width, non-parabolic conduction bands. The main focus of the work is an extension of the Feynman variation...
S. N. Klimin, J. Tempere, M. Houtput, I. Zappacosta, S. Ragni, T. Hahn, L. Celiberti, C. Franchin...
Build, Borrow, or Just Fine-Tune? A Political Scientist's Guide to Choosing NLP Models
Political scientists increasingly face a consequential choice when adopting natural language processing tools: build a domain-specific model from scratch, borrow and adapt an existing one, or simpl...
Shreyas Meher
Benchmarking Dataset for Presence-Only Passive Reconnaissance in Wireless Smart-Grid Communications
Benchmarking presence-only passive reconnaissance in smart-grid communications is challenging because the adversary is receive-only, yet nearby observers can still alter propagation through additio...
Bochra Al Agha, Razane Tajeddine
SCDP: Learning Humanoid Locomotion from Partial Observations via Mixed-Observation Distillation
Distilling humanoid locomotion control from offline datasets into deployable policies remains a challenge, as existing methods rely on privileged full-body states that require complex and often unr...
Milo Carroll, Tianhu Peng, Lingfan Bao, Chengxu Zhou, Zhibin Li
a-TMFG: Scalable Triangulated Maximally Filtered Graphs via Approximate Nearest Neighbors
The traditional Triangular Maximally Filtered Graph (TMFG) construction requires pre-computation and storage of a dense correlation matrix; this limits its applicability to small and medium-sized d...
Lionel Yelibi
GeoSolver: Scaling Test-Time Reasoning in Remote Sensing with Fine-Grained Process Supervision
While Vision-Language Models (VLMs) have significantly advanced remote sensing interpretation, enabling them to perform complex, step-by-step reasoning remains highly challenging. Recent efforts to...
Lang Sun, Ronghao Fu, Zhuoran Duan, Haoran Liu, Xueyan Liu, Bo Yang
CTPX1: A Highly Integrated and High-Throughput Data-Driven Camera Based on Timepix4
The upgrade of the China Spallation Neutron Source (CSNS-II) will raise the proton beam power to 500 kW. Consequently, the existing Timepix3-based detector systems, limited to a count rate of 80 Mh...
Qicai Li, Hongbin Liu, Xingfen Jiang, Jianrong Zhou, Yujie Zhou, Haoran Guo, Dongcheng Cai, Weile...
Backward problem for a degenerate viscous Hamilton-Jacobi equation: stability and numerical identification
This work is devoted to the analysis of the backward problem for a viscous Hamilton-Jacobi equation with degenerate diffusion and a general Hamiltonian that is not necessarily quadratic. First, we ...
S. E. Chorfi, A. Habbal, M. Jahid, L. Maniar, A. Ratnani
Context-Nav: Context-Driven Exploration and Viewpoint-Aware 3D Spatial Reasoning for Instance Navigation
Text-goal instance navigation (TGIN) asks an agent to resolve a single, free-form description into actions that reach the correct object instance among same-category distractors. We present \textit...
Won Shik Jang, Ue-Hwan Kim
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Word-level verification of arithmetic circuits with large operands typically relies on arbitrary-precision arithmetic, which can lead to significant computational overhead as word sizes grow. In th...
Clemens Hofstadler, Daniela Kaufmann, Chen Chen
Development of Readout Electronics for a High-Speed Event-Driven Neutron Imaging Detector Based on Timepix4
As the Chinese Spallation Neutron Source enters Phase II, the increase in proton beam power will lead to a further boost in the intensity of pulsed neutron beams. To address the demand for higher e...
Qicai Li, Hongbin Liu, Dongcheng Cai, Haoran Guo, Xingfen Jiang, Haiyun Teng, Kai Wang, Xiuku Wan...
Enhanced security in Quantum Token protocols using Hybrid Spin-Photon Interfaces
Quantum token protocols enable unforgeable quantum tokens promising unconditional security beyond classical cryptographic assumptions. We show here that the three stages of the Quantum token protoc...
Durga Bhaktavatsala Rao Dasari, Yang Wang, Jörg Wrachtrup
OmniEarth: A Benchmark for Evaluating Vision-Language Models in Geospatial Tasks
Vision-Language Models (VLMs) have demonstrated effective perception and reasoning capabilities on general-domain tasks, leading to growing interest in their application to Earth observation. Howev...
Ronghao Fu, Haoran Liu, Weijie Zhang, Zhiwen Lin, Xiao Yang, Peng Zhang, Bo Yang