We present a general framework for the modelling of a class of mechanical systems for robotic manipulation, consisting of articulated limbs with redundant tendinous actuation and ...
Paolo Petreschi, Domenico Prattichizzo, Antonio Bi...
The paper proposes mvTANTs, three-level networks with multiple-valued inputs and binary outputs. These networks are a generalization of binary TANTs (Three level And Not networks...
This paper considers the controllability problem for multi-agent systems. In particular, the structural controllability of multi-agent systems with a single leader under switching ...
Most of currently available content-based publish-subscribe systems that were designed to operate in large scale, wired scenarios, build their routing infrastructure as a set of b...
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...