Ward: Education

430

Analytical Stackelberg Resource Allocation in Sequential Attacker--Defender Games

arXiv:2512.17284v1 Announce Type: new
Abstract: We develop an analytical Stackelberg game framework for optimal resource allocation in a sequential attacker--defender setting with a finite set of assets and probabilistic attacks. The defender commits to a mixed protection strategy, after which the …

331

Mr.MSTE: Multi-robot Multi-Source Term Estimation with Wind-Aware Coverage Control

arXiv:2512.17001v1 Announce Type: new
Abstract: This paper presents a Multi-Robot Multi-Source Term Estimation (MRMSTE) framework that enables teams of mobile robots to collaboratively sample gas concentrations and infer the parameters of an unknown number of airborne releases. The framework is bui…

342

A Practical Solution to Systematically Monitor Inconsistencies in SBOM-based Vulnerability Scanners

arXiv:2512.17710v1 Announce Type: new
Abstract: Software Bill of Materials (SBOM) provides new opportunities for automated vulnerability identification in software products. While the industry is adopting SBOM-based Vulnerability Scanning (SVS) to identify vulnerabilities, we increasingly observe i…

329

SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review

arXiv:2512.17540v1 Announce Type: new
Abstract: Automating code review with Large Language Models (LLMs) shows immense promise, yet practical adoption is hampered by their lack of reliability, context-awareness, and control. To address this, we propose Specification-Grounded Code Review (SGCR), a f…

322

Asymptotic behaviour of galactic small-scale dynamos at modest magnetic Prandtl number

arXiv:2512.17885v1 Announce Type: cross
Abstract: Magnetic fields are critical at many scales to galactic dynamics and structure, including multiphase pressure balance, dust processing, and star formation. Dynamo action determines their dynamical structure and strength. Simulations of combined larg…

329

Task Schema and Binding: A Double Dissociation Study of In-Context Learning

arXiv:2512.17325v1 Announce Type: new
Abstract: We provide causal mechanistic validation that in-context learning (ICL) decomposes into two separable mechanisms: Task Schema (abstract task type recognition) and Binding (specific input-output associations). Through activation patching experiments ac…

240

BumpNet: A Sparse Neural Network Framework for Learning PDE Solutions

arXiv:2512.17198v1 Announce Type: new
Abstract: We introduce BumpNet, a sparse neural network framework for PDE numerical solution and operator learning. BumpNet is based on meshless basis function expansion, in a similar fashion to radial-basis function (RBF) networks. Unlike RBF networks, the bas…

233

Cooperative Energy Scheduling of Multi-Microgrids Based on Risk-Sensitive Reinforcement Learning

arXiv:2512.17246v1 Announce Type: new
Abstract: With the rapid development of distributed renewable energy, multi-microgrids play an increasingly important role in improving the flexibility and reliability of energy supply. Reinforcement learning has shown great potential in coordination strategies…

221

Accelerating Hybrid Model Predictive Control using Warm-Started Generalized Benders Decomposition

arXiv:2406.00780v2 Announce Type: replace
Abstract: Hybrid model predictive control with both continuous and discrete variables is widely applicable to robotic control tasks, especially those involving contacts with the environment. Due to combinatorial complexity, the solving speed of hybrid MPC c…

222

ATRO: A Fast Algorithm for Topology Engineering of Reconfigurable Datacenter Networks

arXiv:2507.13717v3 Announce Type: replace
Abstract: Reconfigurable data center networks (DCNs) enhance traditional architectures with optical circuit switches (OCSs), enabling dynamic reconfiguration of inter-pod links, i.e., the logical topology. Optimizing this topology is crucial for adapting to…

221

A traditional Brazilian plant shows unexpected strength against arthritis

A Brazilian study has confirmed that Joseph’s Coat, a plant used for generations in folk medicine, can significantly reduce inflammation and arthritis symptoms in lab tests. Researchers observed less swelling, healthier joints, and signs of tissue protection. Just as important, the extract showed a …

223

Are Vision Language Models Cross-Cultural Theory of Mind Reasoners?

arXiv:2512.17394v1 Announce Type: new
Abstract: Theory of Mind (ToM) -- the ability to attribute beliefs, desires, and emotions to others -- is fundamental for human social intelligence, yet remains a major challenge for artificial agents. Existing Vision-Language Models (VLMs) are increasingly app…

219

SHARP-QoS: Sparsely-gated Hierarchical Adaptive Routing for joint Prediction of QoS

arXiv:2512.17262v1 Announce Type: new
Abstract: Dependable service-oriented computing relies on multiple Quality of Service (QoS) parameters that are essential to assess service optimality. However, real-world QoS data are extremely sparse, noisy, and shaped by hierarchical dependencies arising fro…

221

Exploring the Effect of Basis Rotation on NQS Performance

arXiv:2512.17893v1 Announce Type: cross
Abstract: Neural Quantum States (NQS) use neural networks to represent wavefunctions of quantum many-body systems, but their performance depends on the choice of basis, yet the underlying mechanism remains poorly understood. We use a fully solvable one-dimens…

119

GraphCue for SDN Configuration Code Synthesis

arXiv:2512.17371v1 Announce Type: new
Abstract: We present GraphCue, a topology-grounded retrieval and agent-in-the-loop framework for automated SDN configuration. Each case is abstracted into a JSON graph and embedded using a lightweight three-layer GCN trained with contrastive learning. The neare…

118

Methods and Tools for Secure Quantum Clouds with a specific Case Study on Homomorphic Encryption

arXiv:2512.17748v1 Announce Type: new
Abstract: The rise of quantum computing/technology potentially introduces significant security challenges to cloud computing, necessitating quantum-resistant encryption strategies as well as protection schemes and methods for cloud infrastructures offering quan…

120

Optimizing Text Search: A Novel Pattern Matching Algorithm Based on Ukkonen's Approach

arXiv:2512.16927v1 Announce Type: new
Abstract: In the realm of computer science, the efficiency of text-search algorithms is crucial for processing vast amounts of data in areas such as natural language processing and bioinformatics. Traditional methods like Naive Search, KMP, and Boyer-Moore, whi…

120

EarXplore: An Open Research Database on Earable Interaction

arXiv:2507.20656v2 Announce Type: replace
Abstract: Interaction with sensor-augmented earphones, referred to as earables or hearables, represents a major area of earable research. Proximate to the head and reachable by hand, earables support diverse interactions and can detect multiple inputs simul…

121

A cut finite element method for the Biot system of poroelasticity

arXiv:2512.17521v1 Announce Type: new
Abstract: We propose a novel cut finite element method for the numerical solution of the Biot system of poroelasticity. The Biot system couples elastic deformation of a porous solid with viscous fluid flow and commonly arises on domains with complex geometries …

111

GraphCompNet: A Position-Aware Model for Predicting and Compensating Shape Deviations in 3D Printing

arXiv:2502.09652v3 Announce Type: replace
Abstract: Shape deviation modeling and compensation in additive manufacturing are pivotal for achieving high geometric accuracy and enabling industrial-scale production. Critical challenges persist, including generalizability across complex geometries and a…