Results 41 to 50 of about 1,018,595 (300)

From software verification to ‘everyware’ verification

Computer Science - Research and Development, 2013
Ubiquitous computing is a vision of computing in which the computer disappears from view and becomes embedded in our environment, in the equipment we use, in our clothes, and even in our body. Everyday objects--called `everyware' by Adam Greenfield--are now endowed with sensing, controlled by software, and often wirelessly connected and Internet ...
openaire   +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  

Ovarian Sex Cord Stromal Tumors in Children and Adolescents—The European Standard Clinical Practice Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT As part of the European Cooperative Study Group for Paediatric Rare Tumours initiative, we developed standard clinical practice guidelines for ovarian sex cord stromal tumors, based on comprehensive national and international cohort analyses, literature review, and a final expert consensus conference.
Dominik T. Schneider, Kris‐Ann Schultz, Nora Schnitzler, Michael Abele, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Ines B. Brecht, Maja Cesen, Andrea Ferrari, Michaela Kuhlen, Malgorzata A. Krawczyk, Ricardo Lopez‐Almaraz, Yves Reguerre, Calogero Virgone, Daniel Orbach   +15 more
wiley   +1 more source

An approach to the verification of high-resolution ocean models using spatial methods [PDF]

Ocean Science, 2020
The Met Office currently runs two operational ocean forecasting configurations for the North West European Shelf: an eddy-permitting model with a resolution of 7 km (AMM7) and an eddy-resolving model at 1.5 km (AMM15).
R. Crocker, J. Maksymczuk, M. Mittermaier, M. Tonani, C. Pequignet   +4 more
doaj   +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  

Evidence‐Informed Multidisciplinary Consensus Guidance for the Psychosocial Care of Adolescents With High‐Risk Cancer: Recommendations From the Italian Association of Pediatric Hematology and Oncology

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Adolescents with high‐risk cancer face complex developmental, psychosocial, and ethical challenges that extend beyond disease‐directed treatment. Although international recommendations exist for communication, psychosocial care, pediatric palliative care, survivorship, and shared decision‐making, these have largely evolved within ...
Johanna M. C. Blom, Dorella Scarponi, Giulia Zucchetti, Teresa Perillo, Maria Montanaro, Elisa Marconi, Chiara Rutigliano, Paolo Colavero, Paola Quarello, Marina Bertolotti, Monica Cellini, Carlo Clerici, Maurizio Mascarin, Francesca Bomben, Andrea Ferrari, the expert workgroup   +15 more
wiley   +1 more source

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

Early Body Mass Index z‐Score Change and Resolution of Severe Malnutrition in Children With Sickle Cell Anemia in a Low‐Income Setting: A Prospective Single‐Arm Extension Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Children with sickle cell anemia (SCA) in low‐income settings are at risk of severe malnutrition, but optimal nutritional management has not been established. We evaluated an intensified ready‐to‐use therapeutic food (RUTF) regimen in children with persistent severe malnutrition after initial treatment and assessed whether early ...
Safiya Gambo, Shehu Umar Abdullahi, Hassan Adam Murtala, Halima Kabir, Khadija A. Shamsu, Sari A. Acra, Virginia A. Stallings, Mark Rodeghier, Michael R. DeBaun, Lauren J. Klein   +9 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

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