Results 31 to 40 of about 3,681,577 (346)
Short Proofs for Slow Consistency
, 2020 Let $\operatorname{Con}(\mathbf T)\!\restriction\!x$ denote the finite consistency statement "there are no proofs of contradiction in $\mathbf T$ with $\leq x$ symbols".
Freund, Anton, Pakhomov, Fedor
core +1 more source
Update Consistency for Wait-free Concurrent Objects [PDF]
, 2015 In large scale systems such as the Internet, replicating data is an essential feature in order to provide availability and fault-tolerance. Attiya and Welch proved that using strong consistency criteria such as atomicity is costly as each operation may ...
Jard, Claude +2 more
core +3 more sources
Frontiers in PharmacologyHeart failure is the most costly cardiovascular disorder. New treatments are urgently needed. This study aims to evaluate the safety, pharmacokinetics, and pharmacodynamic profile of HEC95468, a soluble guanylate cyclase (sGC) stimulator, in healthy ...
Yu-zhou Gui +17 more
doaj +1 more source
Journal of Multidisciplinary Healthcare, 2023 Shasha Geng,1,2,* Yang Li,1,2,* Jianli Ge,1,2 Xiaotong Guo,1,2 Yue Liu,1,2 Hua Jiang1,2 1Department of General Practice, Shanghai East Hospital, Tongji University School of Medicine, Shanghai, People’s Republic of China; 2Department of Geriatrics,
Geng S +5 more
doaj
CAP 2013 reform: consistency between agricultural challenges and measures
Apstract: Applied Studies in Agribusiness and Commerce, 2015 The latest reform of the Common Agricultural Policy has just been accepted, identifying important challenges for EU agriculture but proposing only limited changes to the previous CAP. Now it is time for the implementation of the new measures.
József Popp +2 more
doaj +1 more source
Consistency and Optimality [PDF]
, 2011 Assume that the problem Qo is not solvable in polynomial time. For theories T containing a sufficiently rich part of true arithmetic we characterize T U {ConT} as the minimal extension of T proving for some algorithm that it decides Qo as fast as any algorithm B with the property that T proves that B decides Qo.
Chen, Yijia +2 more
openaire +3 more sources
Consistency Conditions for Holographic Duality [PDF]
, 2000 We show that if the beta functions of a field theory are given by the gradient of a certain potential on the space of couplings, a gravitational background in one more dimension can express the renormalization group (RG) flow of the theory.
Balasubramanian, Vijay +2 more
core +3 more sources
The Consistency of Textbook “Pathway to English For SMA/MA Grade X” with the 2013 Curriculum
ELT Forum: Journal of English Language Teaching, 2018 The aim of the study is to analyze whether the textbook “Pathway to English for SMA/MA Grade X” publisehd by Erlangga pass the BSNP assessment and the content is consistent with the 2013 Curriculum.
Noor Laili, C. Murni Wahyanti
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Pediatric patients with extracranial solid tumors (ST) receiving chemotherapy are at an increased risk for Pneumocystis jirovecii pneumonia (PJP). However, evidence guiding prophylaxis practices in this population is limited. A PJP‐related fatality at our institution highlighted inconsistent prescribing approaches and concerns about
Kriti Kumar +8 more
wiley +1 more source
Sickle Cell Disease Is an Inherent Risk for Asthma in a Sibling Comparison Study
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Sickle cell disease (SCD) and asthma share a complex relationship. Although estimates vary, asthma prevalence in children with SCD is believed to be comparable to or higher than the general population. Determining whether SCD confers an increased risk for asthma remains challenging due to overlapping symptoms and the ...
Suhei C. Zuleta De Bernardis +9 more
wiley +1 more source