Results 51 to 60 of about 16,758,400 (349)
Relational Verification Using Product Programs [PDF]
, 2011 Relational program logics are formalisms for specifying and verifying properties about two programs or two runs of the same program. These properties range from correctness of compiler optimizations or equivalence between two implementations of an abstract data type, to properties like non-interference or determinism.
Barthe G., Crespo J.M., Kunz C.
openaire +1 more source
The Short Chain Fatty Acid Butyrate Imprints an Antimicrobial Program in Macrophages
Immunity, 2019 &NA; Host microbial cross‐talk is essential to maintain intestinal homeostasis. However, maladaptation of this response through microbial dysbiosis or defective host defense toward invasive intestinal bacteria can result in chronic inflammation.
J. Schulthess +14 more
semanticscholar +1 more source
Vector boson pair production at the LHC [PDF]
, 2011 We present phenomenological results for vector boson pair production at the LHC, obtained using the parton-level next-to-leading order program MCFM. We include the implementation of a new process in the code, pp → γγ, and important updates to existing ...
J. Campbell, R. Ellis, Ciaran Williams
semanticscholar +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Chemoimmunotherapy with irinotecan, temozolomide, and dinutuximab (I/T/DIN) has emerged as first‐line therapy for relapsed/refractory (r/r) high‐risk neuroblastoma (HRNB) in North America. Topotecan and cyclophosphamide (T/C) are often used in combination with dinutuximab in the setting of lack of response, progression, or incomplete ...
Benjamin J. Lerman +17 more
wiley +1 more source
Di-boson Production beyond NLO QCD and Anomalous Couplings
, 2015 In these proceedings, we review results for several di-boson production processes beyond NLO QCD at high transverse momenta using the VBFNLO Monte-Carlo program together with the LOOPSIM method.
Campanario, F. +4 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Hemoglobinopathies are prevalent globally; diagnosis is complex in high genetic admixture populations like Brazil. We report, in two pediatric siblings, the first documented cases in Brazil of heterozygosity for hemoglobin (Hb) O‐Arab with coinheritance of α‐thalassemia (αα/−α4.2; −α3.7/−α4.2), resulting in microcytic and hypochromic anemia ...
Elisângela de Souza Miranda Muynarsk +9 more
wiley +1 more source
Implementing Health‐Related Quality of Life Assessment in Pediatric Oncology: A Feasibility Study
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background There is growing interest in embedding health‐related quality of life (HRQoL) assessment and patient‐reported outcome measures (PROMs) within clinical cancer care. This study evaluated the feasibility, acceptability, and usability of implementing an electronic PROM (ePROM) platform to measure HRQoL in children with cancer ...
Mikaela Doig +13 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Cognitive and psychological difficulties could negatively interfere with treatment adherence and quality of life before and after hematopoietic stem cell transplant (HSCT). Methods to mitigate these changes may have positive effects on treatment success.
Kristen L. Votruba +11 more
wiley +1 more source
Journal of Cleaner Production, 2020 In electric power systems, operators should account for the optimal operation of generation units to accommodate an efficient system with cleaner productions.
A. Jafari +3 more
semanticscholar +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background L‐asparaginase is a critical component in treatment protocols for pediatric acute lymphoblastic leukemia. Acute pancreatitis reactions can necessitate delays and, in some cases, discontinuation of L‐asparaginase, which compromises outcomes.
Edward J. Raack +39 more
wiley +1 more source