Results 81 to 90 of about 77,699 (297)
Advanced Science, EarlyView.Lipid metabolism plays a vital role in viral infections. Here, we reveal that the lyssavirus N protein regulates GPAT4 to induce lipid droplet biogenesis, restricting CYB5R1 palmitoylation and reducing ferroptosis susceptibility to ultimately promote viral replication.
Jianqing Zhao +6 more
wiley +1 more source
The crystal structure of rArc-CTD in complex with NbArc-H11 and -C11.
, 2022 A The overall structure. The CTD of rArc is shown in blue to red from the N- to the C-terminus. NbArc-H11 is shown in orange and NbArc-C11 in purple. CDR 1, 2, and 3 are coloured blue, green, and red, respectively.
Helene J. Bustad (12822332) +9 more
core +1 more source
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.Helicobacter pylori infection induces sustained upregulation of the RNA‐binding protein IGF2BP1 in gastric epithelial cells, establishing a persistent epitranscriptomic program. IGF2BP1 stabilizes SLC7A11 mRNA in an m6A‐dependent manner to suppress ferroptosis and promote epithelial survival under oxidative stress. Pharmacological inhibition of IGF2BP1
Jing Ning +20 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.The SIRT5/ACAA2 axis maintains lipid metabolic homeostasis in RTECs by promoting ACAA2 desuccinylation and preserving its stability and enzymatic activity, thereby sustaining FAO and limiting PUFA and PUFA‐containing phospholipid accumulation. Under CaOx stress, SIRT5 downregulation impairs FAO, promotes oxidative stress and ferroptosis, and enhances ...
Qinhong Jiang +6 more
wiley +1 more source
, 2019 International audienceConditions allowing the C10‐ and C11‐arylations of dibenzo[b,f]azepines via successive palladium‐catalyzed reactions are reported.
Doucet, Henri +3 more
core +1 more source
Isabelle/HOL files for "Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies"
, 2022 Isabelle/HOL files for the paper "Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies". Tested for Isabelle 2022.
Mark Batty (14063657) +3 more
core +1 more source