Image Processing Reference
In-Depth Information
Hoefkens, J. (2001),
Verified Methods for Differential Algebraic Equations
.
Hoefkens, J.; Berz, M. & Makino, K. (2001),
Verified High-Order Integration of DAEs and
Higher-Order ODEs
, 281-292.
Hoefkens, J.; Berz, M. & Makino, K. (2003), "Controlling the Wrapping Effect in the Solution
of ODEs of Asteriods",
Reliable Computing
, 9, 1, 21-41.
Kaucher, E. (1980), "Interval Analysis in the Extended Interval Space IR",
Computing Suppl.
,
2, 33-49.
Kearfott, R. B. (2004),
R.B. Kearfott Homepage
. http://interval.louisiana.edu/kearfott.html
Kreinovich, V. (2004),
The Interval Computations Homepage
. http://www.cs.utep.edu/
interval-comp/
Lemke, A.; Hedrich, L. & Barke, E. (Nov. 2002),
Analog Circuit Sizing Based on Formal Methods
Using Affine Arithmetic
.
López, J.A. (2004),
Evaluación de los Efectos de Cuantificación en las Estructuras de Filtros
Digitales Utilizando Técnicas de Cuantificación Basadas en Extensiones de Intervalos
,
Ph.D. Thesis, Univ. Politécnica de Madrid.
López, J.A.; Carreras, C. & Nieto-Taladriz O. (2007), Improved Interval-Based
Characterization of Fixed-Point LTI Systems With Feedback Loops,
IEEE Trans.
Computer-Aided Design of Integrated Circuits and Systems,
vol. 26, pp. 1923-1933.
López, J.A.; Caffarena, G.; Carreras, C. & Nieto-Taladriz O. (2008), Fast and accurate
computation of the roundoff noise of linear time-invariant systems,
IET Circuits,
Devices & Systems
, vol. 2, pp. 393-408.
Makino, K. (1998),
Rigurous Analysis of Nonlinear Motion in Particle Accelerators
,
Makino, K. (1999), "Efficient Control of the Dependency Problem Based on Taylor Model
Methods",
Reliable Computing
, 5, 1, 3-12.
Makino, K. & Berz, M. (1999), "COSY INFINITY Version 8",
Nuclear Instruments and Methods
,
A427, 338-343.
Makino, K. & Berz, M. (2003), "Taylor Models and Other Validated Functional Inclusion
Methods",
Int. J. of Pure and Applied Mathematics
, 4, 4, 379-456.
Moore, R. E. (1966),
Interval analysis
, Prentice-Hall.
Moore, R. E. (1962),
Interval Arithmetic and Automatic Error Analysis in Digital Computing
,
Neumaier, A. (1990),
Interval Methods for Systems of Equations
.
Neumaier, A. (2002), "Taylor Forms, Use and Limits",
Reliable Computing
, 9, 43-79.
Ortolf, J. H. (Bonn, 1969), "Eine Verallgemeinerung der Intervallarithmetik",
Geselschaft fuer
Mathematik und Datenverarbeitung
, 11, 1-71.
Schichl, H. & Neumaier, A. (2002),
Interval Analysis - Basics
.
Schulte, M. J. (2004),
M.J. Schulte Homepage
.
http://www.engr.wisc.edu/ece/faculty/ schulte_michael.html
Shou, H.; Lin, H.; Martin, R. & Wang, G. (2003), "Modified Affine Arithmetic Is More
Accurate than Centered Interval Arithmetic or Affine Arithmetic",
Mathematics of
Surfaces, 10th IMA International Conference, Proceedings
, 2768 / 2003, 355 - 365.
Shou, H.; Martin, R.; Voiculescu, I.; Bowyer, A. & Wang, G. (2002), "Affine Arithmetic in
Matrix Form for Polynomial Evaluation and Algebraic Curve Drawing",
Progress in
Natural Science
, 12, 1, 77-81.
SIGLA/X (1999a),
Ground Construction of Modal Intervals
.
SIGLA/X (1999b),
Applications of Interval Analysis to Systems and Control
, 127-227.
Stolfi, J. & Figuereido, L. H. d. (1997),
Self-Validated Numerical Methods and Applications
.
Tupper, J. A. (1996),
Graphing Equations with Generalized Interval Arithmetic
.
Vehí, J. (1998),
Anàlisi i Disseny de Controladors Robustos Mitjançant Interval Modals
,
Walster, G. W. (2004),
G.W. Walster Papers, http://www.mscs.mu.edu/globsol/walster-papers.html.