| [1] |
Arrigo Benedetti and Nicola Guglielmi.
Tracing characteristics of smooth nonlinear resistive circuits by
interval analysis.
In Proceedings of ISCAS-96, 1996. [ bib | .ps ] |
| [2] |
Daniel Berleant.
Automatically verified reasoning with both intervals and probability
density functions.
Interval Computations, 1993(2):48-70, 1993. [ bib ] |
| [3] |
Daniel Berleant.
Automatically verified arithmetic on probability distributions and
intervals.
In Applications of Interval Computation, pages 227-244. Kluwer
Academic Publishers, 1996. [ bib ] |
| [4] |
Martin Berz, K. Makino, and J. Hoefkens.
Verified integration of dynamics in the solar system.
Nonlinear Analysis: Theory, Methods and Applications,
47:179-190, 2001. [ bib | http ] |
| [5] |
Kenneth P. Burnham and David R. Anderson.
Model Selection and Inference: A Practical Information-theoretic
Approach.
Springer-Verlag, New York, 1998. [ bib | .html ] |
| [6] |
John L. Casti.
Searching for Certainty: What scientist can now about the
future.
William Morrow and Company, New York, 1990. [ bib | http ] |
| [7] |
George F. Corliss.
Applications of differentiation arithmetic.
In Ramon E. Moore, editor, Reliability in Computing: The role of
interval methods in scientific computing, pages 127-148. Academic Press,
New York, 1988. [ bib ] |
| [8] |
Michael A. Crane.
A bounding technique for polynomial functions.
SIAM Journal of Applied Mathematics, 29(4):751-754, 1975. [ bib | http ] |
| [9] |
A. P. Dempster.
Upper and lower probabilities induced by a multivalued mapping.
The Annals of Mathematics, 38(2):325-339, 1967. [ bib | http ] |
| [10] |
Daniel Ellsberg.
Risk, ambiguity, and Savage axioms.
The Quarterly Journal of Economics, 75(4):643-669, 1961. [ bib | www: ] |
| [11] |
Scott Ferson.
RAMAS Risk Calc 4.0 Software: Risk Assessment with Uncertain
Numbers.
Lewis Publishers, Boca Raton, Florida, 2002. [ bib | http ] |
| [12] |
Scott Ferson, Lev Ginzburg, Vladik Kreinovich, and Monica Aviles.
Exact bounds on sample variance on interval data.
Technical Report UTEP-CS-02-13c, University of Texas at El Paso,
2002. [ bib | .ps.gz ] |
| [13] |
Scott Ferson, Lev Ginzburg, Vladik Kreinovich, Luc Longpre;, and Monica Aviles.
Computing variance for interval data is np-hard.
SIGACT News, 33(2):108-118, 2002. [ bib | http ] |
| [14] |
Scott Ferson, Lev Ginzburg, Vladik Kreinovich, and Monica Aviles.
Exact bounds on sample variance on interval data.
In Extended Abstracts of the 2002 SIAM Workshop on Validated
Computing, pages 67-69, Toronto, Canada, 2002. [ bib | .ps.gz ] |
| [15] |
Scott Ferson and Janos G. Hajagos.
Arithmetic with uncertain numbers: rigorous and (often) best possible
answers.
Reliability Engineering and System Safety, 85:135-152, 2003. [ bib ] |
| [16] |
David M. Gay.
Interval least squares-a diagnostic tool.
In Ramon Moore, editor, Reliability in Computing: The role of
interval methods in scientific computing, pages 183-205. Academic Press,
New York, 1988. [ bib ] |
| [17] |
Joseph Y. Halpern.
Reasoning with Uncertainty.
MIT Press, 2003. [ bib | http ] |
| [18] |
Eldon Hansen, editor.
Topics in Interval Analysis.
Oxford University Press, London, 1969. [ bib ] |
| [19] |
Eldon Hansen and G. William Walster.
Global Optimization using Interval Analysis.
Dekker, New York, NY, 2003. [ bib | http ] |
| [20] |
Eldon Hansen.
Sharpness in interval computations.
Reliable Computing, 3:7-29, 1997. [ bib ] |
| [21] |
Eldon Hansen and G. William Walster.
Global Optimization using Interval Analysis.
Marcel Dekker, New York, NY, second, revised and expanded edition,
2004. [ bib | http ] |
| [22] |
Joel Hass, Michael Hutchings, and Roger Schafly.
The double bubble conjecture.
Electronic Research Announcements of the AMS, 1:95-102, 1995. [ bib ] |
| [23] |
Brian Hayes.
A lucid interval.
American Scientist, 91(6):484-488, 2003. [ bib | http ] |
| [24] |
Jürgen Herzberger.
Note on a bounding techniques for polynomial functions.
SIAM Journal of Applied Mathematics, 34(4):685-686, 1978. [ bib | http ] |
| [25] |
Oliver Holzmann, Bruno Land, and Holger Schütt.
Newton's constant of gravitation and verified numerical quadrature.
Journal of Reliable Computing, 2(3):229-239, 1993. [ bib | .ps ] |
| [26] |
Joel L. Horowitz and Charles F. Manski.
Imprecise identification from incomplete data.
In Second International Symposium on Imprecise Probabilities and
Their Applications, pages 213-218, Ithaca, New York, 2001. [ bib ] |
| [27] |
J. Horowitz, Charles F. Manski, M. Ponomareva, and J. Stoye.
Computation of bounds on population parameters when the data are
incomplete.
Reliable Computing, 9(6):419-440, 2003. [ bib | http ] |
| [28] |
Luc Jaulin, Michel Kieffer, Olivier Didrit, and Èric Walter.
Applied Interval Analysis.
Springer-Verlag, London, 2001. [ bib | .html ] |
| [29] |
Luc Jaulin.
Interval constraint propagation with application to bounded-error
estimation.
Automatica, 36:1547-1552, 2000. [ bib ] |
| [30] |
Luc Jaulin and Éric Walter.
Guaranteed parameter bounding for nonlinear models with uncertain
experimental factors.
Automatica, 35(849-856), 1999. [ bib ] |
| [31] |
Luc Jaulin and Éric Walter.
Guaranteed nonlinear set estimation via interval analysis.
In M. Milanese, John Norton, Hélène Piet-Lahanier, and
Éric Walter, editors, Bounding Approaches to System
Identification, pages 363-380. Plenum Press, New York, 1996. [ bib ] |
| [32] |
Edwin T. Jaynes.
Probability Theory: the logic of science.
Cambrdige University Press, Cambridge, U.K., 2003. [ bib ] |
| [33] |
Arnold Kaufmann and Madan M. Gupta.
Introduction to Fuzzy Arithmetic.
Van Nostrand Reinhold, 1991. [ bib ] |
| [34] |
Stanley Kaplan.
On the method of discrete probability distributions in risk and
reliability calculations-application to seismic risk assessment.
Risk Analysis, 1(3):189-196, 1981. [ bib ] |
| [35] |
Baker Kearfott.
Rigorous Global Search: Continuous Problems.
Kluwer Academic Publishers, Dordrecht, Netherlands, 1996. [ bib | http ] |
| [36] |
Thomas B. Kirchner.
Data management and simulation.
In W. K. Michener, J. W. Brunt, and S. G. Stafford, editors,
Environmental information Management and Analysis: Ecosystem to Global
Scales, pages 357-375. Taylor and Francis, London, 1994. [ bib ] |
| [37] |
Thomas B. Kirchner.
Time space, variability, and uncertainty.
In Michael C. Newman and Carl L. Strojan, editors, Risk
Assessment: Logic and Measurement, pages 303-323. Lewis Publishers, Boca
Raton, Florida, 2000. [ bib ] |
| [38] |
Frank H. Knight.
Risk, Uncertainty and Profit.
Hart, Schaffner, and Marx, 1921. [ bib | http ] |
| [39] |
B. O. Koopman.
The axioms and algebra of intuitive probability.
Annals of Mathematics, 41(2):269-292, 1940. [ bib | http ] |
| [40] |
Vladik Kreinovich.
Data processing beyond traditional statistics: Applications of
interval computation. a brief introduction.
In APIC'95, El Paso, Extended Abstracts, A Supplement to the
international journal of Reliable Computing. El Paso, 1995. [ bib | .ps ] |
| [41] |
Vladik Kreinovich and Raúl Trejo.
Error estimations for indirect measurements: randomized versus
deterministic algorithms for black-box programs.
In Sanguthevar Rajasekaran, Panos M. Pardalos, John H. Reif, and
José D.P. Rolim, editors, Handbook of Randomized Computing,
volume 2, pages 673-729. Kluwer Academic Publishers, Dordrecht, Netherlands,
2001. [ bib ] |
| [42] |
Vladik Kreinovich and Scott D. Ferson.
A new cauchy-based black-box technique for uncertainty in risk
analysis.
Technical Report UTEP-CS-02-28a, University of Texas at El Paso,
2002. [ bib | .ps.gz ] |
| [43] |
Vladik Kreinovich, Luc Longpré, Scott Ferson, and Lev Ginzburg.
Why is selecting the simplest hypothesis (consistent with data) a
good idea?
Technical Report UTEP-CS-02-19, University of Texas at El Paso, 2002. [ bib | .ps.gz ] |
| [44] |
Vladik Kreinovich, Luc Longpre, and James J. Buckley.
Are there efficient necessary and sufficient conditions for
straightforward interval computations to be exact?
In Extended Abstracts of the 2002 SIAM Workshop on Validated
Computing, pages 94-96, Toronto, Canada, 2002. [ bib | .ps.gz ] |
| [45] |
Vladik Kreinovich, Luc Longpre, and James J. Buckley.
Are there efficient necessary and sufficient conditions for
straightforward interval computations to be exact?
Technical Report UTEP-CS-02-11a, University of Texas at El Paso,
2002. [ bib | .ps.gz ] |
| [46] |
Vladik Kreinovich and Isaak A. Kunin.
Kolmogorov complexity: How a paradigm motivated by foundations of
physics can be applied in robust control.
Technical Report UTEP-CS-03-07, University of Texas at El Paso, 2003. [ bib ] |
| [47] |
Vladik Kreinovich, Luc Longpré, Scott Ferson, and Lev Ginzburg.
Computing higher central moments for interval data.
Technical Report UTEP-CS-03-14, University of Texas at El Paso, 2003. [ bib | .ps.gz ] |
| [48] |
V. P. Kuznetsov.
Auxiliary problems of statistical data processing: Interval approach.
In APIC'95, El Paso, Extended Abstracts, A Supplement to the
international journal of Reliable Computing. El Paso, 1995. [ bib | .ps ] |
| [49] |
Jr. Henry E. Kyburg.
Interval-valued probabilities.
Imprecise probabilities project, 2000. [ bib | .html ] |
| [50] |
Carlo N. Lauro and Francesco Palumbo.
Principal component analysis of interval data: a symbolic data
analysis approach.
Computational Statistics, 15(1):73-87, 2000. [ bib | .pdf ] |
| [51] |
Bruno Lang.
Verified Quadrature in Determining Newton's Constant of
Gravitation.
Journal of Universal Computer Science, 4(1):16-24, January
1998. [ bib | http ] |
| [52] |
Weldon A. Lodwick and K. David Jameson.
Estimating and validating the cumulative distribution of a function
of random variables: toward the development of distribution arithmetic.
Should be published: Reliable Computing, 2002. [ bib | .ps ] |
| [53] |
Kyoko Makino and Martin Berz.
Taylor models and other validated functional inclusion methods.
International Journal of Pure and Applied Mathematics,
4:379-456, 2003. [ bib | http ] |
| [54] |
Kyoko Makino and Martin Berz.
Suppression of the wrapping effect by taylor model- based validated
integrators.
Technical Report MSU HEP Report 40910, Michigan State University,
2004. [ bib | http ] |
| [55] |
M. Marino and Franceso Palumbo.
Interval linear regression: an application to soil permeability
analysis.
In Convegno intermedio della SIS, Napoli, Italy, 2003. [ bib ] |
| [56] |
S. Markov and Y. Akyildiz.
Curve fitting and interpolation of biological data under
uncertainties.
Journal of Universal Computer Science, 2(2):58-69, 1996. [ bib | http ] |
| [57] |
S. M. Markov and E. Popova.
Estimation and identification using interval arithmetic.
Identification and System Parameter Estimation, 1:769-772,
1991. [ bib ] |
| [58] |
S. Markov, E. Popova, U. Schneider, and J. Schulze.
On linear interpolation under interval data.
Mathematics and Computers in Simulation, 42:35-45, 1996. [ bib ] |
| [59] |
S. M. Markov and E. D. Popova.
Linear interpolation and estimation using interval analysis.
In M. Milanese, John Norton, Hélène Piet-Lahanier, and
Éric Walter, editors, Bounding Approaches to System
Identification, pages 139-157. Plenum Press, New York, 1996. [ bib ] |
| [60] |
Ramon Moore.
Interval Analysis.
Prentice-Hall, Englewood Cliffs, New Jersey, 1966. [ bib ] |
| [61] |
Ramon E. Moore.
Methods and Applications of Interval Analysis.
Society for Industrial and Applied Mathematics, Philadelphia, 1979. [ bib | .html ] |
| [62] |
Markus Neher.
Validated bounds for taylor coefficients of analytic functions.
Journal of Reliable Computing, 7:307-319, 2001. [ bib | .pdf ] |
| [63] |
Arnold Neumaier.
Interval Methods for Systems of Equations.
Cambridge University Press, 1990. [ bib | http ] |
| [64] |
Arnold Neumaier.
Introduction to Numerical Analysis.
Cambridge University Press, Cambridge, U.K., 2001. [ bib | http ] |
| [65] |
Arnold Neumaier.
Grand challenges and scientific standards in interval analysis.
Reliable Computing, 8:313-320, 2002. [ bib | .ps.gz ] |
| [66] |
Arnold Neumaier.
Taylor forms - use and limits.
Journal of Reliable Computing, 9:43-79, 2002. [ bib | .ps.gz ] |
| [67] |
Arnold Neumaier.
Complete search in continuous global optimization and constraint
satisfaction.
In A. Iserles, editor, Acta Numerica 2004, pages 271-369.
Cambridge University Press, 2004. [ bib | http ] |
| [68] |
Bret Ninness and Graham Goodwin.
Estimation of model quality.
Automatica, 22(12):32-74, 1995. [ bib | .ps.gz ] |
| [69] |
Phillippe Nivlet, Frédérique Fournier, and Jean-Jacques Royler.
Interval discriminant analysis: An efficient method to integrate
errors in supervised pattern recognition.
In Second International Symposium on Imprecise Probabilities and
Their Applications, pages 284-292, Ithaca, New York, 2001. [ bib ] |
| [70] |
Jeremy Oakley and Anthony O'Hagan.
Bayesian inference for the uncertainty distribution of computer model
outputs.
Biometrika, 89(4):769-784, 2002. [ bib | .html ] |
| [71] |
Jeremy Oakley and Anthony O'Hagan.
Probabilistic sensitivity analysis of complex models: a bayesian
approach.
Journal of the Royal Statistical Society, Series B,
66:751-769, 2004. [ bib | .html ] |
| [72] |
Anthony O'Hagan and Jeremy E. Oakley.
Probability is perfect, but we can't elicit it perfectly.
Reliability Engineering and System Safety, to appear. [ bib | .PDF ] |
| [73] |
E. D. Popova and C. P. Ulrich.
Simplification of symbolic-numerical interval expressions.
In O. Gloor, editor, International Symposium on Symbolic and
Algebraic Computation, pages 207-214. ACM Press, 1998. [ bib | .pdf ] |
| [74] |
E. D. Popova.
On the solutions of parametrised linear systems.
In Walter Kraemer and J. Wolff von Gudenberg, editors,
Scientific Computing, Validated Numerics, Interval Methods, pages 127-138.
Kluwer Academic Publishers, 2001. [ bib | .ps ] |
| [75] |
H. M. Regan, R. Lupia, A. N. Drinnan, and M. A. Burgman.
The currency and tempo of extinction.
The American Naturalist, 157(1):1-10, 2001. [ bib ] |
| [76] |
Elvezio Ronchetti.
Bounded influence inference in regression: a review.
In Y. Dodge, editor, Statistical Data Analysis Based on the
L_1-Norm and Related Methods. Elsevier Science Publishers, North Holland,
1987. [ bib ] |
| [77] |
J. Rohn.
Solving systems of linear interval equations.
In Ramon Moore, editor, Reliabilty in Computing: The Role of
Interval Methods in Scientific Computing, pages 171-182. Academic Press,
New York, 1988. [ bib ] |
| [78] |
Siegfried M. Rump.
Intlab - interval laboratory.
In Tibor Csendes, editor, Developments in Reliable Computing,
pages 77-104. Kluwer Academic Publishers, 1999. [ bib | .ps.gz ] |
| [79] |
Siegfried M. Rump.
Fast and parallel interval arithmetic.
BIT, 39(3):534-554, 1999. [ bib | .ps.gz ] |
| [80] |
Saul B. Salia and Scott Ferson.
Fuzzy regression in fisheries science: some methods and applications.
Technical Report AK-SG-98-01, Alaska Sea Grant Program, 1998. [ bib ] |
| [81] |
Uwe Shäfer.
A linear complementarity problem with a p-matrix.
SIAM Review, 46:189-201, 2004. [ bib ] |
| [82] |
Roger Sherman.
The psychological difference between ambiguity and risk.
The Quarterly Journal of Economics, 88(1):166-169, 1974. [ bib | http ] |
| [83] |
Alexander I. Shlylakhter.
An improved framework for uncertainty analysis: accounting for
unsuspected errors.
Risk Analysis, 14(4):441-447, 1994. [ bib | .html ] |
| [84] |
Stig Skelboe.
Computation of rational interval functions.
BIT, 14:87-95, 1974. [ bib | .pdf ] |
| [85] |
James E. Smith.
Generalized Chebychev inequalities: theory and applications in
decision analysis.
Operations Research, 43(5):807-825, 1995. [ bib | http ] |
| [86] |
Jeff Tupper.
Reliable two-dimensional graphing methods for mathematical formulae
with two free variables.
In SIGGRAPH 2001 Conference Proceedings, Los Angeles, New York,
2001. [ bib | .pdf ] |
| [87] |
Stansilev Uryasev.
Derivatives of probability functions and some applications.
Annals of Operations Research, 56:287-311, 1995. [ bib | .pdf ] |
| [88] |
Morgan C. Wang and William J. Kennedy.
Self-validating computations of probabilities for selected central
and noncentral univariate probability functions.
Journal of the American Statistical Association,
89(427):878-887, 1994. [ bib | http ] |
| [89] |
G. William Walster.
Philosophy and practicalities of interval arithmetic.
In Ramon Moore, editor, Reliabilty in Computing: The Role of
Interval Methods in Scientific Computing, pages 309-323. Academic Press,
New York, 1988. [ bib ] |
| [90] |
Robert C. Williamson.
Interval arithmetic and probabilistic arithmetic.
In C. Ullrich, editor, Contributions to Computer Arithmetic and
Self-Validating Numerical Methods, pages 67-80. J.C. Baltzer AG, Scientific
Publishing, 1990. [ bib ] |
| [91] |
Ronald R. Yager.
Arithmetic and other operations on Dempster-Shafer structures.
International Journal of Man-Machine Studies, 25:357-366,
1986. [ bib ] |
| [92] |
Rosalind Cecily Young.
The algebra of many-valued quantities.
Mathematische Annalen, 104:260-290, 1931. [ bib | .pdf ] |
This file has been generated by bibtex2html 1.75