Results 51 to 60 of about 1,057,123 (303)

Independent verification and validation of an industrial simulation model [PDF]

, 2010
The independent verification and validation (IV&V) of simulation models is largely restricted to applications in the military and public policy domains. There is little evidence of IV&V for industrial simulation models. This is largely because industrial
Brooks RJ, Robinson, Stewart, Brooks, Roger J., Robinson S   +3 more
core   +1 more source

A Method for Internal Curing Water Calculation of Concrete with Super Absorbent Polymer

Advances in Civil Engineering, 2021
The internal curing method is effective in reducing the self-desiccation of concrete, and the amount of internal curing water (IC water) is greatly important to the shrinkage and strength of concrete.
Shouqi Zhang, Zhenbao Lu, Yongxin Li, Yuan Ang, Kechao Zhang   +4 more
doaj   +1 more source

Abatacept for Prophylaxis of Acute and Chronic Graft‐Versus‐Host‐Disease in Children Undergoing Allogeneic Hematopoietic Stem Cell Transplantation—A Systematic Review and Meta‐Analysis of Cohort Studies

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Graft‐versus‐host disease (GvHD) remains one of the most significant complications of hematopoietic stem cell transplantation (HSCT). Abatacept, a selective T‐cell costimulation modulator, is a relatively novel prophylactic agent, though pediatric data remain limited.
Matthijs D. Kruizinga, Anne B. Verbeek, Caroline A. Lindemans, Emilie P. Buddingh   +3 more
wiley   +1 more source

Temporal verification in secure group communication system design [PDF]

, 2007
The paper discusses an experience in using a real-time UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements.
Villemur, Thierry, B. Fontan, T. Villemur, Mota, Sara, Saqui-Sannes, Pierre de, Fontan, Benjamin, P. de Saqui-Sannes, S. Mota   +7 more
core   +1 more source

Analysis of the Core Principles and Key Design and Development Control Factors of Two Typical Point-of-Care Testing Technologies

Zhongguo yiliao qixie zazhi
Point-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

Impact of Initial Treatment Setting on Survival in Relapsed Pediatric and AYA Bone Sarcomas: A Secondary Analysis of a Prospective Clinical Trial

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Outcomes in relapsed or refractory pediatric and AYA bone sarcomas remain poor, and the impact of early referral to specialized sarcoma centers on survival is unclear. Early centralization of care may improve local and systemic treatment quality, but evidence in this population is limited.
Justyna Antoniuk‐Majchrzak, Katarzyna Bilska, Tomasz Koziński, Jadwiga Węcławek‐Tompol, Dorota Sega‐Pondel, Radosław Chaber, Wanda Badowska, Katarzyna Rosłan, Hanna Koseła‐Paterczyk, Anna Raciborska   +9 more
wiley   +1 more source

Feeding, Fear, and Acceptance: Caregivers’ Experiences of Nutritional Support During Childhood Cancer Treatment

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Purpose To explore caregivers' experiences and perceptions of the nutritional challenges faced by children and adolescents undergoing cancer treatment, including oral intake and the use of nutritional support. Methods This was a qualitative study based on focus groups with parents and caregivers at a Brazilian pediatric oncology hospital ...
Danyelle Apparecida Balsamão Marques, Mariana dos Santos Murra, Welinton Hirai, Ana Laura Balduino do Nascimento, Karla Emilia de Sá Rodrigues, Wilson Elias de Oliveira Junior   +5 more
wiley   +1 more source

Performance and verification

ACM SIGMETRICS Performance Evaluation Review, 2005
Some twentyfive years ago, the field of computer-communication system performance evaluation and the field of formal specification and verification were regarded as completely disjunct. The former field focussed on the quantitative aspects of system behaviour, expressed in measures such as delays, throughputs and loss probabilities ...
Boudewijn R. Haverkort, Joost-Pieter Katoen   +1 more
openaire   +1 more source

Neurocognitive, School‐Based, and Quality of Life Outcomes for Youth With Sickle Cell Disease and Thalassemia: A Scoping Review

Pediatric Blood &Cancer, EarlyView.
ABSTRACT The medical burdens of sickle cell disease (SCD) and transfusion‐dependent β‐thalassemia (TDT) are chronic and cumulative, even in children. Yet the effects expand beyond medications and healthcare visits due to their impacts on school attendance, academic performance, and peer engagement.
Mary Ann Etling, Hakim Tokhi, Alexander A. Boucher   +2 more
wiley   +1 more source

MasudulHasan/Probabilistic-Integrity-Verification: Probabilistic-Integrity-Verification

, 2020
Repository for Probabilistic Integrity Verification ...
Masudul Hasan
core   +1 more source