{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T05:27:40Z","timestamp":1760160460769,"version":"3.43.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"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":[[2003,4]]},"DOI":"10.1023\/a:1023082100128","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T18:17:24Z","timestamp":1049739444000},"page":"91-108","source":"Crossref","is-referenced-by-count":43,"title":["Statool: A Tool for Distribution Envelope Determination (DEnv), an Interval-Based Algorithm for Arithmetic on Random Variables"],"prefix":"10.1007","volume":"9","author":[{"given":"Daniel","family":"Berleant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lizhi","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianzhong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5122354_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5532-8","volume-title":"Distributions with Given Marginals and Moment Problems","author":"V. Ben?s","year":"1997","unstructured":"Ben?s, V. and Št?p\u00e1n, J. (eds): Distributions with Given Marginals and Moment Problems, Kluwer Academic Publishers, Dordrecht, 1997."},{"key":"5122354_CR2","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"},{"issue":"1","key":"5122354_CR3","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1023\/A:1009954817673","volume":"4","author":"D. Berleant","year":"1998","unstructured":"Berleant, D. and Cheng, H.: A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions, Reliable Computing\n4(1) (1998), pp. 71-82.","journal-title":"Reliable Computing"},{"issue":"2","key":"5122354_CR4","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1009933109326","volume":"4","author":"D. Berleant","year":"1998","unstructured":"Berleant, D. and Goodman-Strauss, C.: Bounding the Results of Arithmetic Operations on Random Variables of Unknown Dependency Using Intervals, Reliable Computing\n4(2) (1998), pp. 147-165.","journal-title":"Reliable Computing"},{"key":"5122354_CR5","unstructured":"Berleant, D. and Zhang, J.: (a + b)a: Cumulative Credibility and the Distribution Envelope Determination (DEnv) Algorithm, Poster, presented at: Sandia, 2002 [28], http:\/\/www.sandia.gov\/epistemic\/Papers\/berleant.pdf."},{"key":"5122354_CR6","unstructured":"Berleant, D. and Zhang, J.: Using Correlation to Improve Envelopes Around Derived Distributions, submitted, http:\/\/class.ee.iastate.edu\/berleant\/home\/me\/cv\/ papers\/correlationpaper.ps."},{"key":"5122354_CR7","unstructured":"Berleant, D., Zhang, J., Hu, R., and Shebl\u00e9, G.: Economic Dispatch: Applying the Interval-Based Distribution Envelope Algorithm to an Electric Power Problem, in: SIAM Workshop on Validated Computing 2002, Extended Abstracts, Toronto, May 23-25, pp. 32-35, http:\/\/www.cs.utep.edu\/interval-comp\/interval.02\/berla.pdf."},{"key":"5122354_CR8","unstructured":"Berleant, D., Zhang, J., and Shebl\u00e9, G.: On Bounding the Times to Failure of Two-Component Systems, submitted, http:\/\/class.ee.iastate.edu\/berleant\/home\/me\/cv\/ papers\/2components.htm."},{"key":"5122354_CR9","unstructured":"Berleant, D., Zhang, J., and Shebl\u00e9, G.: On Completion Times of Networks of Concurrent and Sequential Tasks, under revision, http:\/\/class.ee.iastate.edu\/berleant\/home\/ me\/cv\/papers\/onCompletionTime.htm."},{"issue":"2","key":"5122354_CR10","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/TR.1980.5220750","volume":"R-29","author":"A. G. Colombo","year":"1980","unstructured":"Colombo, A. G. and Jaarsma, R. J.: A Powerful Numerical Method to Combine Random Variables, IEEE Transactions on Reliability\nR-29(2) (1980), pp. 126-129.","journal-title":"IEEE Transactions on Reliability"},{"key":"5122354_CR11","unstructured":"Cuadras, C. M.: http:\/\/www.bio.ub.es\/estad\/personal\/cuadras\/marg.htm, Web site forDistributions withGiven Marginals and Statistical Modeling, Barcelona, July 17-20, 2000."},{"key":"5122354_CR12","doi-asserted-by":"crossref","unstructured":"Dall'Aglio, G., Kotz, S., and Salinetti, G. (eds): Advances in Probability Distributions with Given Marginals, Kluwer Academic Publishers, Dordrecht, 1991.","DOI":"10.1007\/978-94-011-3466-8"},{"key":"5122354_CR13","volume-title":"RAMAS Risk Calc 4.0: Risk Assessment with Uncertain Numbers","author":"S. Ferson","year":"2002","unstructured":"Ferson, S.: RAMAS Risk Calc 4.0: Risk Assessment with Uncertain Numbers, Lewis Press, Boca Raton, Florida, 2002."},{"issue":"4","key":"5122354_CR14","doi-asserted-by":"crossref","first-page":"990","DOI":"10.1080\/10807039609383659","volume":"2","author":"S. Ferson","year":"1996","unstructured":"Ferson, S.: What Monte Carlo Methods Cannot Do, Journal of Human and Ecological Risk Assessment\n2(4) (1996), pp. 990-1007.","journal-title":"Journal of Human and Ecological Risk Assessment"},{"key":"5122354_CR15","unstructured":"Ferson, S. and Hajagos, J.: Don't Open That Envelope: Solutions to the Sandia Problems Using Probability Boxes, Poster, presented at: Sandia, 2002 [28], http:\/\/www.sandia.gov\/epistemic\/Papers\/ferson.pdf."},{"key":"5122354_CR16","unstructured":"Fetz, T. and Oberguggenberger, M.: Solution to Challenge Problem 1 in the Framework of Sets of Probability Measures, Poster and Manuscript, presented at: Sandia, 2002 [28], tz, Michael@mat1.uibk.ac.at."},{"key":"5122354_CR17","unstructured":"Helton, J. (ed.): Reliability Engineering and System Safety, Synopsis, Special Issue, forthcoming, http:\/\/www.sandia.gov\/epistemic\/eup workshop1.htm#papers."},{"key":"5122354_CR18","unstructured":"Ingram, G. E., Welker, E. L., and Herrmann, C. R.: Designing for Reliability Based on Probabilistic Modeling Using Remote Access Computer Systems, in: Proc. 7th Reliability and Maintainability Conference, American Society of Mechanical Engineers, 1968, pp. 492-500."},{"issue":"3","key":"5122354_CR19","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1111\/j.1539-6924.1981.tb01415.x","volume":"1","author":"S. Kaplan","year":"1981","unstructured":"Kaplan, S.: On the Method of Discrete Probability Distributions in Risk and Reliability Calculations, Applications to Seismic Risk Assessment, Risk Analysis\n1(3) (1981), pp. 189-196.","journal-title":"Risk Analysis"},{"key":"5122354_CR20","unstructured":"Kazakov, D. A.: Interval Arithmetic for ADA, version 1.0, http:\/\/www.dmitry-kazakov.de\/ada\/intervals.htm."},{"key":"5122354_CR21","unstructured":"Lodwick, W.: Algorithm presented at Validated Computing 2002, weldon.lodwick@cudenver.edu."},{"issue":"1","key":"5122354_CR22","first-page":"1","volume":"84","author":"R. E. Moore","year":"1984","unstructured":"Moore, R. E.: Risk Analysis without Monte Carlo Methods, Freiburger Intervall-Berichte\n84(1) (1984), pp. 1-48.","journal-title":"Freiburger Intervall-Berichte"},{"key":"5122354_CR23","doi-asserted-by":"crossref","unstructured":"Nelsen, R. B.: An Introduction to Copulas, Lecture Notes in Statistics\n139, Springer-Verlag, 1999.","DOI":"10.1007\/978-1-4757-3076-0"},{"key":"5122354_CR24","unstructured":"Oberkampf, W. L., Helton, J. C., Joslyn, C. A., Wojtkiewics, S. F., and Ferson, S.: Challenge Problems: Uncertainty in System Response Given Uncertain Parameters, Reliability Engineering and System Safety, forthcoming."},{"key":"5122354_CR25","unstructured":"Red-Horse, J.: A Probabilistic Approach to UQ Using Approximate Information, presented at: Sandia, 2002 [28], jrredho@sandia.gov."},{"key":"5122354_CR26","unstructured":"Regan, H., Ferson, S., and Berleant, D.: Equivalence of Five Methods for Bounding Uncertainty, accepted pending revision, http:\/\/class.ee.iastate.edu\/berleant\/home\/me\/ cv\/papers\/pBoundsEquivalence.htm."},{"key":"5122354_CR27","doi-asserted-by":"crossref","unstructured":"R\u00a8uschendorf, L., Schweizer, R., and Taylor, M. D. (eds): Distributions with Fixed Marginals and Related Topics, Institute of Mathematical Statistics, Hayward, California, 1996.","DOI":"10.1214\/lnms\/1215452598"},{"key":"5122354_CR28","unstructured":"Sandia National Laboratory: Epistemic Uncertainty Workshop, Albuquerque, August 6-7, 2002, http:\/\/www.sandia.gov\/epistemic\/eup workshop1.htm."},{"key":"5122354_CR29","unstructured":"Shebl\u00e9, G. and Berleant, D.: Bounding the Composite Value at Risk for Energy Service Company Operation with DEnv, an Interval-Based Algorithm, in: SIAM Workshop on Validated Computing 2002, Extended Abstracts, Toronto, May 23-25, pp. 166-171, http:\/\/www.cs.utep.edu\/interval-comp\/interval.02\/sheb.pdf."},{"key":"5122354_CR30","volume-title":"The Algebra of Random Variables","author":"D. Springer","year":"1979","unstructured":"Springer, D.: The Algebra of Random Variables, John Wiley and Sons, New York, 1979."},{"key":"5122354_CR31","unstructured":"Statool software, http:\/\/class.ee.iastate.edu\/berleant\/home\/Research\/ Pdfs\/versions\/statool\/distribution\/index.htm."},{"key":"5122354_CR32","unstructured":"Tonon, F.:Using Random Set Theory to Solve Challenge Problem B, Poster, presented at: Sandia, 2002 [28], http:\/\/www.sandia.gov\/epistemic\/Papers\/tonon.pdf."},{"key":"5122354_CR33","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0888-613X(90)90022-T","volume":"4","author":"R. C. Williamson","year":"1990","unstructured":"Williamson, R. C. and Downs, T.: Probabilistic Arithmetic I: Numerical Methods for Calculating Convolutions and Dependency Bounds, International Journal of Approximate Reasoning\n4 (1990), pp. 89-158.","journal-title":"International Journal of Approximate Reasoning"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1023082100128.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1023082100128\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1023082100128.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:39:09Z","timestamp":1754473149000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1023082100128"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["5122354"],"URL":"https:\/\/doi.org\/10.1023\/a:1023082100128","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}