{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:45:12Z","timestamp":1755218712637,"version":"3.43.0"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Computing"],"published-print":{"date-parts":[[1998,2]]},"DOI":"10.1023\/a:1009954817673","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T19:25:11Z","timestamp":1040585111000},"page":"71-82","source":"Crossref","is-referenced-by-count":11,"title":["A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions"],"prefix":"10.1007","volume":"4","author":[{"given":"Daniel","family":"Berleant","sequence":"first","affiliation":[]},{"given":"Hang","family":"Cheng","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"160703_CR1","first-page":"48","volume":"2","author":"D. Berleant","year":"1993","unstructured":"Berleant, D.: Automatically Verified Reasoning with both Intervals and Probability Density Functions, Interval Computations 2 (1993), pp. 48-70.","journal-title":"Interval Computations"},{"key":"160703_CR2","volume-title":"A Software Tool for Automatically Verified Reasoning with Intervals and Cumulative Distribution Functions","author":"H. Cheng","year":"1994","unstructured":"Cheng, H.: A Software Tool for Automatically Verified Reasoning with Intervals and Cumulative Distribution Functions, Master's Thesis, Dept. of Computer Systems Engineering, U. of Arkansas, Fayetteville, 1994."},{"key":"160703_CR3","unstructured":"Crystal Ball, software product, Decisioneering Inc., 1380 Lawrence St. Suite 520, Denver CO 80204."},{"key":"160703_CR4","unstructured":"Hyv\u00f6nen, E.: Constraint Reasoning on Probability Distributions, manuscript, author is at VTT Information Technology, P.O. Box 1201, 02044 VTT, FINLAND, eero.hyvonen@vtt.fi, 1995."},{"key":"160703_CR5","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1017\/S0890060400000433","volume":"8","author":"E. Hyv\u00f6nen","year":"1994","unstructured":"Hyv\u00f6nen, E.: Spreadsheets Based on Interval Constraint Satisfaction, Artificial Intelligence for Engineering Design, Analysis, and Manufacturing\n8 (1994), pp. 27-34.","journal-title":"Artificial Intelligence for Engineering Design, Analysis, and Manufacturing"},{"key":"160703_CR6","unstructured":"Ingram, G. E., Welker, E. L., and Herrmann, C. R.: Designing for Reliability Based on Probabilistic Modeling Using Remote Access Computer Systems, in: Proceedings 7th Reliability and Maintainability Conference, American Society of Mechanical Engineers, 1968, pp. 492-500."},{"issue":"4","key":"160703_CR7","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1214\/aoms\/1177731684","volume":"12","author":"A. Kolmogoroff","year":"1941","unstructured":"Kolmogoroff, A. (a.k.a. Kolmogorov): Confidence Limits for an Unknown Distribution Function, Annals of Mathematical Statistics\n12(4) (1941), pp. 461-463.","journal-title":"Annals of Mathematical Statistics"},{"issue":"4","key":"160703_CR8","doi-asserted-by":"crossref","first-page":"363","DOI":"10.2307\/249191","volume":"10","author":"G. V. Post","year":"1986","unstructured":"Post, G. V. and Diltz, J. D.: A Stochastic Dominance Approach to Risk Analysis of Computer Systems, Management Information Systems Quarterly\n10(4) (1986), pp. 363-375.","journal-title":"Management Information Systems Quarterly"},{"key":"160703_CR9","unstructured":"@RISK, software product, Palisade Corp., 31 Decker Rd., Newfield, NY 14867."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009954817673.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009954817673\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009954817673.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:32:35Z","timestamp":1754472755000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009954817673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,2]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,2]]}},"alternative-id":["160703"],"URL":"https:\/\/doi.org\/10.1023\/a:1009954817673","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[1998,2]]}}}