Results 21 to 30 of about 2,188,915 (311)
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 +4 more
doaj +1 more source
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
On minimising the maximum expected verification time [PDF]
, 2017 Cyber Physical Systems (CPSs) consist of hardware and software components. To verify that the whole (i.e., software + hardware) system meets the given specifications, exhaustive simulation-based approaches (Hardware In the Loop Simulation, HILS) can be ...
Mancini, Toni +5 more
core +1 more source
Zhongguo yiliao qixie zazhiOn March 19, 2021, the National Medical Products Administration(NMPA) issued the Regulations on the Supervision and Administration of Medical Devices (Order No.
Ting HE, Ru BAI, Neng XIE
doaj +1 more source
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
From Event-B models to Dafny code contracts [PDF]
, 2015 International audienceThe constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification
C.A.R. Hoare +11 more
core +1 more source
March 13, 2008 - Verité Convenes Consultative Meeting on Efforts to eliminate Child Labor in West African Cocoa Farming. [PDF]
, 2008 This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide.
International Cocoa Verification Board +1 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Pediatric patients with extracranial solid tumors (ST) receiving chemotherapy are at an increased risk for Pneumocystis jirovecii pneumonia (PJP). However, evidence guiding prophylaxis practices in this population is limited. A PJP‐related fatality at our institution highlighted inconsistent prescribing approaches and concerns about
Kriti Kumar +8 more
wiley +1 more source
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 +4 more
doaj +1 more source
June 4, 2008 - International Cocoa Verification Board Announces Organizations to Carry Out Independent Verification of Cocoa Sector Certification [PDF]
, 2008 This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide.
International Cocoa Verification Board +1 more
core +1 more source