Tootfinder

Non-linear associations of amyloid-$\beta$ with resting-state functional networks and their cognitive relevance in a large community-based cohort of cognitively normal older adults
Junjie Wu, Benjamin B Risk, Taylor A James, Nicholas Seyfried, David W Loring, Felicia C Goldstein, Allan I Levey, James J Lah, Deqiang Qiu
https://arxiv.org/ab…

Non-linear associations of amyloid-$β$ with resting-state functional networks and their cognitive relevance in a large community-based cohort of cognitively normal older adults
Background: Non-linear alterations in brain network connectivity may represent early neural signatures of Alzheimer's disease (AD) pathology in cognitively normal older adults. Understanding these changes and their cognitive relevance could provide sensitive biomarkers for early detection. Most prior studies recruited participants from memory clinics, often with subjective memory concerns, limiting generalizability. Methods: We examined 14 large-scale functional brain networks in 968 cognitiv…

A Trace-based Approach for Code Safety Analysis
Hui Xu
https://arxiv.org/abs/2510.10410 https://arxiv.org/pdf/2510.10410

A Trace-based Approach for Code Safety Analysis
Rust is a memory-safe programming language that disallows undefined behavior. Its safety guarantees have been extensively examined by the community through empirical studies, which has led to its remarkable success. However, unsafe code remains a critical concern in Rust. By reviewing the safety design of Rust and analyzing real-world Rust projects, this paper establishes a systematic framework for understanding unsafe code and undefined behavior, and summarizes the soundness criteria for Rust …