Results 121 to 130 of about 949,278 (287)
Advanced Science, EarlyView.In microglia, STAT3 upregulates TAB2, which promotes NF‐κB activation through its NZF domain‐mediated recognition of K63‐linked ubiquitin chains, leading to inflammatory cytokine release and subsequent neuronal injury. Lumacaftor suppresses TAB2 expression and directly binds the TAB2‐NZF domain to interrupt K63 ubiquitin recognition, thereby blocking ...
Yanhao Zhao +12 more
wiley +1 more source
Advanced Science, EarlyView.Ex‐spRandom is a spatial transcriptomics platform that synergizes random‐primed chemistry with iterative hydrogel expansion. By physically decrowding the dense FFPE matrix, this scalable technology shatters the traditional resolution‐sensitivity barrier.
Shunji Zhang +7 more
wiley +1 more source
Advanced Science, EarlyView.Integrative multi‐cohort analyses identify 14‐3‐3γ as a biomarker and regulator of cognitive vulnerability. Experimental studies show that 14‐3‐3γ loss is associated with Tau Thr205 phosphorylation, synaptic dysfunction, and cognitive impairment, while genetic overexpression or pharmacological stabilization of 14‐3‐3γ confers protective effects in ...
Shouqiang Zhu +5 more
wiley +1 more source
Advanced Science, EarlyView.Non‐canonical amino acids (ncAAs) enhance peptide therapeutics but remain difficult to model computationally. SinCAA, a similarity‐enhanced pretraining framework, jointly optimizes contrastive learning guided by a novel conformational similarity metric with masked node reconstruction, capturing both functional relationships and chemical identity of ...
Chencheng Xu +8 more
wiley +1 more source
DLF: A Deep Active Ensemble Learning Framework for Test Case Generation
InformationHigh-quality test cases are vital for ensuring software reliability and security. However, existing symbolic execution tools generally rely on single-path search strategies, have limited feature extraction capability, and exhibit unstable model ...
Yaogang Lu, Yibo Peng, Dongqing Zhu
doaj +1 more source
Advanced Science, EarlyView.NSUN2 and m5C decline in URSA villous tissues. Trophoblast Nsun2 ablation disrupts macrophage‐mediated maternal‐fetal tolerance and triggers embryo resorption. Mechanistically, NSUN2‐YBX1 axis stabilizes m5C‐modified TGFB1 mRNA to maintain TGF‐β1 secretion and M2 polarization, and restoring this signaling rescues maternal‐fetal immune tolerance to ...
Xiaoxiao Zhu +10 more
wiley +1 more source
A Determined Algorithm of Code Analysis of Commodity Software
Безопасность информационных технологий, 2013 This article is devoted to the algorithm, which allows in finite iterations to determine required values of input data for certain state of software, or to prove that these values do not exist.
Ilya Viktorovich Arzamartsev +1 more
doaj
Formal Program Verification Using Symbolic Execution
, 2018 Symbolic execution provides a mechanism for formally proving programs correct. A notation is introduced which allows a concise presentation of rules of inference based on symbolic execution. Using this notation, rules of inference are developed to handle
George W. Ernst (5417063) +1 more
core +1 more source
Advanced Science, EarlyView.We use lysine‐to‐glutamine mutations to study the effect of electrostatics on the kinetics and thermodynamics of alpha‐synuclein amyloid fibril formation. We find that mutational effects map on their structural context within fibrils and identify residues that modulate the energy landscape of alpha‐synuclein self‐assembly. Our work outlines a scalable,
Antonin Kunka +10 more
wiley +1 more source
Advanced Science, EarlyView.A pathology‐informed engineering strategy rescues reconstituted HDL from inflammatory dysfunction in sepsis. By integrating a ceria nanozyme‐celastrol coordination complex, the platform preserves HDL structure and endotoxin handling, sustains hierarchical intracellular delivery, and enhances immunoregulation across pathological models, translating ...
Han Zhou +12 more
wiley +1 more source