Results 51 to 60 of about 3,019,309 (154)
Selection of Components in Compositional Verification of Safety Properties [PDF]
, 2009 This report presents a two-step components selection method to compose the components for compositional verification. This method employs different methods for the selection of components to be composed during compositional verification.
Shi, Jinjian
core
Quantifying verification uncertainty by reference data variation
Meteorologische Zeitschrift, 2012 In the framework of a multi-level verification experiment, the impact of different characteristics of verification reference data on NWP-model verification is evaluated.
Theresa Gorgas, Manfred Dorninger
doaj +1 more source
Soil and Water Conservation and Management Research at the Wheatland Conservation Experiment Station [PDF]
, 1953 The Oklahoma Agricultural Experiment Station periodically issues revisions to its publications. The most current edition is made available. For access to an earlier edition, if available for this title, please contact the Oklahoma State University ...
Darlow, A. E., Hawkins, Louis Edward
core
Formal verification of concurrent programs [PDF]
, 1999 Interactive theorem proving provides a general approach to modeling and verification of both finite-state and infinite-state systems but requires significant human efforts to deal with many tedious proofs.
Yu, Shen-Wei
core
Experiment and verification of fine gridded precipitation forecast fusion correction in Sichuan
暴雨灾害Fine-scale quantitative precipitation forecast is a key issue and challenge in weather forecasting services. In this study, based on hourly precipitation from the 1 km× 1 km resolution Southwest China WRF-based Intelligent Numeric Grid forecast System ...
Wulong ZHANG +2 more
doaj +1 more source
Transient characteristics verification method for DC transformer used in flexible HVDC system
Global Energy Interconnection, 2019 Previous studies have proposed higher requirements for the transient characteristics of a DC transformer used in a flexible high-voltage direct current (HVDC) system to achieve faster sampling speed and meet wider bandwidth requirements of the control ...
Qi Nie +5 more
doaj +1 more source
Verification or Lens Maker's Equation by Experiment [PDF]
, 2005 Focal length of thin lens depends on the radii of curvature of the lens surfaces and the index of refraction of lens material. This relation is one of the fundamentals in optical geometry.
Juli, Astono, Yoshio, Takeuchi
core
Frontiers in Human NeuroscienceIntroductionPerceptual representations in language comprehension were examined using sentence-picture verification tasks. However, concerns have been raised regarding the suitability of concrete pictures for representing abstract concepts compared to ...
Menghan Wang, Helen Zhao
doaj +1 more source
Development and Verification Experiment of In-Situ Friction Experiment Device for Simulating UV Irradiation in Space. [PDF]
Materials (Basel), 2022 Wei A +9 more
europepmc +1 more source
Identity Theft Verification Passport
, 2007 Title from PDF p. [1] (viewed on Jan. 4, 2008).; "Marc Dann, Attorney General, State of Ohio."; "Created: 1/24/2005 ...; Modified: 1/1/2007 ..."--Document properties screen.; Harvested from the web on 1/4 ...
Identity Theft Verification Passport (Program : Ohio)
core