Results 81 to 90 of about 2,058,291 (283)

A High‐Sensitivity Circulating Nucleic Acid Sequencing Assay for Assessing Treatment Response to Alectinib in a Pediatric Patient With ALK‐Rearranged Non–Small Cell Lung Cancer

Pediatric Blood &Cancer, EarlyView.
Alberto D. Guerra, Nicholas F. Evageliou, Vandana Batra, Kristen L. Dalton, Stephanie Ortel, Usman Ashraf, Tricia R. Bhatti, Lisa J. States, Lea F. Surrey, Theodore W. Laetsch   +9 more
wiley   +1 more source

Germline TP53 Mutations Causing Diamond–Blackfan Anemia: A French Report

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Diamond–Blackfan anemia is a rare congenital erythroblastopenia typically caused by mutations in ribosomal protein genes. Recently, gain‐of‐function mutations in TP53 have been identified as a novel cause of Diamond–Blackfan anemia. We report two French patients who both harbored a heterozygous TP53 deletion (NM_000546.5: c.1077delA; p ...
Rafael Moisan, Lydie Da Costa, Ludivine David Nguyen, Heloise Chosseler, Audrey Riquet, Benedicte Bruno, Melissa Barbati   +6 more
wiley   +1 more source

Flexible Vis/NIR Wireless Sensing and Estimation with DeepEnsemble Learning for Pork

Agriculture
The rapid chilling and aging stages following pork slaughter represent a critical window for determining final physicochemical quality and flavor development.
Maoyuan Yin, Daixin Liu, Hongyan Yang, Xiaoshuang Shi, Guan Xiong, Min Zhang, Tianyu Zhu, Lingling Chen, Ruihua Zhang, Xinqing Xiao   +9 more
doaj   +1 more source

The Study of Indoor and Field Trials on 2×8 MIMO Architecture in TD-LTE Network

International Journal of Antennas and Propagation, 2013
With the development of mobile internet service, long-term evolution (LTE) system was proposed in the third generation partnership project (3GPP) to provide higher data rates and frequency efficiency.
Xiang Zhang, Xinyu Gu, Wenyu Li, Lin Zhang, Jia Shen, Yi Wan   +5 more
doaj   +1 more source

Graph Based Reduction of Program Verification Conditions [PDF]

, 2008
Increasing the automaticity of proofs in deductive verification of C programs is a challenging task. When applied to industrial C programs known heuristics to generate simpler verification conditions are not efficient enough.
Couchot, Jean-François, Giorgetti, Alain, Stouls, Nicolas   +2 more
core   +7 more sources

Feasibility and Safety of High‐Dose Proton Re‐Irradiation in Recurrent Pediatric Central Nervous System Tumors: A Single‐Institution Retrospective Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Purpose Pediatric central nervous system (CNS) tumors often recur despite multimodality therapy. Although re‐irradiation (re‐RT) has historically been limited by concerns for severe late toxicities, modern techniques have renewed interest in this approach. Proton therapy provides dosimetric advantages that may enable curative re‐treatment with
Jin‐Ho Song, Jonathan Baron, Carlos Chavez Perez, Sidharth Ramesh, Jane Minturn, Kavita A. Desai, Amish C. Shah, Jean M. Belasco, Kristina A. Cole, Michael J. Fisher, Phillip B. Storm, Peter M. Madsen, Goldie Kurtz, Robert A. Lustig, Christine Hill‐Kayser, Michael J. LaRiviere   +15 more
wiley   +1 more source

Workshop Report: IAEA Safeguards and the Irreversibility of Nuclear Disarmament

Journal for Peace and Nuclear Disarmament
This article presents the discussion and conclusions from a workshop hosted by the Verification Research, Training and Information Centre (VERTIC) in February 2023.
Hailey Wingo
doaj   +1 more source

Featherweight VeriFast

, 2015
VeriFast is a leading research prototype tool for the sound modular verification of safety and correctness properties of single-threaded and multithreaded C and Java programs.
Jacobs, Bart, Piessens, Frank, Vogels, Frédéric   +2 more
core   +1 more source

The Role of Invasive Procedures in the Treatment of Complicated Gastrointestinal Graft‐Versus‐Host Disease in Pediatric Patients

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Gastrointestinal graft‐versus‐host disease (GI GVHD) following hematopoietic stem cell transplant is typically managed with medical therapy, but surgery and angioembolization may be warranted in selected cases with life‐threatening complications.
Gaia Brunetti, Giorgio Persano, Chiara Grimaldi, Pier Luigi Di Paolo, Carmen Malaspina, Francesco Quagliarella, Valerio Balassone, Anna Chiara Iolanda Contini, Gian Luigi Natali, Rita Alaggio, Ivan Pietro Aloi, Tamara Caldaro, Alessandro Crocoli   +12 more
wiley   +1 more source

Feature-Aware Verification [PDF]

, 2011
A software product line is a set of software products that are distinguished in terms of features (i.e., end-user--visible units of behavior). Feature interactions ---situations in which the combination of features leads to emergent and possibly critical
Dirk Beyer, Dirk Beyer, Er Von Rhein, Er Von Rhein, Hendrik Speidel, Hendrik Speidel, Sven Apel, Sven Apel   +7 more
core   +2 more sources