-
1
-
-
0013449534
-
Automatically Verified Arithmetic on Probability Distributions and Intervals
-
Kearfott, R. B. and Kreinovich, V. (eds), Kluwer Academic Publishers, Dordrecht
-
Berleant, D.: Automatically Verified Arithmetic on Probability Distributions and Intervals, in: Kearfott, R. B. and Kreinovich, V. (eds), Applications of Interval Computations, Kluwer Academic Publishers, Dordrecht, 1996.
-
(1996)
Applications of Interval Computations
-
-
Berleant, D.1
-
2
-
-
0002430403
-
Automatically Verified Arithmetic with Both Intervals and Probability Density Functions
-
Berleant, D.: Automatically Verified Arithmetic with Both Intervals and Probability Density Functions, Interval Computations 2 (1993), pp. 48-70.
-
(1993)
Interval Computations
, vol.2
, pp. 48-70
-
-
Berleant, D.1
-
3
-
-
0000210906
-
Bounding the Results of Arithmetic Operations on Random Variables of Unknown Dependency Using Intervals
-
Berleant, D. and Goodman-Strauss, C.: Bounding the Results of Arithmetic Operations on Random Variables of Unknown Dependency Using Intervals, Reliable Computing 4 (2) (1998), pp. 147-165.
-
(1998)
Reliable Computing
, vol.4
, Issue.2
, pp. 147-165
-
-
Berleant, D.1
Goodman-Strauss, C.2
-
4
-
-
0037380562
-
Statool: A Tool for Distribution Envelope Determination (DEnv), an Interval-Based Algorithm for Arithmetic on Random Variables
-
Berleant, D., Xie, L., and Zhang, J.: Statool: A Tool for Distribution Envelope Determination (DEnv), an Interval-Based Algorithm for Arithmetic on Random Variables, Reliable Computing 9 (2) (2003), pp. 91-108.
-
(2003)
Reliable Computing
, vol.9
, Issue.2
, pp. 91-108
-
-
Berleant, D.1
Xie, L.2
Zhang, J.3
-
5
-
-
0004116989
-
-
MIT Press, Cambridge, and Mc-Graw Hill Co., N.Y.
-
Cormen, Th. H., Leiserson, C. E., Rivest, R. L., and Stein, C.: Introduction to Algorithms, MIT Press, Cambridge, and Mc-Graw Hill Co., N.Y., 2001.
-
(2001)
Introduction to Algorithms
-
-
Cormen, Th.H.1
Leiserson, C.E.2
Rivest, R.L.3
Stein, C.4
-
7
-
-
0142202555
-
Absolute Bounds on the Mean of Sum, Product, etc.: A Probabilistic Extension of Interval Arithmetic
-
http://www.cs.utep.edu/vladik/2002/tr02-12b.pdf
-
Ferson, S., Ginzburg, L., Kreinovich, V., and Lopez, J.: Absolute Bounds on the Mean of Sum, Product, etc.: A Probabilistic Extension of Interval Arithmetic, in: Extended Abstracts of the 2002 SIAM Workshop on Validated Computing, Toronto, Canada, May 23-25, 2002, pp. 70-72, detailed paper can be found at http://www.cs.utep.edu/vladik/2002/tr02-12b.ps.gz or http://www.cs.utep.edu/vladik/2002/tr02-12b.pdf.
-
Extended Abstracts of the 2002 SIAM Workshop on Validated Computing, Toronto, Canada, May 23-25, 2002
, pp. 70-72
-
-
Ferson, S.1
Ginzburg, L.2
Kreinovich, V.3
Lopez, J.4
-
8
-
-
0142140760
-
-
Technical Report, Applied Biomathematics
-
Ferson, S., Myers, D., and Berleant, D.: Distribution-Free Risk Analysis: I. Range, Mean, and Variance, Technical Report, Applied Biomathematics, 2001.
-
(2001)
Distribution-Free Risk Analysis: I. Range, Mean, and Variance
-
-
Ferson, S.1
Myers, D.2
Berleant, D.3
-
10
-
-
0003440056
-
-
Springer-Verlag, London
-
Jaulin, L., Kieffer, M., Didrit, O., and Walter, E.: Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, Springer-Verlag, London, 2001.
-
(2001)
Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics
-
-
Jaulin, L.1
Kieffer, M.2
Didrit, O.3
Walter, E.4
-
12
-
-
0003553371
-
-
Kluwer Academic Publishers, Dordrecht
-
Kreinovich, V., Lakeyev, A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations, Kluwer Academic Publishers, Dordrecht, 1997.
-
(1997)
Computational Complexity and Feasibility of Data Processing and Interval Computations
-
-
Kreinovich, V.1
Lakeyev, A.2
Rohn, J.3
Kahl, P.4
-
13
-
-
0037382015
-
Estimating and Validating the Cumulative Distribution of a Function of Random Variables: Toward the Development of Distribution Arithmetic
-
Lodwick, W. A. and Jamison, K. D.: Estimating and Validating the Cumulative Distribution of a Function of Random Variables: Toward the Development of Distribution Arithmetic, Reliable Computing 9 (2) (2003), pp. 127-141.
-
(2003)
Reliable Computing
, vol.9
, Issue.2
, pp. 127-141
-
-
Lodwick, W.A.1
Jamison, K.D.2
-
16
-
-
0142202556
-
Equivalence of Five Methods for Bounding Uncertainty
-
to appear
-
Regan, H., Ferson, S., and Berleant, D.: Equivalence of Five Methods for Bounding Uncertainty, Journal of Approximate Reasoning, to appear.
-
Journal of Approximate Reasoning
-
-
Regan, H.1
Ferson, S.2
Berleant, D.3
-
17
-
-
0142202554
-
Absolute Bounds on the Mean and Standard Deviation of Transformed Data for Constant-Sign-Derivative Transformations
-
Rowe, N. C.: Absolute Bounds on the Mean and Standard Deviation of Transformed Data for Constant-Sign-Derivative Transformations, SIAM Journal of Scientific Statistical Computing 9 (1988), pp. 1098-1113.
-
(1988)
SIAM Journal of Scientific Statistical Computing
, vol.9
, pp. 1098-1113
-
-
Rowe, N.C.1
-
19
-
-
0002063018
-
Probabilistic Arithmetic I: Numerical Methods for Calculating Convolutions and Dependency Bounds
-
Williamson, R. and Downs, T.: Probabilistic Arithmetic I: Numerical Methods for Calculating Convolutions and Dependency Bounds, International Journal of Approximate Reasoning 4 (1990), pp. 89-158.
-
(1990)
International Journal of Approximate Reasoning
, vol.4
, pp. 89-158
-
-
Williamson, R.1
Downs, T.2
|