Results 21 to 30 of about 828,996 (313)
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
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
, 2005 The paper introduces a novel approach to the verification of spatial properties for finite [pi]-calculus specifications. The mechanism is based on a recently proposed graphical encoding for mobile calculi: Each process is mapped into a (ranked) graph ...
Gadducci, Fabio +5 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
Zhongguo yiliao qixie zazhiThis study summarizes the clinical application, technical characteristics, and production process of intravascular shockwave catheters. It collects statistics on adverse events of related products from the MAUDE database, analyzes the causes of adverse ...
Meikui TONG, Yating LIU, Minliang ZHOU
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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background PIK3CA‐related overgrowth spectrum (PROS) includes several rare overgrowth disorders resulting from somatic gain‐of‐function mutations in PIK3CA. Despite treatment advances, including the recent approval of alpelisib for PROS in the United States, literature detailing the patient experience with PROS is limited.
Vamsi Bollu +8 more
wiley +1 more source
, 2011 List of Web sites, movies, TV shows, books, and SBU courses that deal with truth and verification. 4 pages.Truth and Verification Lecture Trailheads -- lecture-8-truth-and-ver-trailheads.pdfThe work(s) contained within this record have been analyzed and ...
Rosenfeld, Adam
core +2 more sources
A Secure Authentication and Key Exchange Protocol for Vehicles to Infrastructure Network
International Journal of Computational Intelligence SystemsThe Internet of Vehicles technology has been widely applied in various communication scenarios, including vehicles to vehicles, vehicles to roadside facilities, vehicles to pedestrians, and vehicles to cloud.
Peng Xu, Xiuzhen Wang, Meirong Chen
doaj +1 more source