— In this paper a new decoupled imaged-based control scheme is proposed from projection onto a unit sphere. This control scheme is based on moment invariants to 3D rotational mot...
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
Due to the lateral gene transfer, the phylogenetic tree may be inadequate for representing the evolution of Influenza A (H1N1) virus. This work employs the distance invariant manif...