A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions

Reliable Computing

Volumn 4, Issue 1, 1998, Pages 71-82

  Berleant, Daniel ^a   Cheng, Hang ^a  

^a 3202 Bell Engineering Center   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0012729518     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009954817673     Document Type: Article

References (9)

1. Berleant, D.: Automatically Verified Reasoning with both Intervals and Probability Density Functions, Interval Computations 2 (1993), pp. 48-70.
2. 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.
3. Crystal Ball, software product, Decisioneering Inc., 1380 Lawrence St. Suite 520, Denver CO 80204.
4. Hyvönen, 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.
5. Hyvönen, E.: Spreadsheets Based on Interval Constraint Satisfaction, Artificial Intelligence for Engineering Design, Analysis, and Manufacturing 8 (1994), pp. 27-34.
6. 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.
7. Kolmogoroff, A. (a.k.a. Kolmogorov): Confidence Limits for an Unknown Distribution Function, Annals of Mathematical Statistics 12 (4) (1941), pp. 461-463.
8. Post, G. V. and Diltz, J. D.: A Stochastic Dominance Approach to Risk Analysis of Computer Systems, Management Information Systems Quarterly 10 (4) (1986), pp. 363-375.
9. @RISK, software product, Palisade Corp., 31 Decker Rd., Newfield, NY 14867.