Huan Zhang

Low shear stress promotes atherosclerosis by inducing endothelial ferroptosis via the P53/xCT pathway

Jiawei Hu, Ya-Peng Chen, Ai-Qun Chen, Jing-Qi Tang et autres

Background Atherosclerotic lesions commonly develop in curved or bifurcated arteries, where blood flow exhibits characteristics of low shear stress (LSS). Subjected to LSS continually, endothelial cells (ECs) adopt a pro-atherosclerotic phenotype. Ferroptosis is a recently identified form of controlled cell demise prompted …

cn (code pays fourni par la source)

E-Globe: Scalable $ε$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching

Wenting Li, Saif R. Kazi, Russell W. Bent, Duo Zhou et autres

Neural networks achieve strong empirical performance, but robustness concerns still hinder deployment in safety-critical applications. Formal verification provides robustness guarantees, but current methods face a scalability-completeness trade-off. We propose a hybrid verifier in a branch-and-bound (BaB) framework that efficiently tightens both upper …

E-Globe: Scalable $ε$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching

Wenting Li, Saif R. Kazi, Russell W. Bent, Duo Zhou et autres

Neural networks achieve strong empirical performance, but robustness concerns still hinder deployment in safety-critical applications. Formal verification provides robustness guarantees, but current methods face a scalability-completeness trade-off. We propose a hybrid verifier in a branch-and-bound (BaB) framework that efficiently tightens both upper …