Results 41 to 50 of about 4,197,782 (360)
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
Automated verification of shape and size properties via separation logic. [PDF]
, 2007 Despite their popularity and importance, pointer-based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ensuring the safety of pointer-based
A. Gotsman +11 more
core +5 more sources
Network topology drives population temporal variability in experimental habitat networks
Population Ecology, EarlyView.Habitat patches connected by dispersal pathways form habitat networks. We explored how network topology affects population outcomes in laboratory experiments using a model species (Daphnia carinata). Central habitat nodes in complex lattice networks exhibited lower temporal variability in population sizes, suggesting they support more stable ...
Yiwen Xu +3 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
A Method for Internal Curing Water Calculation of Concrete with Super Absorbent Polymer
Advances in Civil Engineering, 2021 The internal curing method is effective in reducing the self-desiccation of concrete, and the amount of internal curing water (IC water) is greatly important to the shrinkage and strength of concrete.
Shouqi Zhang +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
Verification of operational solar flare forecast: Case of Regional Warning Center Japan [PDF]
, 2017 In this article, we discuss a verification study of an operational solar flare forecast in the Regional Warning Center (RWC) Japan. The RWC Japan has been issuing four-categorical deterministic solar flare forecasts for a long time.
Den, Mitsue, Ishii, Mamoru, Kubo, Yûki
core +2 more sources
occumb: An R package for site occupancy modeling of eDNA metabarcoding data
Population Ecology, EarlyView.This study introduces a new R package, occumb, for the convenient application of site occupancy modeling using environmental DNA (eDNA) metabarcoding data. We outline a data analysis workflow, including data setup, model fitting, model assessment, and comparison of potential study settings based on model predictions, all of which can be performed using
Keiichi Fukaya, Yuta Hasebe
wiley +1 more source
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
Key Points of Design and Risk Analysis in Production for Biodegradable Heart Occluder
Zhongguo yiliao qixie zazhiBiodegradable heart occluder uses a biodegradable medical polymer material to replace or completely replace the metal material. After completing the repair function of the heart defect, the device is gradually degraded and safely absorbed by the human ...
Xiaofei MA, Minliang ZHOU, Xin LIU
doaj +1 more source