Ward: Education

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…

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…

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…

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…

111

Bizarre Plants That Quit Photosynthesis Still Find a Way to Thrive

A bizarre group of underground plants shows how life can thrive even after abandoning sunlight and sex. Not all plants are green or rely on sexual reproduction, and these exceptions can reveal surprising insights into what it really means to be a plant. A new study involving researchers from Kobe Un…

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…

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…

109

A Post-Quantum Secure End-to-End Verifiable E-Voting Protocol Based on Multivariate Polynomials

arXiv:2512.17613v1 Announce Type: new
Abstract: Voting is a primary democratic activity through which voters select representatives or approve policies. Conventional paper ballot elections have several drawbacks that might compromise the fairness, effectiveness, and accessibility of the voting proc…

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 …

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 …

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…

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…

111

Fine-Tuning Masked Diffusion for Provable Self-Correction

arXiv:2510.01384v3 Announce Type: replace
Abstract: A natural desideratum for generative models is self-correction--detecting and revising low-quality tokens at inference. While Masked Diffusion Models (MDMs) have emerged as a promising approach for generative modeling in discrete spaces, their cap…

109

EMAG: Self-Rectifying Diffusion Sampling with Exponential Moving Average Guidance

arXiv:2512.17303v1 Announce Type: new
Abstract: In diffusion and flow-matching generative models, guidance techniques are widely used to improve sample quality and consistency. Classifier-free guidance (CFG) is the de facto choice in modern systems and achieves this by contrasting conditional and u…

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…

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…

109

Modelling financial time series with $\phi^{4}$ quantum field theory

arXiv:2512.17225v1 Announce Type: cross
Abstract: We use a $\phi^{4}$ quantum field theory with inhomogeneous couplings and explicit symmetry-breaking to model an ensemble of financial time series from the S$\&$P 500 index. The continuum nature of the $\phi^4$ theory avoids the inaccuracies that oc…

109

Machine Learning-Driven Predictive Resource Management in Complex Science Workflows

arXiv:2509.11512v2 Announce Type: replace
Abstract: The collaborative efforts of large communities in science experiments, often comprising thousands of global members, reflect a monumental commitment to exploration and discovery. Recently, advanced and complex data processing has gained increasing…

108

Adaptive Covariance and Quaternion-Focused Hybrid Error-State EKF/UKF for Visual-Inertial Odometry

arXiv:2512.17505v1 Announce Type: new
Abstract: This study presents an innovative hybrid Visual-Inertial Odometry (VIO) method for Unmanned Aerial Vehicles (UAVs) that is resilient to environmental challenges and capable of dynamically assessing sensor reliability. Built upon a loosely coupled sens…