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...
: The kinematic properties of mechanisms are well known by the researchers and teachers. The theory based on the study of Jacobian matrices allows us to explain, for example, the s...
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
This paper explores the Successive Mean Quantization Transform (SMQT) for automatic enhancement of gray-scale images. The transform is in the paper presented using set theory. The...
DinnerWare is an exploration of eating as a medium for computation and aesthetic expression. It consists of a dining service electronically equipped to react to the properties of ...