We prove that there exists a functorial correspondence between MV-algebras and partially cyclically ordered groups which are the wound-rounds of lattice-ordered groups. It follows some results about can be stated in terms MV-algebras. For example, study together with cyclic order allows to get first-order characterization unimodular complex numbers finite deduce pseudofinite MV-chains pseudo-si...

An iterative learning controller for steering chained-form systems is presented. The learning algorithm relies on chained-form systems being linear under piecewise-constant inputs. The proposed control scheme requires the execution of a limited number of experiments in order to reach the desired state in finite time, with nice convergence and robustness properties with respect to modeling inacc...

In this note we construct two infinite snark families which have high oddness and low circumference compared to the number of vertices. Using this construction, we also give a counterexample to a suggested strengthening of Fulkerson’s conjecture by showing that the Petersen graph is not the only cyclically 4-edge connected cubic graph which require at least five perfect matchings to cover its e...

Symmetry is an important shape feature. In this paper, a simple and fast method to detect perfect and distorted rotational symmetries of 2D objects is described. The boundary of a shape is polygonally approximated and represented as a string. Rotational symmetries are found by cyclic string matching between two identical copies of the shape string. The set of minimum cost edit sequences that tr...