Results 41 to 50 of about 1,057,123 (303)

Games with recurring certainty [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted.
Dietmar Berwanger, Anup Basil Mathew
doaj   +1 more source

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, Westphal, Bernd, Podelski, Andreas   +2 more
openaire   +4 more sources

Venetoclax‐Based Therapy as a Bridge to Hematopoietic Stem Cell Transplantation in Relapsed or Refractory Pediatric Acute Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Relapsed and/or refractory (R/R) pediatric acute leukemia carries a dismal prognosis, largely driven by chemoresistance to conventional salvage therapy. The BH3‐mimetic venetoclax, combined with chemotherapy or hypomethylating agents, has demonstrated efficacy in small clinical trials.
Katherine S. Colman, Deborah Meyran, Vajiranee Malalasekera, Heather Weerdenburg, Janine Campbell, Rachel Conyers, Stacie Wang, Hannah Walker, Seong Lin Khaw, Diane Hanna   +9 more
wiley   +1 more source

Consumer's Risk in Zero-defect Sampling Inspection of Surveying and Mapping Products [PDF]

ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences
Through theoretical analysis and empirical research, this study thoroughly examines the theoretical foundations and practical applications of zero-defect sampling inspection schemes, revealing significant differences between inspecting large lots as a ...
F. Luo, F. Luo, H. Zhao, H. Zhao, J. Liu, J. Liu, X. Wang, X. Wang, C. Chen, C. Chen   +9 more
doaj   +1 more source

Language, Culture, and Cancer: Qualitative Insights Into Communication Disparities Among Spanish‐Speaking Caregivers of Children With Cancer

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Latino children are projected to make up nearly one‐third of United States (US) children by 2060, and many of their caregivers speak Spanish. Prior survey research has documented communication difficulties for Spanish‐speaking caregivers of children with cancer, but contemporary qualitative data are limited.
Jenny Ruiz, Alejandra Curbelo‐Paz, Sonia Morales, Elizabeth Contreras, Amy Houtrow, Scott H. Maurer, Judy C. Chang   +6 more
wiley   +1 more source

Discussion on Influencing Factors of Validation of Cleaning Process in Manufacture of Implantable Medical Devices

Zhongguo yiliao qixie zazhi
Cleaning process validation is an important guarantee for implantable medical devices to ensure product cleanliness. In the manufacturing process, implantable devices usually need to control pollution through cleaning process to achieve a certain ...
Xin LIU, Xiaofei MA
doaj   +1 more source

Discussion on Quality Model and Evaluation Methodology for WMS [PDF]

The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
The integration of internet technologies and geographic information systems (GIS) has positioned Web Map Services(WMS) as indispensable tools for daily life, with their service quality attracting significant attention.
W. Han, W. Han, J. Ge, J. Ge, L. Zhang, L. Zhang, J. Shen, J. Shen, Y. Tan, Y. Tan   +9 more
doaj   +1 more source

Appearance of Tumor Vessels in Patients With Choroidal Osteoma Using Swept-Source Optical Coherence Tomographic Angiography

Frontiers in Oncology, 2021
ObjectiveTo report the morphologic characteristics of tumor-related vasculatures and their association with secondary choroidal neovascularization (CNV), subretinal fluid (SRF), choroidal thickness, retinal pigment epithelium (RPE) alterations ...
Nan Zhou, Xiaolin Xu, Yueming Liu, Wenbin Wei, Xianzhao Peng   +4 more
doaj   +1 more source

Verification by Abstraction [PDF]

, 2003
Verification seeks to prove or refute putative properties of a given program. Deductive verification is carried out by constructing a proof that the program satisfies its specification, whereas model checking uses state exploration to find computations where the property fails.
openaire   +2 more sources

Biphasic Clinical Course of Pediatric Cytomegalovirus‐Associated Immune Thrombocytopenia: Early Poor Treatment Response but Favorable Long‐Term Outcomes

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Cytomegalovirus (CMV) is a recognized trigger of immune thrombocytopenia (ITP); however, its incidence and impact on disease course in children remain controversial. Therefore, we aimed to characterize the clinical course of pediatric patients with CMV‐associated ITP.
Oded Gilad, Ohad Atia, Osama Tanous, Dafna Brik Simon, Michal Dvori, Miriam Cohen, Tracie A. Goldberg, Efraim Bilavsky, Joanne Yacobovich, Orna Steinberg‐Shemer   +9 more
wiley   +1 more source