We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
In recent years, science education has been the focus of study and development of new gamebased learning environments. It has been argued that active and critical learning about r...
This paper describes the development and use of an extensible service provider toolkit (ESP) for an Earth Science service-oriented architecture (SOA). Grid-enabled Earth Science a...
In the 1980's, Bennett introduced computational depth as a formal measure of the amount of computational history that is evident in an object's structure. In particular,...