Results 41 to 50 of about 459,587 (231)
System Verification through Program Verification
, 2011 We present an automatable approach to verify that a system satisfies its requirements by verification of the program that controls the system. The approach can be applied if the interaction of the program with the system hardware can be faithfully described by a table relating domain phenomena and program variables.
Dietsch, Daniel +2 more
openaire +3 more sources
Clinical Course and Impact of Breaks in Therapy for Children With Relapsed/Refractory Solid Tumors
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Pediatric relapsed or refractory (R/R) solid tumors carry a dismal prognosis, and postrelapse patient experiences are not well described. We present postrelapse outcomes, including number of R/R events and subsequent therapy regimens.
Matthew T. McEvoy +5 more
wiley +1 more source
Pathology features and the results of treatment of two cases of posterior choroidal leiomyoma
BMC Ophthalmology, 2020 Background Posterior choroidal leiomyoma is an extremely rare tumor, to our knowledge, less than 10 cases reported in the literature. The definite diagnosis can be confirmed by immunohistochemistry, and local resection is preferable to enucleation for ...
Nan Zhou, Wenbin Wei, Xiaolin Xu
doaj +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
Zhongguo yiliao qixie zazhiPoint-of-care testing (POCT), as an emerging diagnostic technology, is gradually becoming an important part of the clinical diagnostic field due to its advantages, such as ease of operation, rapid response, and portability.
You ZHOU, Xin LIU
doaj +1 more source
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
International Journal of Advanced Robotic Systems, 2005 It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours of individual robots is very difficult.
Alan FT Winfield +4 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Neuropsychological complications may impair the qualitative prognosis of patients with pediatric brain tumors. However, multifaceted evaluations cannot be conducted in all patients because they are time consuming and burdensome for patients.
Ami Tabata +9 more
wiley +1 more source
Optical coherence tomography angiography characteristics of optic disc melanocytoma
BMC Ophthalmology, 2020 Background Optic disc melanocytoma (ODMC) was a benign pigmented intraocular tumor with the rare potential malignant transformation. This study was designed to evaluate tumor vasculature with optical coherence tomography angiography (OCTA) in ODMC ...
Nan Zhou, Xiaolin Xu, Wenbin Wei
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Patients with high‐risk neuroblastoma who either are refractory to induction chemotherapy or relapse following multi‐modal treatment have a dismal prognosis. Based on data from the BEACON trial, since 2021 the UK national guidelines recommend bevacizumab, irinotecan, and temozolomide (BIT) for patients with relapsed/refractory ...
Thomas J. Jackson +20 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Alveolar soft part sarcoma (ASPS) is a rare soft tissue sarcoma occurring most commonly in adolescence and young adulthood. Methods We present the clinical characteristics, treatments, and outcomes of patients with newly diagnosed ASPS enrolled on the Children's Oncology Group study ARST0332.
Jacquelyn N. Crane +11 more
wiley +1 more source