Results 61 to 70 of about 67,415 (306)
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 +2 more sources
Synthetic approaches to the C11–C27 fragments of bryostatins [PDF]
Organic & Biomolecular Chemistry, 2017 Modified Julia reactions and reactions of lithated dithianes have been used to prepare intermediates for a synthesis of bryostatins.
Anthony P. Green +2 more
openaire +4 more sources
Advanced Science, EarlyView.An endoplasmic reticulum (ER)‐targeted chemodynamic nanoagent (TCBQ/iLD‐ER NPs) comprising •OH‐generating tetrachloro‐1,4‐benzoquinone (TCBQ) and lipid droplets (LDs) formation inhibitor (iLD) is developed for chemodynamic immunotherapy of tumors. After ingestion by cancer cells, TCBQ/iLD‐ER NPs preferentially accumulate in the ER and react with ER ...
Huilan Cai +12 more
wiley +1 more source
Advanced Science, EarlyView.This study identifies the mechanosensor PIEZO1 as a key factor in promoting acute myeloid leukemia progression and uncovers a ferroptosis defense system mediated by PIEZO1‐HIF1A‐SLC7A11 axis that is essential for leukemia stem cell maintenance. This ferroptotic defense system may represent a unique vulnerability for leukemia stem cells, providing a ...
Tiantian Zhang +10 more
wiley +1 more source
Interaction of monetary and fiscal policies in Turkey
Central Bank Review, 2020 This paper aims to investigate the interaction between monetary and fiscal policies in Turkey. For this purpose, a Bayesian Structural Vector Autoregression (SVAR) model with sign and zero restrictions is used. We particularly focus on how the fiscal and
Tayyar Büyükbaşaran +2 more
doaj +1 more source
Advanced Science, EarlyView.Defect‐configurational origins of the asymmetric apparent electrostrain are revealed in different piezoelectric ceramics via atomic‐scale visualization of defect configurations. Migration of oxygen vacancies leads to the electrobending effect in N2‐sintered BaTiO3, while defect dipoles in Ba0.99TiO2.99 generate true asymmetric electrostrain without ...
Jie Wang +7 more
wiley +1 more source
Wireless Sensor Networks for Ambient Assisted Living
Sensors, 2013 This paper introduces wireless sensor networks for Ambient Assisted Living as a proof of concept. Our workgroup has developed an arrhythmia detection algorithm that we evaluate in a closed space using a wireless sensor network to relay the information ...
Raúl Aquino-Santos +3 more
doaj +1 more source
Ferritinophagy Rewires Carnitine‐Dependent Lipid Metabolism to Inhibit PRRSV and IAV Replication
Advanced Science, EarlyView.NCOA4‐mediated ferritinophagy reprograms carnitine metabolism by disrupting Fe‐S cluster biogenesis, thereby establishing an iron‐lipid axis that suppresses various viruses, including PRRSV and IAV. However, viruses counteract this mechanism by degrading NCOA4.
Kaifeng Guan +7 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