Some papers of Eero Hyvönen on interval computations
Interval constraint satisfaction
- Hyvönen, E.: Constraint Reasoning Based on Interval
Arithmetic. The Tolerance Propagation Approach. Artificial Intelligence 58,
1992, pp. 71-112. Also in: Freuder, E., Mackworth, A., (Eds.),
Constraint-Based Reasoning, MIT Press, Cambridge, USA, 1994.
- Hyvönen, E.: Evaluation of Cascaded Interval Function Constraints.
Proceedings of the International Workshop on Constraint-Based Reasoning (CONSTRAINT-95), Melbourne Beach,
Florida, 1995. (ps.zip, 758 KB).
- Hyvönen, E., De Pascale, S.:
Shared Computations for Efficient Interval Function Evaluation.
Scientific Computing, Computer Arithmetic and Validated Numerics, Akademie-Verlag,
Berlin, Germany, 1996. (ps.zip, 56 KB).
Interval constraint programming in C++
- Hyvönen, E., De Pascale, S., Lehtola, A.: Interval Constraint Satisfaction
Tool INC++. Proceedings of 5th International Conference on Tools with Artificial
Intelligence, IEEE Computer Society Press, New York, 1993.
- Hyvönen, E., De Pascale, S., Lehtola, A.: Interval Constraint Programming in C++.
In: Mayoh, B., Tyugu, E., Penjam, J. (Eds.): Constraint Programming, NATO ASI Series,
Vol. F131, Springer-Verlag, Berlin, pp. 350-366, 1994.
- Hyvönen, E., De Pascale, S.: InC++ Library Family for Interval Computations.
Journal of Reliable Computing, supplement. Proceedings of the International Workshop on Application of Interval Arithmetic,
El Paso, Texas, 1995. (ps.zip, 588 KB).
- Chan S., Hyvönen, E.:
Application of constraint logic solving to generation rejection in electrical power utility.
In: STeP 2000 - Millenium of Artificial Intelligence, Proceedings of the 9th Finnish AI Conference. Publications of the Finnish AI Society,
No 16, 2000, pp. 175-179. (pdf, 36KB)
Interval computations on spreadsheets
- Hyvönen, E.: Spreadsheets Based on Interval Constraint Satisfaction.
Artificial Intelligence for Engineering Design, Analysis and Manufacturing 8,
No. 1, 1994, pp. 27-34.
- Hyvönen, E., De Pascale, S.: Interval Constraint Spreadsheets: An Implementation for
Microsoft Excel. Journal of Reliable Computing, supplement., 1995.
- Hyvönen, E., De Pascale, S.:
Interval Computations on the Spreadsheet.
In: Kearfott, B., Kreinovich, V. (Eds.):
Applications of Interval Computations, Kluwer, New York, 1995. (ps.zip, 215 KB).
- Hyvönen, E., De Pascale, S.:
A New Basis for Spreadsheet Computing: Interval Solver for Microsoft Excel
Proceedings of AAAI-99/IAAI-99,
American Association for Artificial Intelligence (AAAI), Menlo Park, Calif., 1999.
Available in:
PDF (127 KB) and
ps.zip (239 KB).
This paper got "Innovative Application" award from AAAI/IAAI and
a slightly updated version of the paper was published in AI Magazine,
Vol. 21, No. 4, Winter 2000, 83-92.
- Hyvönen, E.:
Interval Input and Output.
In: W. Kramer, J. W. von Gudenberg (eds.), Scientific Computing, Validated Numerics, Interval Methods.
Kluwer, 2001, 41-52.
(pdf, 180 KB).
Probability and interval arithmetic
- Pesonen, J., Hyvönen, E.:
Interval Approach Challanges Monte Carlo Simulation.
Reliable Computing, Vol. 2, Nr. 2, 1996, 155-160. (ps.zip, 56 KB).