{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T05:52:10Z","timestamp":1751608330180},"publisher-location":"Berlin, Heidelberg","reference-count":85,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642326769"},{"type":"electronic","value":"9783642326776"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32677-6_7","type":"book-chapter","created":{"date-parts":[[2012,8,11]],"date-time":"2012-08-11T03:57:34Z","timestamp":1344657454000},"page":"95-122","source":"Crossref","is-referenced-by-count":5,"title":["Verified Computation with Probabilities"],"prefix":"10.1007","author":[{"given":"Scott","family":"Ferson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack","family":"Siegrist","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Baase, S.: A Gift of Fire. Pearson Prentice Hall (2008)"},{"key":"7_CR2","volume-title":"The Fifth Postulate: How Unraveling a Two-thousand-year-old Mystery Unraveled the Universe","author":"J.S. Bardi","year":"2009","unstructured":"Bardi, J.S.: The Fifth Postulate: How Unraveling a Two-thousand-year-old Mystery Unraveled the Universe. John Wiley & Sons, Hoboken (2009)"},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"4047","DOI":"10.1007\/978-0-387-30440-3_237","volume-title":"Encyclopedia of Complexity and System Science","author":"M. Beer","year":"2009","unstructured":"Beer, M.: Fuzzy probability theory. In: Meyers, R. (ed.) Encyclopedia of Complexity and System Science, vol.\u00a06, pp. 4047\u20134059. Springer, New York (2009)"},{"key":"7_CR4","volume-title":"Information Gap Decision Theory: Decisions under Severe Uncertainty","author":"Y. Ben-Haim","year":"2001","unstructured":"Ben-Haim, Y.: Information Gap Decision Theory: Decisions under Severe Uncertainty. Academic Press, San Diego (2001)"},{"key":"7_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4286-2","volume-title":"Statistical Decision Theory and Bayesian Analysis","author":"J.O. Berger","year":"1985","unstructured":"Berger, J.O.: Statistical Decision Theory and Bayesian Analysis. Springer, New York (1985)"},{"key":"7_CR6","unstructured":"Berleant, D.: Automatically verified reasoning with both intervals and probability density functions. Interval Computations\u00a0(2), 48\u201370 (1993)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-1-4613-3440-8_10","volume-title":"Applications of Interval Computations","author":"D. Berleant","year":"1996","unstructured":"Berleant, D.: Automatically verified arithmetic on probability distributions and intervals. In: Kearfott, B., Kreinovich, V. (eds.) Applications of Interval Computations, pp. 227\u2013244. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1009933109326","volume":"4","author":"D. Berleant","year":"1998","unstructured":"Berleant, D., Goodman-Strauss, C.: Bounding the results of arithmetic operations on random variables of unknown dependency using intervals. Reliable Computing\u00a04, 147\u2013165 (1998)","journal-title":"Reliable Computing"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.ress.2004.03.009","volume":"85","author":"D. Berleant","year":"2004","unstructured":"Berleant, D., Zhang, J.: Representation and problem solving with distribution envelope determination (DEnv). Reliability Engineering and System Safety\u00a085, 153\u2013168 (2004)","journal-title":"Reliability Engineering and System Safety"},{"key":"7_CR10","volume-title":"An Investigation of the Laws of Thought, On Which Are Founded the Mathematical Theories of Logic and Probability","author":"G. Boole","year":"1854","unstructured":"Boole, G.: An Investigation of the Laws of Thought, On Which Are Founded the Mathematical Theories of Logic and Probability. Walton and Maberly, London (1854)"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0304-405X(77)90005-8","volume":"4","author":"P.P. Boyle","year":"1977","unstructured":"Boyle, P.P.: Options: a Monte Carlo approach. Journal of Financial Economics\u00a04, 323\u2013338 (1977)","journal-title":"Journal of Financial Economics"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1111\/j.1539-6924.1995.tb00315.x","volume":"15","author":"J. Bukowski","year":"1995","unstructured":"Bukowski, J., Korn, L., Wartenberg, D.: Correlated inputs in quantitative risk assessment: the effects of distributional shape. Risk Analysis\u00a015, 215\u2013219 (1995)","journal-title":"Risk Analysis"},{"key":"7_CR13","volume-title":"Risk Assessment in Conservation Biology","author":"M. Burgman","year":"1993","unstructured":"Burgman, M., Ferson, S., Ak\u00e7akaya, H.R.: Risk Assessment in Conservation Biology. Chapman & Hall, London (1993)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1111\/j.1539-6924.1993.tb01058.x","volume":"13","author":"D.E. Burmaster","year":"1993","unstructured":"Burmaster, D.E., Harris, R.H.: The magnitude of compounding conservatisms in superfund risk assessments. Risk Analysis\u00a013, 131\u2013134 (1993)","journal-title":"Risk Analysis"},{"key":"7_CR15","unstructured":"CFTC\/SEC (U.S. Commodity Futures Trading Commission\/U.S. Securities and Exchange Commission): Findings Regarding the Market Events of May 6, 2010: Report of the Staffs of the CFTC and SEC to the Joint Advisory Committee on Emerging Regulatory Issues (2010), http:\/\/www.sec.gov\/news\/studies\/2010\/marketevents-report.pdf"},{"key":"7_CR16","first-page":"157","volume":"2","author":"P. Chebyshev","year":"1874","unstructured":"Chebyshev [Tchebichef], P.: Sur les valeurs limites des int\u00e9grales. Journal de Math\u00e9matiques Pures et Appliqu\u00e9es. Ser. 2 19, 157\u2013160 (1874)","journal-title":"Journal de Math\u00e9matiques Pures et Appliqu\u00e9es. Ser."},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.ijar.2003.11.001","volume":"37","author":"M. Colyvan","year":"2004","unstructured":"Colyvan, M.: The philosophical significance of Cox\u2019s theorem. International Journal of Approximate Reasoning\u00a037, 71\u201385 (2004)","journal-title":"International Journal of Approximate Reasoning"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"337","DOI":"10.3233\/IFS-1994-2406","volume":"2","author":"J.A. Cooper","year":"1994","unstructured":"Cooper, J.A.: Fuzzy algebra uncertainty analysis for abnormal environment safety assessment. Journal of Intelligent and Fuzzy Systems\u00a02, 337\u2013345 (1994)","journal-title":"Journal of Intelligent and Fuzzy Systems"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1119\/1.1990764","volume":"14","author":"R.T. Cox","year":"1946","unstructured":"Cox, R.T.: Probability, frequency and reasonable expectation. American Journal of Physics\u00a014, 1\u201313 (1946)","journal-title":"American Journal of Physics"},{"key":"7_CR20","volume-title":"Theory of Probability","author":"B. Finetti de","year":"1974","unstructured":"de Finetti, B.: Theory of Probability. Wiley, New York (1974)"},{"key":"7_CR21","unstructured":"Elliott, G.: US nuclear weapon safety and control. MIT Program in Science, Technology, and Society (2005), http:\/\/web.mit.edu\/gelliott\/Public\/sts.072\/paper.pdf"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1002\/aic.12278","volume":"57","author":"J.A. Enszer","year":"2011","unstructured":"Enszer, J.A., Lin, Y., Ferson, S., Corliss, G.F., Stadtherr, M.A.: Probability bounds analysis for nonlinear dynamic process models. AIChE Journal\u00a057, 404\u2013422 (2011)","journal-title":"AIChE Journal"},{"key":"7_CR23","unstructured":"EPA (U.S. Environmental Protections Agency (Region I)): Human Health Risk Assessment (2005a), http:\/\/www.epa.gov\/region1\/ge\/thesite\/restofriver-reports.html#HHRA"},{"key":"7_CR24","unstructured":"EPA (U.S. Environmental Protections Agency (Region I)): Ecological Risk Assessment (2005b), http:\/\/www.epa.gov\/region1\/ge\/thesite\/restofriver-reports.html#ERA"},{"key":"7_CR25","unstructured":"EPA (U.S. Environmental Protections Agency (Region 6 Superfund Program)): Calcasieu Estuary Remedial Investigation (2006), http:\/\/www.epa.gov\/region6\/6sf\/louisiana\/calcasieu\/la_calcasieu_calcri.html"},{"key":"7_CR26","unstructured":"ESA (European Space Agency): Ariane 5 Flight 501 Failure. Report by the Inquiry Board, Paris (1996), http:\/\/esamultimedia.esa.int\/docs\/esa-x-1819eng.pdf"},{"key":"7_CR27","volume-title":"RAMAS Risk Calc 4.0 Software: Risk Assessment with Uncertain Numbers","author":"S. Ferson","year":"2002","unstructured":"Ferson, S.: RAMAS Risk Calc 4.0 Software: Risk Assessment with Uncertain Numbers. Lewis Publishers, Boca Raton (2002)"},{"volume-title":"Quantitative Methods for Conservation Biology","year":"2000","key":"7_CR28","unstructured":"Ferson, S., Burgman, M. (eds.): Quantitative Methods for Conservation Biology. Springer, New York (2000)"},{"key":"7_CR29","volume-title":"Proceedings of the North American Fuzzy Information Processing Society","author":"S. Ferson","year":"2008","unstructured":"Ferson, S., Tucker, W.T.: Probability boxes as info-gap models. In: Proceedings of the North American Fuzzy Information Processing Society. IEEE, New York City (2008)"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Ferson, S., Kreinovich, V., Ginzburg, L., Sentz, K., Myers, D.S.: Constructing probability boxes and Dempster\u2013Shafer structures. Sandia National Laboratories, SAND2002-4015, Albuquerque, New Mexico (2003), http:\/\/www.ramas.com\/unabridged.zip","DOI":"10.2172\/809606"},{"key":"7_CR31","unstructured":"Ferson, S., Nelsen, R., Hajagos, J., Berleant, D., Zhang, J., Tucker, W.T., Ginzburg, L., Oberkampf, W.L.: Dependence in Probabilistic Modeling, Dempster\u2013Shafer Theory, and Probability Bounds Analysis. Sandia National Laboratories, SAND2004-3072, Albuquerque, New Mexico (2004), www.ramas.com\/depend.pdf"},{"key":"7_CR32","volume-title":"Vulnerability, Uncertainty, and Risk: Analysis, Modeling, and Management, Proceedings of the ICVRAM 2011 and ISUMA 2011 Conferences","author":"S. Ferson","year":"2011","unstructured":"Ferson, S., Mickley, J., McGill, W.: Uncertainty arithmetic on Excel spreadsheets: add-in for intervals, probability distributions and probability boxes. In: Vulnerability, Uncertainty, and Risk: Analysis, Modeling, and Management, Proceedings of the ICVRAM 2011 and ISUMA 2011 Conferences. ASCE, Reston (2011)"},{"key":"7_CR33","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1214\/ss\/1177013611","volume":"1","author":"P.C. Fishburn","year":"1986","unstructured":"Fishburn, P.C.: The axioms of subjective probability. Statistical Science\u00a01, 335\u2013358 (1986)","journal-title":"Statistical Science"},{"key":"7_CR34","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BF00569989","volume":"74","author":"M.J. Frank","year":"1987","unstructured":"Frank, M.J., Nelsen, R.B., Schweizer, B.: Best-possible bounds for the distribution of a sum\u2014a problem of Kolmogorov. Probability Theory and Related Fields\u00a074, 199\u2013211 (1987)","journal-title":"Probability Theory and Related Fields"},{"key":"7_CR35","doi-asserted-by":"crossref","first-page":"379","DOI":"10.4064\/fm-25-1-379-387","volume":"25","author":"M. Fr\u00e9chet","year":"1935","unstructured":"Fr\u00e9chet, M.: G\u00e9n\u00e9ralisations du th\u00e9or\u00e8me des probabilit\u00e9s totales. Fundamenta Mathematica\u00a025, 379\u2013387 (1935)","journal-title":"Fundamenta Mathematica"},{"key":"7_CR36","first-page":"53","volume":"9","author":"M. Fr\u00e9chet","year":"1951","unstructured":"Fr\u00e9chet, M.: Sur les tableaux de corr\u00e9lation dont les marges sont donn\u00e9es. Annales de l\u2019Universit\u00e9 de Lyon. Section A: Sciences Math\u00e9matiques et Astronomie\u00a09, 53\u201377 (1951)","journal-title":"Annales de l\u2019Universit\u00e9 de Lyon. Section A: Sciences Math\u00e9matiques et Astronomie"},{"key":"7_CR37","unstructured":"GAO (General Accounting Office): Patriot Missile Defense: Software Problem Led to System Failure at Dhahran, Saudi Arabia. GAO\/IMTEC-92-26 (1992), http:\/\/www.fas.org\/spp\/starwars\/gao\/im92026.htm"},{"key":"7_CR38","unstructured":"Grove, A.J., Halpern, J.Y.: Updating sets of probabilities. In: Proceedings of the Fourteenth Conference on Uncertainty in AI, pp. 173\u2013182 (1998), http:\/\/arxiv.org\/abs\/0906.4332"},{"key":"7_CR39","volume-title":"Boole\u2019s Logic and Probability","author":"T. Hailperin","year":"1986","unstructured":"Hailperin, T.: Boole\u2019s Logic and Probability. North-Holland, Amsterdam (1986)"},{"key":"7_CR40","first-page":"429","volume":"11","author":"J.Y. Halpern","year":"1999","unstructured":"Halpern, J.Y.: Cox\u2019s theorem revisited. Journal of AI Research\u00a011, 429\u2013435 (1999)","journal-title":"Journal of AI Research"},{"key":"7_CR41","volume-title":"C++ Toolbox for Verified Computing I: Basic Numerical Problems","author":"R. Hammer","year":"1997","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing I: Basic Numerical Problems. Springer, Heidelberg (1997)"},{"key":"7_CR42","first-page":"95","volume":"42","author":"D.B. Hertz","year":"1964","unstructured":"Hertz, D.B.: Risk analysis in capital investment. Harvard Business Review\u00a042, 95\u2013106 (1964)","journal-title":"Harvard Business Review"},{"key":"7_CR43","unstructured":"Hickman, J.W., et al.: PRA Procedures Guide: A Guide to the Performance of Probabilistic Risk Assessments for Nuclear Power Plants, vol. 2, NUREG\/CR-2300-V1 and -V2. National Technical Information Service, Washington (1983)"},{"key":"7_CR44","unstructured":"Isbell, D., Hardin, M., Underwood, J.: Mars Climate Orbiter team finds likely cause of loss (1999), http:\/\/mars.jpl.nasa.gov\/msp98\/news\/mco990930.html"},{"key":"7_CR45","volume-title":"Scientific Inference","author":"H. Jeffreys","year":"1931","unstructured":"Jeffreys, H.: Scientific Inference. Cambridge University Press, Cambridge (1931)"},{"key":"7_CR46","volume-title":"Introduction to Fuzzy Arithmetic: Theory and Applications","author":"A. Kaufmann","year":"1991","unstructured":"Kaufmann, A., Gupta, M.M.: Introduction to Fuzzy Arithmetic: Theory and Applications. Van Nostrand Reinhold Company, New York (1991)"},{"key":"7_CR47","volume-title":"A Treatise on Probability","author":"J.M. Keynes","year":"1921","unstructured":"Keynes, J.M.: A Treatise on Probability. Macmillan, New York (1921), http:\/\/www.archive.org\/details\/treatiseonprobab007528mbp"},{"key":"#cr-split#-7_CR48.1","doi-asserted-by":"crossref","unstructured":"Kolmogorov, A.N.: Grundbegriffe der Wahrscheinlichkeitsrechnung. Julius Springer, Berlin (1933)","DOI":"10.1007\/978-3-642-49888-6"},{"key":"#cr-split#-7_CR48.2","unstructured":"Translated into English as Kolmogorov, A.N.: Foundations of the Theory of Probability. Chelsea Publishing, New York (1950)"},{"key":"7_CR49","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.ijar.2004.10.005","volume":"39","author":"E. Kriegler","year":"2005","unstructured":"Kriegler, E., Held, H.: Utilizing belief functions for the estimation of future climate change. International Journal of Approximate Reasoning\u00a039, 185\u2013209 (2005)","journal-title":"International Journal of Approximate Reasoning"},{"key":"7_CR50","series-title":"Computational Mathematics","volume-title":"Numerical Toolbox for Verified Computing I: Basic Numerical Problems: Theory, Algorithms, and Pascal-XSC Programs","author":"U. Kulisch","year":"1993","unstructured":"Kulisch, U., Hammer, R., Ratz, D., Hocks, M.: Numerical Toolbox for Verified Computing I: Basic Numerical Problems: Theory, Algorithms, and Pascal-XSC Programs. Computational Mathematics, vol.\u00a021. Springer, Heidelberg (1993)"},{"key":"7_CR51","unstructured":"Kyburg, Jr., H.E.: Interval valued probabilities. SIPTA Documention on Imprecise Probability (1999), http:\/\/www.sipta.org\/documentation\/interval_prob\/kyburg.pdf"},{"key":"#cr-split#-7_CR52.1","unstructured":"Marquis de Laplace, P.S.: Th\u00e9orie analytique de probabilit\u00e9s, (edition troisi\u00e8me). Courcier, Paris (1820)"},{"key":"#cr-split#-7_CR52.2","unstructured":"The introduction (Essai philosophique sur les probabilit\u00e9s) is available in an English translation in A Philosophical Essay on Probabilities. Dover Publications, New York (1951)"},{"key":"7_CR53","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1080\/01621459.1991.10475055","volume":"86","author":"M. Lavine","year":"1991","unstructured":"Lavine, M.: Sensitivity in Bayesian statistics: the prior and the likelihood. Journal of the American Statistical Association\u00a086, 396\u2013399 (1991)","journal-title":"Journal of the American Statistical Association"},{"key":"7_CR54","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/1402448","volume":"50","author":"D.V. Lindley","year":"1982","unstructured":"Lindley, D.V.: Scoring rules and the inevitability of probability. International Statistical Review\u00a050, 1\u201326 (1982)","journal-title":"International Statistical Review"},{"key":"7_CR55","doi-asserted-by":"publisher","DOI":"10.1002\/0470055480","volume-title":"Understanding Uncertainty","author":"D.V. Lindley","year":"2006","unstructured":"Lindley, D.V.: Understanding Uncertainty. John Wiley & Sons, Hoboken (2006)"},{"key":"7_CR56","first-page":"5","volume":"5","author":"R.D. Luce","year":"1992","unstructured":"Luce, R.D.: Where does subjective expected utility fail descriptively? Journal of Risk and Uncertainty\u00a05, 5\u201327 (1992)","journal-title":"Journal of Risk and Uncertainty"},{"key":"7_CR57","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1137\/1126086","volume":"26","author":"G. Makarov","year":"1981","unstructured":"Makarov, G.: Estimates for the distribution function of a sum of two random variables when the marginal distributions are fixed. Theory of Probability and its Applications\u00a026, 803\u2013806 (1981)","journal-title":"Theory of Probability and its Applications"},{"key":"7_CR58","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BF02406729","volume":"9","author":"A. Markov [Markoff]","year":"1886","unstructured":"Markov [Markoff], A.: Sur une question de maximum et de minimum propos\u00e9e par M. Tchebycheff. Acta Mathematica\u00a09, 57\u201370 (1886)","journal-title":"Acta Mathematica"},{"key":"7_CR59","doi-asserted-by":"publisher","first-page":"1154","DOI":"10.1021\/es00067a014","volume":"23","author":"T.E. McKone","year":"1989","unstructured":"McKone, T.E., Ryan, P.B.: Human exposures to chemicals through food chains: an uncertainty analysis. Environmental Science and Technology\u00a023, 1154\u20131163 (1989)","journal-title":"Environmental Science and Technology"},{"key":"7_CR60","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07358-2","volume-title":"Fuzzy Randomness\u2014Uncertainty in Civil Engineering and Computational Mechanics","author":"B. M\u00f6ller","year":"2004","unstructured":"M\u00f6ller, B., Beer, M.: Fuzzy Randomness\u2014Uncertainty in Civil Engineering and Computational Mechanics. Springer, Berlin (2004)"},{"key":"7_CR61","volume-title":"Interval analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval analysis. Prentice Hall, Englewood Cliffs (1966)"},{"key":"7_CR62","first-page":"55","volume-title":"Fuzzy Logic for the Management of Uncertainty","author":"R.E. Neapolitan","year":"1992","unstructured":"Neapolitan, R.E.: A survey of uncertain and approximate inference. In: Zadeh, L., Kacprzyk, J. (eds.) Fuzzy Logic for the Management of Uncertainty, pp. 55\u201382. John Wiley & Sons, New York (1992)"},{"key":"7_CR63","series-title":"Lecture Notes in Statistics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3076-0","volume-title":"An Introduction to Copulas","author":"R.B. Nelsen","year":"1999","unstructured":"Nelsen, R.B.: An Introduction to Copulas. Lecture Notes in Statistics, vol.\u00a0139. Springer, New York (1999)"},{"key":"7_CR64","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.yrtph.2007.01.008","volume":"48","author":"A. Nong","year":"2007","unstructured":"Nong, A., Krishnan, K.: Estimation of interindividual pharmacokinetic variability factor for inhaled volatile organic chemicals using a probability-bounds approach. Regulatory Toxicology and Pharmacology\u00a048, 93\u2013101 (2007)","journal-title":"Regulatory Toxicology and Pharmacology"},{"key":"7_CR65","unstructured":"Oberguggenberger, M., King, J., Schmelzer, B.: Imprecise probability methods for sensitivity analysis in engineering. In: Proceedings of the 5th International Symposium on Imprecise Probability: Theories and Applications, Prague, Czech Republic (2007), http:\/\/www.sipta.org\/isipta07\/proceedings\/papers\/s032.pdf"},{"key":"7_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-642-01591-5_7","volume-title":"Numerical Validation in Current Hardware Architectures","author":"E.D. Popova","year":"2009","unstructured":"Popova, E.D.: Mathematica Connectivity to Interval Libraries filib++ and C-XSC. In: Cuyt, A., Kr\u00e4mer, W., Luther, W., Markstein, P. (eds.) Numerical Validation in Current Hardware Architectures. LNCS, vol.\u00a05492, pp. 117\u2013132. Springer, Heidelberg (2009)"},{"key":"7_CR67","unstructured":"R Development Core Team: R: A Language and Environment for Statistical Computing. R Foundation for Statistical Computing, Vienna, Austria (2010), http:\/\/www.R-project.org"},{"key":"7_CR68","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1017\/S0266267100001085","volume":"4","author":"T. Seidenfeld","year":"1988","unstructured":"Seidenfeld, T.: Decision theory without \u201cindependence\u201d or without \u201cordering\u201d: what is the difference? Economics and Philosophy\u00a04, 267\u2013290 (1988)","journal-title":"Economics and Philosophy"},{"key":"7_CR69","doi-asserted-by":"publisher","first-page":"1139","DOI":"10.1214\/aos\/1176349254","volume":"21","author":"T. Seidenfeld","year":"1993","unstructured":"Seidenfeld, T., Wasserman, L.: Dilation for sets of probabilities. The Annals of Statistics\u00a021, 1139\u20131154 (1993)","journal-title":"The Annals of Statistics"},{"key":"7_CR70","first-page":"28","volume":"19","author":"R.G. Selby","year":"1997","unstructured":"Selby, R.G., Vecchio, F.J., Collins, M.P.: The failure of an offshore platform. Concrete International\u00a019, 28\u201335 (1997)","journal-title":"Concrete International"},{"key":"7_CR71","unstructured":"Slabodkin, G.: Smart ship inquiry a go. Government Computer News (August 31, 1998), http:\/\/gcn.com\/articles\/1998\/08\/31\/smart-ship-inquiry-a-go.aspx"},{"key":"7_CR72","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1111\/j.1539-6924.1992.tb00703.x","volume":"12","author":"A.E. Smith","year":"1992","unstructured":"Smith, A.E., Ryan, P.B., Evans, J.S.: The effect of neglecting correlations when propagating uncertainty and estimating the population of risk. Risk Analysis\u00a012, 467\u2013474 (1992)","journal-title":"Risk Analysis"},{"key":"7_CR73","volume-title":"Ecological Risk Assessment","author":"G.W. Suter II","year":"1993","unstructured":"Suter II, G.W.: Ecological Risk Assessment. Lewis Publishers, Boca Raton (1993)"},{"key":"7_CR74","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctvcm4g18","volume-title":"Validated Numerics: A Short Introduction to Rigorous Computations","author":"W. Tucker","year":"2011","unstructured":"Tucker, W.: Validated Numerics: A Short Introduction to Rigorous Computations. Princeton University Press, Princeton (2011)"},{"key":"7_CR75","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1214\/09-BA405","volume":"4","author":"F. Tuyl","year":"2009","unstructured":"Tuyl, F., Gerlachy, R., Mengersen, K.: Posterior predictive arguments in favor of the Bayes-Laplace prior as the consensus prior for binomial and multinomial parameters. Bayesian Analysis\u00a04, 151\u2013158 (2009)","journal-title":"Bayesian Analysis"},{"key":"7_CR76","volume-title":"Degrees of Belief: Subjective Probability and Engineering Judgment","author":"S.G. Vick","year":"2002","unstructured":"Vick, S.G.: Degrees of Belief: Subjective Probability and Engineering Judgment. American Society of Civil Engineers, Reston (2002)"},{"key":"7_CR77","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-3472-7","volume-title":"Statistical Reasoning with Imprecise Probabilities","author":"P. Walley","year":"1991","unstructured":"Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, London (1991)"},{"key":"7_CR78","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1111\/j.2517-6161.1996.tb02065.x","volume":"58","author":"P. Walley","year":"1996","unstructured":"Walley, P.: Inferences from multinomial data: learning about a bag of marbles. Journal of the Royal Statistical Society, Series B\u00a058, 3\u201357 (1996)","journal-title":"Journal of the Royal Statistical Society, Series B"},{"key":"7_CR79","doi-asserted-by":"publisher","first-page":"457","DOI":"10.2307\/2988546","volume":"45","author":"P. Walley","year":"1996","unstructured":"Walley, P., Gurrin, L., Barton, P.: Analysis of clinical data using imprecise prior probabilities. The Statistician\u00a045, 457\u2013485 (1996)","journal-title":"The Statistician"},{"key":"7_CR80","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0888-613X(90)90022-T","volume":"4","author":"R.C. Williamson","year":"1990","unstructured":"Williamson, R.C., Downs, T.: Probabilistic arithmetic I: numerical methods for calculating convolutions and dependency bounds. International Journal of Approximate Reasoning\u00a04, 89\u2013158 (1990)","journal-title":"International Journal of Approximate Reasoning"},{"key":"7_CR81","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1016\/S0020-7373(86)80066-9","volume":"25","author":"R.R. Yager","year":"1986","unstructured":"Yager, R.R.: Arithmetic and other operations on Dempster\u2013Shafer structures. International Journal of Man-Machine Studies\u00a025, 357\u2013366 (1986)","journal-title":"International Journal of Man-Machine Studies"},{"key":"7_CR82","unstructured":"Zhang, H., Mullen, R.L., Muhanna, R.L.: Finite element structural analysis using imprecise probabilities based on p-box representation. In: Beer, M., Muhanna, R.L., Mullen, R.L. (eds.) Proceedings of the 4th International Workshop on Reliable Engineering Computing: Robust Design\u2014Coping with Hazards, Risk and Uncertainty, Singapore, March 3-5. Research Publishing (2010), http:\/\/rpsonline.com.sg\/rpsweb\/9789810851187.html , http:\/\/www.eng.nus.edu.sg\/civil\/REC2010\/documents\/papers\/013.pdf"},{"key":"7_CR83","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1504\/IJRS.2012.044292","volume":"6","author":"H. Zhang","year":"2012","unstructured":"Zhang, H., Mullen, R., Muhanna, R.: Safety structural analysis with probability-boxes. International Journal of Reliability and Safety\u00a06, 110\u2013129 (2012)","journal-title":"International Journal of Reliability and Safety"}],"container-title":["IFIP Advances in Information and Communication Technology","Uncertainty Quantification in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32677-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T10:02:19Z","timestamp":1714298539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32677-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642326769","9783642326776"],"references-count":85,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32677-6_7","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}