Results 51 to 60 of about 6,543,383 (305)
Formal verification of concurrent programs [PDF]
, 1999 Interactive theorem proving provides a general approach to modeling and verification of both finite-state and infinite-state systems but requires significant human efforts to deal with many tedious proofs.
Yu, Shen-Wei
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Numerous international studies have reported declines in new cancer diagnoses, delayed diagnoses and disruptions in cancer treatment following the implementation of COVID‐19 pandemic public health measures, raising concerns that these effects may ultimately contribute to increased cancer mortality.
Friederike Erdmann +8 more
wiley +1 more source
Nonlinear Vibration Study Based on Uncertainty Analysis in MEMS Resonant Accelerometer
Sensors, 2020 This paper aims to develop a resonant accelerometer for high-sensitivity detection and to investigate the nonlinear vibration of the MEMS resonant accelerometer driven by electrostatic comb fingers.
Yan Li +4 more
doaj +1 more source
Referral Patterns and Diagnostic Timeliness in Pediatric Cancer: A Hospital‐Based Study in Indonesia
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Timely diagnosis and treatment are critical for improving survival among children with cancer. In low‐ and middle‐income countries (LMICs), delays are common and may be influenced by fragmented referral pathways and diagnostic limitations.
Nur Melani Sari +5 more
wiley +1 more source
Communications, 2003 Physical and geometrical properties of environment lead to mathematical models of terrain- vehicle interaction. The basic idea of the presented approach is to construct a two - dimensional function whose three-dimensional graph has properties similar to ...
Blahoslav Harman, Viktor Ferencey
doaj +1 more source
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 +9 more
wiley +1 more source
Selection of Components in Compositional Verification of Safety Properties [PDF]
, 2009 This report presents a two-step components selection method to compose the components for compositional verification. This method employs different methods for the selection of components to be composed during compositional verification.
Shi, Jinjian
core
Experimental verification of stress‐induced anisotropy
SEG Technical Program Expanded Abstracts 1995, 1995 RP1.7 Summary During experiments with a triaxial pressure machine in the laboratory a stress history in rock is induced. While loading and unloading the changes in elastodynamic wave behaviour are measured with ultrasonic transducers. These experiments give insight in the influence of a changing stress state on the wave propagation; the rock becomes ...
Cruts, H.M.A. (author) +3 more
openaire +3 more sources
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 +9 more
wiley +1 more source
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 +3 more
core +1 more source