Semantic Computing Research Group (SeCo)

Making computers and the web more intelligent and interoperable!

---

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).