Results 81 to 90 of about 76,513 (294)
Advanced Science, EarlyView.A latent diffusion‐based framework is proposed for designing functionally graded metamaterials with perfect connectivity. By integrating vector‐quantized latent representations with mechanistic guidance, the framework enables accurate inverse design toward target elastic properties.
Jongbin Yu, Dosung Lee, Namjung Kim
wiley +1 more source
Mepce Restrains Ferroptosis in Prostate Cancer Through 7SK–P‐TEFb Pause Control
Advanced Science, EarlyView.Genome‐wide CRISPR screening identifies MEPCE as a pause‐control regulator that restrains ferroptosis in prostate cancer. MEPCE loss releases P‐TEFb/CDK9 from 7SK snRNP control, enhances RNAPII Ser2 phosphorylation, and accelerates NRF2‐HMOX1‐driven labile iron accumulation and lipid peroxidation, revealing a transcriptional kinetic gate that lowers ...
Tongtong Zhang +9 more
wiley +1 more source
Advanced Science, EarlyView.TSTScope is an interpretable AI framework that integrates single‐cell transcriptomes with TCR information through curated gene‐program constraints. By linking receptor context to functional T cell states, it reveals response‐associated tumor‐specific T cell programs in lung cancer immunotherapy cohorts and defines an MPR score associated with ...
Shiwei Cao +8 more
wiley +1 more source
Quorum sensing-controlled gene expression in lactic acid bacteria [PDF]
, 1998 Quorum sensing in lactic acid bacteria (LAB) involves peptides that are directly sensed by membrane-located histidine kinases, after which the signal is transmitted to an intracellular response regulator. This regulator in turn activates transcription of
Vos, W.M., de +18 more
core +2 more sources
Aliasing Restrictions of C11 Formalized in Coq [PDF]
, 2013 The C11 standard of the C programming language describes dynamic typing restrictions on memory operations to make more effective optimizations based on alias analysis possible. These restrictions are subtle due to the low-level nature of C, and have not been treated in a formal semantics before.
openaire +2 more sources
A Program Logic for C11 Memory Fences [PDF]
, 2015 We describe a simple, but powerful, program logic for reasoning about C11 relaxed accesses used in conjunction with release and acquire memory fences. Our logic, called fenced separation logic FSL, extends relaxed separation logic with special modalities for describing state that has to be protected by memory fences.
Marko Doko, Viktor Vafeiadis
openaire +3 more sources
Advanced Science, EarlyView.PTEN knockdown activates AKT phosphorylation, promoting Nrf2 nuclear translocation and STAT3 activation, which upregulates GPX4 and antioxidant enzymes HO‐1, SOD1, SOD2, and NQO1. These coordinated changes reduce lipid peroxidation and ROS, inhibit ferroptosis, and ultimately ameliorate cognitive impairment in APP/PS1 transgenic mice, highlighting a ...
Da‐Wei Wang +5 more
wiley +1 more source
A denotational account of C11-style memory
CoRR, 2018 We introduce a denotational semantic framework for shared-memory concurrent programs in a C11-style memory model. This denotational approach is an alternative to techniques based on "execution graphs" and axiomatizations, and it allows for compositional reasoning.
Ryan Kavanagh, Stephen Brookes
openaire +2 more sources
Advanced Science, EarlyView.LDHA‐driven lactate production in mesenchymal glioma stem cells promotes p300‐dependent H3K18 lactylation, activates USP30 transcription, and stabilizes MBOAT2 to remodel phosphatidylethanolamines toward ferroptosis‐resistant PE‐MUFA species. Disrupting this metabolic–epigenetic–lipid circuit enhances ferroptosis and sensitizes glioblastoma to ...
Zong Miao +13 more
wiley +1 more source