ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
The canonical coding partition of a set of words is the finest partition such that the words contained in at least two factorizations of a same sequence belong to a same class. In...
We pose the problem of recognizing different types of human gait in the space of dynamical systems where each gait is represented. Established techniques are employed to track a k...
Alessandro Bissacco, Alessandro Chiuso, Yi Ma, Ste...
In this paper, we present a simple distributed algorithm for resource allocation which simultaneously approximates the optimum value for a large class of objective functions. In p...
— We introduce a method which allows one to recover the nonholonomic equations of motion of certain systems by instead finding a Hamiltonian via Pontryagin’s Maximum Principle...