The problem of minimizing the rank of a matrix subject to linear equality constraints arises in applications in machine learning, dimensionality reduction, and control theory, and...
A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to ...
We present a new bio-inspired control strategy for an autonomous underwater vehicle by constructing coupled nonlinear oscillators, similar to the animal central pattern generators ...
Keehong Seo, Soon Jo Chung, Jean-Jacques E. Slotin...
The immune system provides an ideal metaphor for anomaly detection in general and computer security in particular. Based on this idea, artificial immune systems have been used for...
Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions o...