Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
Image document

Verified Computation with Probabilities

Scott Ferson , Jack Siegrist
10th Working Conference on Uncertainty Quantification in Scientific Computing (WoCoUQ), Aug 2011, Boulder, CO, United States. pp.95-122, ⟨10.1007/978-3-642-32677-6_7⟩
Conference papers hal-01518666v1