Results 31 to 40 of about 1,057,123 (303)

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  

Library stock verification: a ritual and an occupational hazard [PDF]

, 1991
Explains the sensitive, controversial stock verification as one of the occupational hazards and a postmortem, emphasises need for clarity of objectives and procedures regarding stock verification and responsibilities of loss, points out that the cost of ...
Sridhar, M. S.
core   +1 more source

Pediatric Idiopathic Multicentric Castleman Disease Is Often Severe But Responsive to Siltuximab

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Idiopathic multicentric Castleman disease (iMCD) is a potentially fatal immunologic disorder marked by widespread lymphadenopathy and inflammation. Siltuximab, an interleukin‐6 (IL‐6) inhibitor, is the only FDA‐approved treatment for adult patients with iMCD.
Bridget Austin, Sheila K. Pierson, Kelley C. Dacus, Mateo Sarmiento Bustamante, Saishravan Shyamsundar, Larissa Borys, Kayla McHugh, Abiola Irvine, Yoojin Jo, Adam Bagg, Mary Jo Lechowicz, Daisy Alapat, Amy Chadburn, Megan S. Lim, Gordan Srkalovic, Frits van Rhee, David C. Fajgenbaum, Joshua D. Brandstadter   +17 more
wiley   +1 more source

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  

The Current Status and Suggestions of Registration Quality System Audit for Entrusted Production According to Shanghai Medical Device Regulation of Marketing Authorization Holder

Zhongguo yiliao qixie zazhi
This study expounds on the current status of the registration quality system audit for entrusted production in the past three years in accordance with Shanghai's medical device regulations for marketing authorization holders (MAH).
Minliang ZHOU, Ming MENG, Meikui TONG
doaj   +1 more source

The Impact of the COVID‐19 Pandemic on Childhood Cancer Survival: A Population‐Based Assessment of Survival Patterns Between 2015 and 2023 in Germany

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, Maike Wellbrock, Javier Louro, Arndt Borkhardt, Martin Schrappe, Claudia Trübenbach, Desiree Grabow, Cécile M. Ronckers, Joachim Schüz   +8 more
wiley   +1 more source

Critical Control Points and Case Studies in the Production of Metal Additive Manufacturing Medical Device

Zhongguo yiliao qixie zazhi
The critical control points in the production quality management of metal additive manufacturing medical devices, including personnel, hardware, design and development, procurement control, production management and quality control are summarized from ...
Xin JIANG, Minliang ZHOU
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, Regina Hadi Putri, Fatimah Assyifa, Judith Spijkerman, Gertjan Johannes Kaspers, Susi Susanah   +5 more
wiley   +1 more source

Towards inferring reactor operations from high-level waste

Nuclear Engineering and Technology
Nuclear archaeology research provides scientific methods to reconstruct the operating histories of fissile material production facilities to account for past fissile material production.
Benjamin Jung, Antonio Figueroa, Malte Göttsche   +2 more
doaj   +1 more source

Trigger based online monitor for buck converter output capacitor′s ESR

Dianzi Jishu Yingyong, 2019
Electrolytic capacitor as filter capacitor is widely used in switching power module, but it has higher failure rate than other components. In order to monitor the status of the electrolytic capacitor, the equivalent series resistance(ESR) is selected as ...
Gao Jun, Huang Daoping, Lu Jiafeng
doaj   +1 more source