Papers
Research papers from arXiv and related sources
Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
Time-invariant finite-dimensional systems, under reasonable continuity assumptions, exhibit the property that if solutions exist for all future times, the set of vectors reachable from a bounded se...
Hernan Haimovich, Jose L. Mancilla-Aguilar
Pruning for efficient deterministic global optimization over trained ReLU neural networks
Neural networks are increasingly used as surrogates in optimization problems to replace computationally expensive models. However, embedding ReLU neural networks in mathematical programs introduces...
Giacomo Lastrucci, Tanuj Karia, Victor Schulte, Dominik Bongartz, Artur M. Schweidtmann
Granger Causality in Expectiles: an M-vine copula test
A model-free measure of Granger causality in expectiles is proposed, generalizing the traditional mean-based measure to arbitrary positions of the conditional distribution. Expectiles are the only ...
Roberto Fuentes-Martínez, Irene Crimaldi
Knot-10:A Tightness-Stratified Benchmark for Real-World Knot Classification with Topological Difficulty Analysis
Physical knot classification is a fine-grained visual classification (FGVC) scenario in which appearance cues are deliberately suppressed: different classes share the same rope material, color, and...
Shiheng Nie, Yunguang Yue
A Comparative Study of Machine Learning Models for Hourly Forecasting of Air Temperature and Relative Humidity
Accurate short-term forecasting of air temperature and relative humidity is critical for urban management, especially in topographically complex cities such as Chongqing, China. This study compares...
Jiaqi Dong
Multi-Modal Image Fusion via Intervention-Stable Feature Learning
Multi-modal image fusion integrates complementary information from different modalities into a unified representation. Current methods predominantly optimize statistical correlations between modali...
Xue Wang, Zheng Guan, Wenhua Qian, Chengchao Wang, Runzhuo Ma
Gyokuro: Source-assisted Private Membership Testing using Trusted Execution Environments
Private Membership Testing (PMT) protocols enable clients to verify whether a certain data item is included in a database without revealing the item to the database operator or other external parti...
Yoshimichi Nakatsuka, Nicolas Dutly, Kari Kostiainen, Srdjan Capkun
Scalable Impedance Identification of Diverse IBRs via Cluster-Specialized Neural Networks
Modern machine learning approaches typically identify the impedance of a single inverter-based resource (IBR) and assume similar impedance characteristics across devices. In modern power systems, h...
Quang Manh Hoang, Guilherme Vieira Hollweg, Bang Nguyen, Akhtar Hussain, Wencong Su, Van-Hai Bui
SAiW: Source-Attributable Invisible Watermarking for Proactive Deepfake Defense
Deepfakes generated by modern generative models pose a serious threat to information integrity, digital identity, and public trust. Existing detection methods are largely reactive, attempting to id...
Bibek Das, Chandranath Adak, Soumi Chattopadhyay, Zahid Akhtar, Soumya Dutta
PHANTOM Hand
Tendon-driven underactuated hands excel in adaptive grasping but often suffer from kinematic unpredictability and highly non-linear force transmission. This ambiguity limits their ability to perfor...
Teng Yan, Jiongxu Chen, Qixiang Hua, Yue Yu, Zihang Wang, Yaohua Liu, Bingzhuo Zhong
Polaris: A Gödel Agent Framework for Small Language Models through Experience-Abstracted Policy Repair
Gödel agent realize recursive self-improvement: an agent inspects its own policy and traces and then modifies that policy in a tested loop. We introduce Polaris, a Gödel agent for compact models th...
Aditya Kakade, Vivek Srivastava, Shirish Karande
Agentic Verifier-in-the-Loop Solver Orchestration for Cell-Free Massive MIMO Downlink Power Control
Cell-free massive multiple-input multiple-output (MIMO) systems can provide uniformly strong service through distributed access points, but performance still depends critically on downlink power co...
Zhichao Gao
Power System Studies Using Open-Access Software
The use of open-access software is an option that can be considered by those interested in power system studies. In addition, the combination of two or more of these tools can expand the capabiliti...
Juan A. Martinez-Velasco, Pau Casals-Torrens, Ricard Bosch-Tous, Alexandre Serrano-Fontova
DSO Led-Bilevel Optimization Framework for TSO-DSO Coordination across Active Distribution Networks
This work presents a bilevel coordination model that captures the hierarchical interaction between the transmission and distribution layers under a Distribution System Operator(DSO)-led configurati...
Fernando García-Muñoz, Martín Venegas Escalona
MedCausalX: Adaptive Causal Reasoning with Self-Reflection for Trustworthy Medical Vision-Language Models
Vision-Language Models (VLMs) have enabled interpretable medical diagnosis by integrating visual perception with linguistic reasoning. Yet, existing medical chain-of-thought (CoT) models lack expli...
Jianxin Lin, Chunzheng Zhu, Peter J. Kneuertz, Yunfei Bai, Yuan Xue
Post-Selection Distributional Model Evaluation
Formal model evaluation methods typically certify that a model satisfies a prescribed target key performance indicator (KPI) level. However, in many applications, the relevant target KPI level may ...
Amirmohammad Farzaneh, Osvaldo Simeone
Light fermionic dark matter window in the scotogenic inverse seesaw model
The origin of neutrino mass and the nature of dark matter (DM) remain unresolved puzzles in particle physics, and an appealing possibility is to address both in a unified picture. This paper explor...
Huan-Can Liang, Yi Liao, Xiao-Dong Ma, Mu-Yuan Song, Hao-Lin Wang
Traffic Sign Recognition in Autonomous Driving: Dataset, Benchmark, and Field Experiment
Traffic Sign Recognition (TSR) is a core perception capability for autonomous driving, where robustness to cross-region variation, long-tailed categories, and semantic ambiguity is essential for re...
Guoyang Zhao, Weiqing Qi, Kai Zhang, Chenguang Zhang, Zeying Gong, Zhihai Bi, Kai Chen, Benshan M...
On the Suboptimality of Rate--Distortion-Optimal Compression: Fundamental Accuracy Limits for Distributed Localization
We derive fundamental accuracy limits for distributed localization when a fusion center has access only to independently rate-distortion (RD)-optimally compressed versions of multi-sensor observati...
Amir Weiss
In-orbit Test of the Weak Equivalence Principle with Atom Interferometry
The Weak Equivalence Principle (WEP) is a central pillar of general relativity. Its precise test with quantum systems in space offers a unique window onto new physics. Here we report the first in-o...
Dan-Fang Zhang, Jing-Ting Li, Wen-Zhang Wang, Wei-Hao Xu, Jia-Yi Wei, Xiao Li, Yi-Bo Wang, Dong-F...