Papers
Research papers from arXiv and related sources
Detecting nonequilibrium phase transitions via continuous monitoring of space-time trajectories and autoencoder-based clustering
The characterization of collective behavior and nonequilibrium phase transitions in quantum systems is typically rooted in the analysis of suitable system observables, so-called order parameters. T...
Erik Fitzner, Francesco Carnazza, Federico Carollo, Igor Lesanovsky
Non-Invasive Anemia Detection: A Multichannel PPG-Based Hemoglobin Estimation with Explainable Artificial Intelligence
Anemia is a prevalent hematological disorder that requires frequent hemoglobin monitoring for early diagnosis and effective management. Conventional hemoglobin assessment relies on invasive blood s...
Garima Sahu, Poorva Verma, Nachiket Tapas
Inferring Height from Earth Embeddings: First insights using Google AlphaEarth
This study investigates whether the geospatial and multimodal features encoded in \textit{Earth Embeddings} can effectively guide deep learning (DL) regression models for regional surface height ma...
Alireza Hamoudzadeh, Valeria Belloni, Roberta Ravanelli
Tri-Resonant Leptogenesis in a Non-Holomorphic Modular A$_4$ Scotogenic Model
We investigate low-scale baryogenesis \textit{via} tri-resonant leptogenesis within the scotogenic model with a scalar dark matter embedded in non-holomorphic modular $A_4$ symmetry framework. The ...
Tapender, Surender Verma
Disjunction Composition of BDD Transition Systems for Model-Based Testing
We introduce a compositional approach to model-based test generation in Behavior-Driven Development (BDD). BDD is an agile methodology in which system behavior is specified through textual scenario...
Tannaz Zameni, Petra van den Bos, Arend Rensink
Kolmogorov analysis of pulsar TOA
The Kolmogorov stochasticity parameter (KSP) as a sensitive descriptor of degree of randomness of signals is used to analyze the properties of the NANOGrav pulsar timing data associated to a stocha...
N. Galikyan, A. A. Kocharyan, V. G. Gurzadyan
Generating Rely-Guarantee Conditions with the Conditional-Writes Domain
Abstract interpretation has been shown to be a promising technique for the thread-modular verification of concurrent programs. Central to this is the generation of interferences, in the form of rel...
James Tobler, Graeme Smith
Graphene FET Process and Analysis Optimization in 200 mm Pilot Line Environment
The maturity of the chemical vapor deposition graphene-based device processing has increased from chip level demonstrations to wafer-scale fabrication in the past few years. Due to this wafer-scale...
Anton Murros, Miika Soikkeli, Anni Virta, Arantxa Maestre, Leire Morillo, Alba Centeno, Amaia Zur...
Breit corrections to moderately charged ions in all-orders calculations
The atomic properties of heavy, moderately-charged ions are important for a wide variety of applications, including precision tests of fundamental physics and for the study and development of atomi...
Andoni Skoufris, Benjamin M. Roberts
3D Scene Rendering with Multimodal Gaussian Splatting
3D scene reconstruction and rendering are core tasks in computer vision, with applications spanning industrial monitoring, robotics, and autonomous driving. Recent advances in 3D Gaussian Splatting...
Chi-Shiang Gau, Konstantinos D. Polyzos, Athanasios Bacharis, Saketh Madhuvarasu, Tara Javidi
TIFO: Time-Invariant Frequency Operator for Stationarity-Aware Representation Learning in Time Series
Nonstationary time series forecasting suffers from the distribution shift issue due to the different distributions that produce the training and test data. Existing methods attempt to alleviate the...
Xihao Piao, Zheng Chen, Lingwei Zhu, Yushun Dong, Yasuko Matsubara, Yasushi Sakurai
Projective Psychological Assessment of Large Multimodal Models Using Thematic Apperception Tests
Thematic Apperception Test (TAT) is a psychometrically grounded, multidimensional assessment framework that systematically differentiates between cognitive-representational and affective-relational...
Anton Dzega, Aviad Elyashar, Ortal Slobodin, Odeya Cohen, Rami Puzis
A Locality Radius Framework for Understanding Relational Inductive Bias in Database Learning
Foreign key discovery and related schema-level prediction tasks are often modeled using graph neural networks (GNNs), implicitly assuming that relational inductive bias improves performance. Howeve...
Aadi Joshi, Kavya Bhand
Environmental policy in the context of complex systems: Statistical optimization and sensitivity analysis for ABMs
Coupled human-environment systems are increasingly being understood as complex adaptive systems (CAS), in which micro-level interactions between components lead to emergent behavior. Agent-based mo...
Dylan Munson, Arijit Dey, Simon Mak
A Long-term Value Prediction Framework In Video Ranking
Accurately modeling long-term value (LTV) at the ranking stage of short-video recommendation remains challenging. While delayed feedback and extended engagement have been explored, fine-grained att...
Huabin Chen, Xinao Wang, Huiping Chu, Keqin Xu, Chenhao Zhai, Chenyi Wang, Kai Meng, Yuning Jiang
ALPS: A Diagnostic Challenge Set for Arabic Linguistic & Pragmatic Reasoning
While recent Arabic NLP benchmarks focus on scale, they often rely on synthetic or translated data which may benefit from deeper linguistic verification. We introduce ALPS (Arabic Linguistic & Prag...
Hussein S. Al-Olimat, Ahmad Alshareef
Quantifying the limits of human athletic performance: A Bayesian analysis of elite decathletes
Because the decathlon tests many facets of athleticism, including sprinting, throwing, jumping, and endurance, many consider it to be the ultimate test of athletic ability. On this view, estimating...
Paul-Hieu V. Nguyen, James M. Smoliga, Benton Lindaman, Sameer K. Deshpande
Product Hardy Spaces on Spaces of Homogeneous Type: Discrete Product Calderón-Type Reproducing Formula, Atomic Characterization, and Product Calderón--Zygmund Operators
Let $i\in\{1,2\}$ and $X_i$ be a space of homogeneous type in the sense of Coifman and Weiss with the upper dimension $ω_i$. Also let $η_i$ be the smoothness index of the Auscher--Hytönen wavelet f...
Ziyi He, Dachun Yang, Taotao Zheng
ReIn: Conversational Error Recovery with Reasoning Inception
Conversational agents powered by large language models (LLMs) with tool integration achieve strong performance on fixed task-oriented dialogue datasets but remain vulnerable to unanticipated, user-...
Takyoung Kim, Jinseok Nam, Chandrayee Basu, Xing Fan, Chengyuan Ma, Heng Ji, Gokhan Tur, Dilek Ha...
M2F: Automated Formalization of Mathematical Literature at Scale
Automated formalization of mathematics enables mechanical verification but remains limited to isolated theorems and short snippets. Scaling to textbooks and research papers is largely unaddressed, ...
Zichen Wang, Wanli Ma, Zhenyu Ming, Gong Zhang, Kun Yuan, Zaiwen Wen