Results 51 to 60 of about 1,215 (117)
Yankuang ceshi, 2013 The accuracy of the certified values of the national reference materials plays an important role in instrument calibration, and therefore quality control for analysis data.
LIU Ye +3 more
doaj
Citation: 'non-certified property value' in the IUPAC Compendium of Chemical Terminology, 5th ed.; International Union of Pure and Applied Chemistry; 2025. Online version 5.0.0, 2025. 10.1351/goldbook.08036 • License: The IUPAC Gold Book is licensed under Creative Commons Attribution-ShareAlike CC BY-SA 4.0 International for individual ...
openaire +1 more source
Matrix Certified Reference Materials
EncyclopediaMatrix certified reference materials (mCRMs) are materials characterized by suitable homogeneity, stability, and traceability, with certified values, including uncertainties, and a specific matrix. mCRMs constitute a reference for instrumental analytical
Tadeusz Gorewoda +4 more
doaj +1 more source
Tạp chí Kiểm nghiệm và An toàn thực phẩmFood supplements are increasingly popular among consumers because of their convenience and nutritional value. Among the ingredients, essential minerals are added a lot because of their effects on health at all ages especially calcium (Ca), iron (Fe ...
Tran Thanh Son +5 more
doaj +1 more source
A certifying extraction with time bounds from Coq to call-by-value $\lambda$-calculus
, 2019 We provide a plugin extracting Coq functions of simple polymorphic types to the (untyped) call-by-value $\lambda$-calculus L. The plugin is implemented in the MetaCoq framework and entirely written in Coq. We provide Ltac tactics to automatically verify the extracted terms w.r.t a logical relation connecting Coq functions with correct extractions and ...
Yannick Forster 0002, Fabian Kunze
openaire +4 more sources
Open AgricultureConsumer acceptance of food safety has an important role in the success of hygiene sanitation standards with certification of veterinary control number (Nomor Kontrol Veteriner, hereinafter NKV) implementation for livestock-based food products.
Wibowo Candra Pungki +2 more
doaj +1 more source
Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function
IEEE Robotics and Automation LettersWe propose a new reachability learning framework for high-dimensional nonlinear systems, focusing on reach-avoid problems. These problems require computing the reach-avoid set, which ensures that all its elements can safely reach a target set despite disturbances within pre-specified bounds. Our framework has two main parts: offline learning of a newly
Jingqi Li 0001 +5 more
openaire +2 more sources
Development of Nitrogen and Organic Carbon Reference Materials for China Offshore Marine Sediments
Yankuang ceshi, 2014 The study of marine sediments in China has developed rapidly in recent years, but the standard materials with certified values for nitrogen organic and carbon are relatively lacking.
BAI Ya-zhi +5 more
doaj +2 more sources
Determination of fluoride in coal using pyrohydrolysis for analyte separation
Journal of the Brazilian Chemical Society, 2003 A method for the determination of fluoride in coal using pyrohydrolysis for sample decomposition is proposed. An apparatus was constructed, and the influence of vanadium pentoxide (V2O5) as a catalyst for the pyrohydrolysis reaction was investigated.
Dressler Valderi L. +4 more
doaj
Generating formally certified bounds on values and round-off errors
, 2004 We present a new tool that generates bounds on the values and the round-off errors of programs using floating point operations. The tool is based on forward error analysis and interval arithmetic. The novelty of our tool is that it produces a formal proof of the bounds that can be checked independently using an automatic proof checker such as Coq and a
Daumas, Marc, Melquiond, Guillaume
openaire +2 more sources