A. Edalat. Dynamical systems, measuresand fractals via domain theory. Information and Computation, 120(1):32--48, July 1995.  Home/Search   Document Not in Database   Summary   Related Articles

....Of course, the operational semantics cannot evaluate a program denoting a real number in finitely many steps. However, it can compute an arbitrarily small rational interval containing the real number in a sufficiently large number of steps. Based on previous work on domain theory and integration [11, 8], we show how to handle integration in Real PCF. In domain theoretic integration, one obtains increasingly better approximations to the value of the integral of a real valued function. This has led to exact computations of integrals in various fields such as statistical physics [7] neural nets ....

A. Edalat. Dynamical systems, measuresand fractals via domain theory. Information and Computation, 120(1):32--48, July 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC