Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
— Fixed and mobile relays are used, among other applications, in the downlink of cellular communications systems. Cooperation between relays can greatly increase their benefits ...
Natasha Devroye, Neelesh B. Mehta, Andreas F. Moli...
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
In the previous paper in ICAT2002, we reported that a non-grounded palm-top torque display "GyroCube" was developed. Although it requires no grounding base for supportin...