Trending
Safe navigation within the spinal subarachnoid space is constrained by its narrow, compliant, and delicate anatomy. Conventional catheters and continuum robots rely on proximal pushing, generating friction and shear along the tissue device…
From 10 April 2024 15:00 UTC to 18 November 2025 16:00 UTC, the AdvancedVirgo+ gravitational wave detector participated in the LIGO-Virgo-KAGRA O4 observing run, started on 24 May 2023 15:00 UTC. Around 173 transient gravitational wave (GW)…
The existence of non-trivial solutions of homogeneous partial differential equations with prescribed support properties plays a fundamental role in the theory of linear partial differential operators. In this article, we establish the…
Applying policy optimization to Model Predictive Control (MPC) yields high-performance and reliable controllers. However, the resulting controllers often overfit their training conditions and suffer significant performance degradation in…
The Traffic Assignment Problem is a fundamental but computationally expensive component of transportation planning. While Graph Neural Networks have emerged as fast, data-driven surrogates, their practical deployment is severely constrained…
This study presents the first mathematical model of pulsatile hemodynamics that encompasses the complete pulmonary circulation, explicitly linking the large arteries, arterioles, capillaries, venules, and large veins. To overcome the…
Boots and Royle, and independently Cao and Vince, conjectured that the join of an edge and a path on $n-2$ vertices is the unique planar graph of maximum adjacency spectral radius for $n\geq 9$. Tait and Tobin (JCTB, 2017) proved the…
We study a five-agent CI/CD pipeline (triage -> developer -> security-scan -> review -> approve/deploy), built from five distinct production LLMs across three providers, behind an LLM firewall in shadow mode. A single untrusted input - an…
Fraud detection systems must scale with rising transaction volume while remaining explainable and reviewable. We study a layered pipeline on the PaySim dataset that combines a gradient-boosted classifier, graph-derived structural features,…
We propose a class of topological surface bands in three-dimensional topological crystalline insulators that have symmetry-protected cubic-order band touching. Within the symmetry constraint, the band dispersion can continuously vary…
In this paper, we construct a low-rank, structure preserving discontinuous Galerkin (DG) method to simulate the Vlasov-Poisson (VP) system coupled with the Dougherty Fokker-Planck (DFP) collision operator. When Coulomb collisions occur in…
This letter proves realistic grid properties limit the applicability of quantum computers for power flow. Grids that split into two large regions meeting at only a few buses, common in transmission networks, force the pseudo condition…
As pathogen genomic surveillance scales, the bottleneck is shifting from data generation to analysis. We present BioSecBench-Surveillance, a verifiable benchmark of 100 evaluations testing whether AI agents can infer the right analysis…
Whole-slide image (WSI) diagnosis requires identifying diagnostically relevant regions, examining them across magnifications, and integrating multi-scale evidence. However, most existing pathology benchmarks evaluate models on pre-cropped…
Nearby galaxies such as the Large Magellanic Cloud (LMC) offer an ideal laboratory to test the initial mass function under different physical conditions, but previous works have been limited by photometric depth and have therefore poorly…
Financial statement fraud detection (FSFD) is crucial for market integrity but faces challenges from increasingly sophisticated schemes and under-utilized textual data in financial reports. Existing methods often rely on random data splits,…
In this paper, we propose a weighted inverse Lax-Wendroff (WILW) boundary treatment for the discontinuous Galerkin (DG) method on unfitted meshes to efficiently solve hyperbolic conservation laws in complex geometries. The proposed method…
Practitioners make three prompt-design decisions with almost no controlled evidence behind them: how to format instructions and context (markdown, plain text, prose, or tabular), how many simultaneous instructions a system prompt can carry…
We prove that a smooth projective non-uniruled surface of Picard rank one, generated by an ample and base point free line bundle, cannot be covered by an isotrivial family of smooth curves in the primitive polarisation.
We present a formally exact variational scheme for the overdamped Brownian dynamics of pairwise interacting many-body systems in general spatiotemporal nonequilibrium. A joint free power minimization principle determines instantaneously the…