Papers
Research papers from arXiv and related sources
Enhancing Hyperspace Analogue to Language (HAL) Representations via Attention-Based Pooling for Text Classification
The Hyperspace Analogue to Language (HAL) model relies on global word co-occurrence matrices to construct distributional semantic representations. While these representations capture lexical relati...
Ali Sakour, Zoalfekar Sakour
AGILE: A Comprehensive Workflow for Humanoid Loco-Manipulation Learning
Recent advances in reinforcement learning (RL) have enabled impressive humanoid behaviors in simulation, yet transferring these results to new robots remains challenging. In many real deployments, ...
Huihua Zhao, Rafael Cathomen, Lionel Gulich, Wei Liu, Efe Arda Ongan, Michael Lin, Shalin Jain, S...
A New Multi-Constraint Potential Field Source Surface (PFSS) Extrapolation Model
The Potential Field Source Surface (PFSS) model is the most used approach for extrapolating the global coronal magnetic field, offering efficiency and strong performance at large scales. However, P...
C. Antonio, I. Chifu, R. Gafeira, J. J. G. Lima
Classifier-Based Nonparametric Sequential Hypothesis Testing
We consider the problem of constructing sequential power-one tests where the null and alternative classes are specified indirectly through historical or offline data. More specifically, given an of...
Chia-Yu Hsu, Shubhanshu Shekhar
Numerically stable equations for the orbital evolution of compact object binaries
The orbital and eccentricity evolution for compact object binaries through gravitational wave emission first derived by Peters and Mathews are used extensively throughout the gravitational wave com...
Max M. Briel, Jeff J. Andrews
BioDCASE 2026 Challenge Baseline for Cross-Domain Mosquito Species Classification
Mosquito-borne diseases affect more than one billion people each year and cause close to one million deaths. Traditional surveillance methods rely on traps and manual identification that are slow, ...
Yuanbo Hou, Vanja Zdravkovic, Marianne Sinka, Yunpeng Li, Wenwu Wang, Mark D. Plumbley, Kathy Wil...
Cislunar State and Uncertainty Propagation via the Modified Generalized Equinoctial Orbital Elements
The complex cislunar dynamical environment poses challenges for spacecraft navigation and Space Domain Awareness (SDA) operations, where the knowledge of current and future spacecraft states is ess...
Maaninee Gupta, Kyle J. DeMars
Trojan horse hunt in deep forecasting models: Insights from the European Space Agency competition
Forecasting plays a crucial role in modern safety-critical applications, such as space operations. However, the increasing use of deep forecasting models introduces a new security risk of trojan ho...
Krzysztof Kotowski, Ramez Shendy, Jakub Nalepa, Agata Kaczmarek, Dawid Płudowski, Piotr Wilczyńsk...
Sharing The Secret: Distributed Privacy-Preserving Monitoring
In traditional runtime verification, a system is typically observed by a monolithic monitor. Enforcing privacy in such settings is computationally expensive, as it necessitates heavy cryptographic ...
Mahyar Karimi, K. S. Thejaswini, Roderick Bloem, Thomas A. Henzinger
Inference in high-dimensional logistic regression under tensor network dependence
We investigate the problem of statistical inference for logistic regression with high-dimensional covariates in settings where dependence among individuals is induced by an underlying Markov random...
Josh Miles, Sohom Bhattacharya
Feasible Deviations from Unitarity with Vector-Like Quark Singlets
We deduce pertinent relations between the elements of the CKM matrix, and find that not all of these are totally compatible with experiment and/or the assumption of the $3 \times 3$ unitarity. We i...
Francisco Albergaria, Francisco J. Botella, G. C. Branco, José Filipe Bastos, J. I. Silva-Marcos
CoverageBench: Evaluating Information Coverage across Tasks and Domains
We wish to measure the information coverage of an ad hoc retrieval algorithm, that is, how much of the range of available relevant information is covered by the search results. Information coverage...
Saron Samuel, Andrew Yates, Dawn Lawrie, Ian Soboroff, Trevor Adriaanse, Benjamin Van Durme, Euge...
Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
Automated program verifiers are often organized into a front-end, which encodes an input program into an intermediate verification language (IVL), and a back-end, which proves that the IVL program ...
Hongyi Ling, Thibault Dardinier, Ellen Arlt, Peter Müller
Evaluating Test-Time Adaptation For Facial Expression Recognition Under Natural Cross-Dataset Distribution Shifts
Deep learning models often struggle under natural distribution shifts, a common challenge in real-world deployments. Test-Time Adaptation (TTA) addresses this by adapting models during inference wi...
John Turnbull, Shivam Grover, Amin Jalali, Ali Etemad
Stone-in-Waiting: A Cloud-Based Accelerator for the Quantum Approximate Optimization Algorithm
The Quantum Approximate Optimization Algorithm (QAOA) and its advanced variant, the Quantum Alternating Operator Ansatz (QAOA), are major research topics in the current era of Noisy Intermediate-Sc...
Shuai Zeng
X-World: Controllable Ego-Centric Multi-Camera World Models for Scalable End-to-End Driving
Scalable and reliable evaluation is increasingly critical in the end-to-end era of autonomous driving, where vision--language--action (VLA) policies directly map raw sensor streams to driving actio...
Chaoda Zheng, Sean Li, Jinhao Deng, Zhennan Wang, Shijia Chen, Liqiang Xiao, Ziheng Chi, Hongbin ...
Model-Driven Learning-Based Physical Layer Authentication for Mobile Wi-Fi Devices
The rise of wireless technologies has made the Internet of Things (IoT) ubiquitous, but the broadcast nature of wireless communications exposes IoT to authentication risks. Physical layer authentic...
Yijia Guo, Junqing Zhang, Yao-Win Peter Hong, Stefano Tomasin
Interpreting Reinforcement Learning Model Behavior via Koopman with Control
Reinforcement learning (RL) models have shown the capability of learning complex behaviors, but quantitatively assessing those behaviors - which is critical for safety assurance and the discovery o...
William T. Redman
HiPath: Hierarchical Vision-Language Alignment for Structured Pathology Report Prediction
Pathology reports are structured, multi-granular documents encoding diagnostic conclusions, histological grades, and ancillary test results across one or more anatomical sites; yet existing patholo...
Ruicheng Yuan, Zhenxuan Zhang, Anbang Wang, Liwei Hu, Xiangqian Hua, Yaya Peng, Jiawei Luo, Guang...
On the Capacity of Future Lane-Free Urban Infrastructure
In this paper, the potential capacity and spatial efficiency of future autonomous lane-free traffic in urban environments are explored using a combination of analytical and simulation-based approac...
Patrick Malcolm, Klaus Bogenberger