Results 61 to 70 of about 4,197,782 (360)
Zhongguo yiliao qixie zazhiThe 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
August 27, 2008 - International Cocoa Verification Board Members Present on Constructive Corporate Engagement at Children’s Rights International Conference [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
A large-scale car dataset for fine-grained categorization and verification [PDF]
Computer Vision and Pattern Recognition, 2015 This paper aims to highlight vision related tasks centered around “car”, which has been largely neglected by vision community in comparison to other objects.
L. Yang +3 more
semanticscholar +1 more source
Parameterized verification [PDF]
International Journal on Software Tools for Technology Transfer, 2016 The goal of parameterized verification is to prove the correctness of a system specification regardless of the number of its components. The problem is of interest in several different areas: verification of hardware design, multithreaded programs, distributed systems, and communication protocols. The problem is undecidable in general.
Abdulla, Parosh A, DELZANNO, GIORGIO
openaire +3 more sources
Infection Models for Pine Wilt Disease on the Basis of Vector Behaviors
Population Ecology, EarlyView.Infection models for pine wilt disease without vector density were built to estimate the transmission coefficient of the pathogenic nematode. The models successfully simulated the annual change in the density of infected trees for four pine stands. ABSTRACT Pine wilt disease is caused by the pinewood nematode (Bursaphelenchus xylophilus Steiner et ...
Katsumi Togashi
wiley +1 more source
Zhongguo yiliao qixie zazhiThis 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
Pathology features and the results of treatment of two cases of posterior choroidal leiomyoma
BMC Ophthalmology, 2020 Background Posterior choroidal leiomyoma is an extremely rare tumor, to our knowledge, less than 10 cases reported in the literature. The definite diagnosis can be confirmed by immunohistochemistry, and local resection is preferable to enucleation for ...
Nan Zhou, Wenbin Wei, Xiaolin Xu
doaj +1 more source
Considerations in Setting Future Directions for Eliminating WFCL and FAL in the Cocoa Sector [PDF]
, 2007 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
Design and Verification Languages [PDF]
, 2006 After a few decades of research and experimentation, register-transfer dialects of two standard languages---Verilog and VHDL---have emerged as the industry standard starting point for automatic large-scale digital integrated circuit synthesis. Writing RTL descriptions of hardware remains a largely human process and hence the clarity, precision, and ...
Kenneth L. McMillan +3 more
openaire +4 more sources
FoxO1 signaling in B cell malignancies and its therapeutic targeting
FEBS Letters, EarlyView.FoxO1 has context‐specific tumor suppressor or oncogenic character in myeloid and B cell malignancies. This includes tumor‐promoting properties such as stemness maintenance and DNA damage tolerance in acute leukemias, or regulation of cell proliferation and survival, or migration in mature B cell malignancies.
Krystof Hlavac +3 more
wiley +1 more source