Abstract--We consider a new concept of a Multiple-InputMultiple-Output (MIMO) receiver which uses one active receiving antenna and multiple parasitic elements. The parasitic elemen...
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
A map is a graph equipped with a circular order of edges around each vertex. These circular orders represent local planar embeddings. The genus of a map is the minimal genus of an...
This paper argues that the internet is built around key technology design features of openness, robustness and decentralisation. These design features have transformed into social...