𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Validity and quantification in intuitionism

✍ Scribed by H. C. M. Swart; C. J. Posy

Publisher
Springer Netherlands
Year
1981
Tongue
English
Weight
522 KB
Volume
10
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Validity of long-term electromyography i
Validity of long-term electromyography in the quantification of tremor
✍ Dr. Sybille Spieker; Verena Ströle; Alexandra Sailer; Anders Boose; Johannes Dic 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 512 KB

We previously developed a method of tremor quantification using long-term electromyography registration of antagonistic forearm muscles that is reliable, sensitive, and specific for pathologic tremors. The present study demonstrates that tremor occurrence as measured by this method correlates well w

A comprehensive framework for verificati
A comprehensive framework for verification, validation, and uncertainty quantification in scientific computing
✍ Christopher J. Roy; William L. Oberkampf 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 878 KB

An overview of a comprehensive framework is given for estimating the predictive uncertainty of scientific computing applications. The framework is comprehensive in the sense that it treats both types of uncertainty (aleatory and epistemic), incorporates uncertainty due to the mathematical form of th

Uncertainty quantification and model val
Uncertainty quantification and model validation of fatigue crack growth prediction
✍ Shankar Sankararaman; You Ling; Sankaran Mahadevan 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 774 KB

This paper presents a methodology for uncertainty quantification and model validation in fatigue crack growth analysis. Several models -finite element model, crack growth model, surrogate model, etc. -are connected through a Bayes network that aids in model calibration, uncertainty quantification, a

Simultaneous quantification of diterpeno
Simultaneous quantification of diterpenoids in Premna integrifolia using a validated HPTLC method
✍ Deepti Yadav; Neerja Tiwari; Madan M. Gupta 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 162 KB

## Abstract A sensitive, selective and robust densitometric high‐performance thin layer chromatographic method was developed and validated for the determination of diterpenoids in the root bark of __Premna integrifolia__. Diterpenoids 1β,3α,8β‐trihydroxy‐pimara‐15‐ene (**A**), 6α,11,12,16‐tetrahydr

Rigorous verification, validation, uncer
Rigorous verification, validation, uncertainty quantification and certification through concentration-of-measure inequalities
✍ L.J. Lucas; H. Owhadi; M. Ortiz 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 550 KB

and validation Certification Concentration of measure inequalities a b s t r a c t We apply concentration-of-measure inequalities to the quantification of uncertainties in the performance of engineering systems. Specifically, we envision uncertainty quantification in the context of certification, i