Papers
Research papers from arXiv and related sources
The Asteroid Framing Cameras on ESA's Hera mission
As the first asteroid deflection test, NASA's successfully hit asteroid Dimorphos (secondary of the binary asteroid 65803 Didymos) with the DART kinetic impactor on September 26, 2022. To fully cha...
Jean-Baptiste Vincent, Gábor Kovács, Balázs V. Nagy, Frank Preusker, Naomi Murdoch, Maurizio Pajo...
Exact Interpolation under Noise: A Reproducible Comparison of Clough-Tocher and Multiquadric RBF Surfaces
This paper presents a reproducible comparison of cubic and radial basis function (RBF) interpolants for multivariate surface analysis. To eliminate evaluation bias, both methods are assessed under ...
Mirkan Emir Sancak
Need for Speed: Zero-Shot Depth Completion with Single-Step Diffusion
We introduce Marigold-SSD, a single-step, late-fusion depth completion framework that leverages strong diffusion priors while eliminating the costly test-time optimization typically associated with...
Jakub Gregorek, Paraskevas Pegios, Nando Metzger, Konrad Schindler, Theodora Kontogianni, Lazaros...
Implicit Statistical Inference in Transformers: Approximating Likelihood-Ratio Tests In-Context
In-context learning (ICL) allows Transformers to adapt to novel tasks without weight updates, yet the underlying algorithms remain poorly understood. We adopt a statistical decision-theoretic persp...
Faris Chaudhry, Siddhant Gadkari
TacLoc: Global Tactile Localization on Objects from a Registration Perspective
Pose estimation is essential for robotic manipulation, particularly when visual perception is occluded during gripper-object interactions. Existing tactile-based methods generally rely on tactile s...
Zirui Zhang, Boyang Zhang, Fumin Zhang, Huan Yin
A Bipartite Graph Approach to U.S.-China Cross-Market Return Forecasting
This paper studies cross-market return predictability through a machine learning framework that preserves economic structure. Exploiting the non-overlapping trading hours of the U.S. and Chinese eq...
Jing Liu, Maria Grith, Xiaowen Dong, Mihai Cucuringu
FP-Predictor - False Positive Prediction for Static Analysis Reports
Static Application Security Testing (SAST) tools play a vital role in modern software development by automatically detecting potential vulnerabilities in source code. However, their effectiveness i...
Tom Ohlmer, Michael Schlichtig, Eric Bodden
From Verification to Herding: Exploiting Software's Sparsity of Influence
Software verification is now costly, taking over half the project effort while failing on modern complex systems. We hence propose a shift from verification and modeling to herding: treating testin...
Tim Menzies, Kishan Kumar Ganguly
3D Spectrum Awareness for Radio Dynamic Zones Using Kriging and Matrix Completion
Radio Dynamic Zones (RDZs) are geographically defined areas specifically allocated for testing new wireless technologies. It is essential to safeguard the regular spectrum users outside the zones f...
Mushfiqur Rahman, Sung Joon Maeng, Ismail Guvenc, Chau-Wai Wong
CSST-PSFNet: A Point Spread Function Reconstruction Model for the CSST Based on Deep Learning
This paper presents CSST-PSFNet, a deep learning method for high-fidelity point spread function (PSF) reconstruction developed for the Chinese Space Station Survey Telescope (CSST). The model integ...
Peipei Wang, Peng Wei, Chao Liu, Rui Wang, Feng Wang, Xin Zhang
Information-Theoretic Spectroscopy: Universal Sparsity of Extinction Manifold and Optimal Sensing across Scattering Regimes
The inverse reconstruction of material properties from optical extinction efficiency (Qext) is constrained by the high-dimensional nature of Mie scattering. We demonstrate that the Qext manifold po...
Proity Nayeeb Akbar
On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares
We prove an explicit almost-prime analogue of Legendre's conjecture. Namely, for every integer $n \geq 1$, the interval $(n^2,(n+1)^2)$ contains an integer having at most $3$ prime factors, counted...
Peter Campbell
Optimized combination of independent or simultaneous e-values
We show that a class of optimized e-value combinations, arising from a standard construction of e-processes, remains valid even when the tuning parameter is optimized based on the data. This result...
Jiahao Ming, Yi Shen, Ruodu Wang
Equilibrium under Time-Inconsistency: A New Existence Theory by Vanishing Entropy Regularization
This paper studies time-inconsistent stochastic control problems in a continuous-time setting. The time-inconsistency arises from the initial-time dependence such as the non-exponential discounting...
Zhenhua Wang, Xiang Yu, Jingjie Zhang, Zhou Zhou
Simulation-in-the-Reasoning (SiR): A Conceptual Framework for Empirically Grounded AI in Autonomous Transportation
Large Language Models (LLMs) have advanced reasoning through techniques like Chain-of-Thought (CoT). However, their reasoning largely re-mains textual and hypothetical, lacking empirical grounding ...
Wuping Xin
Instant Runoff Voting on Graphs: Exclusion Zones and Distortion
We study instant-runoff voting (IRV) under metric preferences induced by an unweighted graph where each vertex hosts a voter, candidates occupy some vertices (with a single candidate allowed in suc...
Georgios Birmpas, Georgios Chionas, Efthyvoulos Drousiotis, Soodeh Habibi, Marios Mavronicolas, P...
Post-Quantum Entropy as a Service for Embedded Systems
Embedded cryptography stands or falls on entropy quality, yet small devices have few trustworthy sources and little tolerance for heavyweight protocols. We build a Quantum Entropy as a Service (QEa...
Javier Blanco-Romero, Yuri Melissa Garcia-Niño, Florina Almenares Mendoza, Daniel Díaz-Sánchez, C...
SpecOps: A Fully Automated AI Agent Testing Framework in Real-World GUI Environments
Autonomous AI agents powered by large language models (LLMs) are increasingly deployed in real-world applications, where reliable and robust behavior is critical. However, existing agent evaluation...
Syed Yusuf Ahmed, Shiwei Feng, Chanwoo Bae, Calix Barrus Xiangyu Zhang
A Robust Deep Learning Framework for Bangla License Plate Recognition Using YOLO and Vision-Language OCR
An Automatic License Plate Recognition (ALPR) system constitutes a crucial element in an intelligent traffic management system. However, the detection of Bangla license plates remains challenging b...
Nayeb Hasin, Md. Arafath Rahman Nishat, Mainul Islam, Khandakar Shakib Al Hasan, Asif Newaz
High-Fidelity Digital Twin Dataset Generation for Inverter-Based Microgrids Under Multi-Scenario Disturbances
Public power-system datasets often lack electromagnetic transient (EMT) waveforms, inverter control dynamics, and diverse disturbance coverage, which limits their usefulness for training surrogate ...
Osasumwen Cedric Ogiesoba-Eguakun, Kaveh Ashenayi, Suman Rath