Claim Your Author Page
In this paper we introduce ASQue (agent sensor queries), a query language for ad-hoc sensor networks. ASQue is formally defined (in B) and is based on a restricted form of first order logic. We… (More)
The embedding of celestial spheres in N, the space of null geodesics of a strongly causal space–time, M is studied, with particular attention to the contact form on N. The algebraic topology of the… (More)
The various definitions of kinking number that have been used are examined and compared, and a general definition is proposed. A generalization of Hopf’s index theorem is given.
A version of the clock effect, or twin paradox, in which neither observer undergoes acceleration is considered. It is observed that even when no curvature is present the large-scale structure of… (More)
We present the first room-temperature results on a three-photon excitation of Rydberg states in cesium atoms placed inside a kagomé-style hollow-core photonic crystal fiber.
The natural topology on the space of causal paths of a space-time depends on the topology chosen on the space-time itself. Here we consider the effect of using the path topology on space-time instead… (More)
Exstatic is a generic static checker developed by the author to address many of the practical problems in program development. Static checking provides a valuable means for automating time consuming… (More)
We give a brief description of how Maxwell's equations are expressed in the language of differential forms and use this to provide an elegant demonstration of how the method of images (well known in… (More)
Marked-up text (e.g. HTML and XML) is the format of choice for the delivery of end-user information in pervasive environments. Consistent style and structure of a set of pages can greatly aid their… (More)
Embedded system designers have always had different targets and constraints from their desktop and server computing counterparts. Power management has a higher priority in embedded systems, a… (More)