– Information about the locomotion performance of known rovers is sparse. A comprehensive evaluation of wheeled passive systems is presented in this work. It is based on a static...
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
The story describes a world of the future in which there are two entirely different groups of people, one involved in the development and reproduction of the industrial base of the...
The mesh-of-trees topology has very attractive properties if a distance-sensitive routing, such as store-andforward, is used. How its properties compare to meshes if distance-inse...
Given an arbitrary finite sequence of vectors in a finite–dimensional Hilbert space, we describe an algorithm, which computes a Parseval frame for the subspace generated by the...