Discover Proving

UH-60 Black Hawk engineering simulation model validation and proposed modifications

ANSYS duplicate finite-element checker routine

Simulated bladed MMC disk LCF validation

Defining the IEEE-854 floating-point standard in PVS

Development of a rational modeling approach for the design, and optimization of the multifiltration unit

Validation of viscous and inviscid computational methods for turbomachinery components

An insight into plants

The homoeopathic proving of tungsten

Proof-term synthesis on dependent-type systems via explicit substitutions

A case study of IV & V cost effectiveness

The provings of granite, marble and limestone

Applying independent verification and validation to automatic test equipment

Verification and validation of KBS with neural network components

The application of V&V within reuse-based software engineering

Test load verification through strain data analysis

Development, validation, and potential enhancements to the second-generation operational aerosol product at the National Environmental Satellite, Data, and Information Service of the National Oceanic and Atmospheric Administration

Homoeopathy in the Irish potato famine

Provings

Dynamics of superfluid helium in low-gravity

A homoeopathic proving of Latrodectus hasseltii [redback spider]

Nickel hydrogen batteries--an overview

Lac caninum new aspects of the remedy with clinical confirmation

Analysis of flowfields over four-engine DC-X rockets

Validation of spectral analysis as a noninvasive tool to assess autonomic regulation of cardiovascular function