This tutorial paper describes different approaches to modeling and simulation of mixed-technology microsystems that consist of electrical circuits connected to subsystems describe...
Two beliefs, ease of use and usefulness, have been considered to be fundamental in determining the acceptance of various IS in the past decades. These beliefs may not, however, fu...
This paper considers the statistical properties of the waves generated by a point source in the subsurface and transmitted towards the surface through a randomly layered medium. Th...
We consider the model of random trees introduced by Devroye [SIAM J Comput 28, 409– 432, 1998]. The model encompasses many important randomized algorithms and data structures. T...
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...