Tootfinder

DarTwin made precise by SysMLv2 -- An Experiment
{\O}ystein Haugen, Stefan Klikovits, Martin Arthur Andersen, Jonathan Beaulieu, Francis Bordeleau, Joachim Denil, Joost Mertens
https://arxiv.org/abs/2510.12478

DarTwin made precise by SysMLv2 -- An Experiment
The new SysMLv2 adds mechanisms for the built-in specification of domain-specific concepts and language extensions. This feature promises to facilitate the creation of Domain-Specific Languages (DSLs) and interfacing with existing system descriptions and technical designs. In this paper, we review these features and evaluate SysMLv2's capabilities using concrete use cases. We develop DarTwin DSL, a DSL that formalizes the existing DarTwin notation for Digital Twin (DT) evolution, through SysMLv…

Existence of uniform Temple charts and applications to null distance
Benjamin Meco, Anna Sakovich, Christina Sormani
https://arxiv.org/abs/2509.11281 https://

Existence of uniform Temple charts and applications to null distance
In this paper, we prove that Temple's cylindrical future null coordinate charts can be constructed uniformly and we estimate the gradients of their optical functions. We then apply these charts to study a spacetime $(N,g)$ that has been converted into a definite metric space $(N,\hat{d}_τ)$, where $\hat{d}_τ$ is the null distance of Sormani and Vega defined using a locally anti-Lipschitz (in the sense of Chrusciel, Grant, and Minguzzi) generalized time function $τ$. In particular, in the cas…

Particle creation in a cosmological background in analogy to the Schwinger effect
Walter D. van Suijlekom, Michael F. Wondrak, Heino Falcke
https://arxiv.org/abs/2510.09481 http…

Particle creation in a cosmological background in analogy to the Schwinger effect
We consider a gravitational analogue of the Schwinger effect in a cosmological context. While the Schwinger effect is usually attributed to a static electric background, its derivation is actually based on a switching on/off of the electric field in the infinite past/future. Motivated by this, and our previous work on particle production in a gravitational background, we consider a long pulse of the gravitational field in an FLRW-spacetime, thus simulating a static background. We rigorously der…

Quantifying Emergent Behaviors in Agent-Based Models using Mean Information Gain
Sebasti\'an Rodr\'iguez-Falc\'on, Luciano Stucchi
https://arxiv.org/abs/2510.10381 h…

Quantifying Emergent Behaviors in Agent-Based Models using Mean Information Gain
Emergent behaviors are a defining feature of complex systems, yet their quantitative characterization remains an open challenge, as traditional classifications rely mainly on visual inspection of spatio-temporal patterns. In this Letter, we propose using the Mean Information Gain (MIG) as a metric to quantify emergence in Agent-Based Models. The MIG is a conditional entropy-based metric that quantifies the lack of information about other elements in a structure given certain known properties. W…

Universal syndrome-based recovery for noise-adapted quantum error correction
Debjyoti Biswas, Prabha Mandayam
https://arxiv.org/abs/2510.08719 https://arxi…

Universal syndrome-based recovery for noise-adapted quantum error correction
Quantum error correction (QEC) is an essential tool for quantum computing that enables reliable information processing in the presence of noise. Syndrome measurements play a central role in QEC, making it possible to unambiguously identify the location and type of errors. While syndrome extraction is natural for conventional QEC protocols, where the errors satisfy certain algebraic constraints \emph{perfectly}, this feature is largely missing in the framework of approximate or noise-adapted QEC…

Fast Real-Time Pipeline for Robust Arm Gesture Recognition
Mil\'an Zsolt Bagladi, L\'aszl\'o Guly\'as, Gerg\H{o} Szalay
https://arxiv.org/abs/2509.25042 https://…

Fast Real-Time Pipeline for Robust Arm Gesture Recognition
This paper presents a real-time pipeline for dynamic arm gesture recognition based on OpenPose keypoint estimation, keypoint normalization, and a recurrent neural network classifier. The 1 x 1 normalization scheme and two feature representations (coordinate- and angle-based) are presented for the pipeline. In addition, an efficient method to improve robustness against camera angle variations is also introduced by using artificially rotated training data. Experiments on a custom traffic-control …

Coordinated vs. Sequential Transmission Planning
Maya Domeshek, Christoph Graf, Bur\c{c}in \"Unel
https://arxiv.org/abs/2509.24959 https://arxiv.org/p…

Coordinated vs. Sequential Transmission Planning
Coordinated planning of generation, storage, and transmission more accurately captures the interactions among these three capacity types necessary to meet electricity demand, at least in theory. However, in practice, U.S. system operators typically follow a sequential planning approach: They first determine future generation and storage additions based on an assumed unconstrained (`copper plate') system. Next, they perform dispatch simulations of this projected generation and storage capacity m…

ADARI: Visualizing the quality of VLT data
C. E. Garc\'ia-Dab\'o, P. Beirao, Z. Kostrzewa, A. Gabasch, B. Wolff, M. White, M. Deshpande, B. Miszalski, P. Corcho-Caballero, C. Onken, A. Heng, M. Gonz\'alez
https://arxiv.org/abs/2510.00147

ADARI: Visualizing the quality of VLT data
ADARI (Astronomical DAta Reporting Infrastructure) is a system designed for creating graphical reports of astronomical data so that the quality of these products can be assessed. It has been designed from the ground up to be backend-agnostic, meaning the same ADARI code can be sent to a web plotting API, or a code-based plotting API, with no alteration. Quick data inspection is an important feature in data reduction systems. The use cases range from quality control at the telescope, advance q…

Towards Verified Code Reasoning by LLMs
Meghana Sistla, Gogul Balakrishnan, Pat Rondon, Jos\'e Cambronero, Michele Tufano, Satish Chandra
https://arxiv.org/abs/2509.26546 ht…

Towards Verified Code Reasoning by LLMs
While LLM-based agents are able to tackle a wide variety of code reasoning questions, the answers are not always correct. This prevents the agent from being useful in situations where high precision is desired: (1) helping a software engineer understand a new code base, (2) helping a software engineer during code review sessions, and (3) ensuring that the code generated by an automated code generation system meets certain requirements (e.g. fixes a bug, improves readability, implements a featur…

Quantum Autoencoder: An efficient approach to quantum feature map generation
Shengxin Zhuang, Yusen Wu, Xavier F. Cadet, Du Q. Huynh, Wei Liu, Philippe Charton, Cedric Damour, Frederic Cadet, Jingbo B. Wang
https://arxiv.org/abs/2509.19157

Quantum Autoencoder: An efficient approach to quantum feature map generation
Quantum machine learning methods often rely on fixed, hand-crafted quantum encodings that may not capture optimal features for downstream tasks. In this work, we study the power of quantum autoencoders in learning data-driven quantum representations. We first theoretically demonstrate that the quantum autoencoder method is efficient in terms of sample complexity throughout the entire training process. Then we numerically train the quantum autoencoder on 3 million peptide sequences, and evaluate…