Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ļ¬nite model theory and proļ...
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
Abstract. In this paper we will show how certain techniques of image processing, having different scopes, can be joined together under a common "algebraic roof".
Abstract. In this paper, we propose a novel mesh deformation approach via manipulating differential properties non-uniformly. Guided by user-speciļ¬ed material properties, our met...
Abstract. This paper gives a survey of some ways to improve the efficiency of discrete log-based cryptography by using the restriction of scalars and the geometry and arithmetic of...