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.
Search WWH ::




Custom Search