Health
988 storiesPublic health and medicine worldwide — sourced from WHO News.
3-VASS Reachability is in EXPSPACE
arXiv:2607.14983v1 Announce Type: new Abstract: A VASS can be viewed as a finite-state automaton manipulating a fixed number (called its dimension) of counters holding non-negative values. The reachability problem, askin…
Demographically-Conditioned Synthetic Medical Images for Bias Mitigation and Bias Detection in Disease Classifiers
arXiv:2607.14984v1 Announce Type: new Abstract: Per-subgroup fairness audits of medical image classifiers face a sample-size problem: minority subgroups in held-out test sets have so few samples that the resulting confid…
Quantum XYZ Stabilizer Codes
arXiv:2607.14988v1 Announce Type: new Abstract: Stabilizer codes are often constructed within the Calderbank--Shor--Steane (CSS) framework, where two mutually orthogonal binary classical codes define $X$ and $Z$-type sta…
OmniaBench: Benchmarking General AI Agents Across Diverse Scenarios
arXiv:2607.14989v1 Announce Type: new Abstract: Large language models are increasingly evolving from text generators into general agents capable of understanding user requests, invoking external tools, and completing com…
JADE-GS: Joint Alternating Deblurring Guided by Events in 3D Gaussian Splatting
arXiv:2607.14990v1 Announce Type: new Abstract: When a camera moves fast during exposure, blur destroys the intra-exposure motion a 3D model needs to recover the sharp scene, while event cameras capture exactly this sign…
Multimodal Semantic-Aware Contrastive Learning For False Negative Mitigation in 3D Medical Imaging
arXiv:2607.14995v1 Announce Type: new Abstract: Multimodal Contrastive Learning (CL) has shown significant performance in aligning representations across various data modalities and improving downstream tasks, especially…
AeroAct: Action-Centered World-Action Models for Language-Conditioned Quadrotor Flight
arXiv:2607.14997v1 Announce Type: new Abstract: Language-conditioned quadrotor flight requires a policy to ground semantic goals, anticipate the visual consequences of ego-motion, and output control references that remai…
Moral Attitudes of Sentient ASI towards Humanity and Implications for AGI Development
arXiv:2607.14998v1 Announce Type: new Abstract: This paper suggests the adoption of a novel inversion in AI ethics: instead of asking how humans should treat artificial superintelligence (ASI), it examines how future sen…
Verification of a DPLL Transition System in Rocq
arXiv:2607.14999v1 Announce Type: new Abstract: We present a formal verification of an abstract transition-system presentation of the Davis-Putnam-Logemann-Loveland (DPLL) procedure in the Rocq proof assistant. Following…
SMC-ES: Automated synthesis of formally verified control policies
arXiv:2607.15003v1 Announce Type: new Abstract: The deployment of autonomous cyber-physical systems in safety-critical environments requires closed-loop control strategies (i.e., policies) that are not only performant bu…
CosFly-VLA: A Spatially Aware Vision-Language-Action Model for UAV Tracking
arXiv:2607.15004v1 Announce Type: new Abstract: Dynamic target tracking is essential for Unmanned Aerial Vehicles (UAVs) operating in complex urban environments, where both the target and the camera viewpoint change cont…
Differentiable Routability-Driven Package Floorplanning with Pin Assignment
arXiv:2607.15005v1 Announce Type: new Abstract: As advanced packaging technology evolves, increasing interconnect density in redistribution layers (RDLs) makes routability critical to package floorplanning. Meanwhile, po…
When AI Blurs the Boundaries of Contribution: An Empirical Study of Authorship Calibration
arXiv:2607.15006v1 Announce Type: new Abstract: The broad adoption of Artificial Intelligence (AI), especially Generative AI, raises pressing questions about how users interact with these systems to produce new content. …
Risk-Aware Belief Control Barrier Functions over Random Finite Sets
arXiv:2607.15016v1 Announce Type: new Abstract: Ensuring robot safety in unknown, dynamic environments is a fundamental requirement. It involves inferring the states of an unknown and time-varying number of moving object…
Fully discrete least-squares splitting scheme for the Monge-Amp\`ere equation: finite element analysis and convergence
arXiv:2607.15024v1 Announce Type: new Abstract: The least-squares splitting algorithm for the Monge-Amp\`ere equation has been used successfully in computations for several years, but a convergence theory for fully discr…
Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust
arXiv:2607.15025v1 Announce Type: new Abstract: This paper presents LEAF, an instrumentation-based dynamic analysis framework for Rust. Although Rust has grown rapidly in recent years, the landscape of program analysis t…
Roman-Type Domination on Convex and Chordal Bipartite Graphs: Algorithms and Hardness
arXiv:2607.15026v1 Announce Type: new Abstract: Roman domination and its variants form an important family of domination-type graph parameters motivated by protection, fault tolerance, and resource allocation. A Roman do…
Man, Machine, and Masterpiece: Artistic Ownership in the AI Era
arXiv:2607.15027v1 Announce Type: new Abstract: The integration of AI-driven systems in creative work has sparked debates among artists and legal communities about notions of ownership. Yet there remains little consensus…
Towards realistic large random models of labeled transition systems and their 0-1 laws
arXiv:2607.15029v1 Announce Type: new Abstract: Model checking is the automated verification of properties (specified in some modal logic) in labeled transition systems (LTSs); it is an essential tool in ensuring softwar…
URVC: A Unified Real-Time Neural Video Coding Model with Temporal, Spatial, and Perceptual Adaptivity
arXiv:2607.15033v1 Announce Type: new Abstract: Neural video coding has advanced rapidly, achieving competitive compression performance while also enabling real-time coding speed. Yet, existing codecs exhibit severe rigi…