Operations, homomorphism and update versus relational database systems
Propriétés de permanence et existence de réalisations minimales pour les algèbres multisortes
Subdirect products of certain varieties of unary algebras
J. Płonka in [12] noted that one could expect that the regularization of a variety of unary algebras is a subdirect product of and the variety of all discrete algebras (unary semilattices), but is not the case. The purpose of this note is to show that his expectation is fulfilled for those and only those irregular varieties which are contained in the generalized variety of the so-called trap-directable algebras.
Support vector machine skin lesion classification in Clifford algebra subspaces
The present study develops the Clifford algebra within a dermatological task to diagnose skin melanoma using images of skin lesions, which are modeled here by means of 5D lesion feature vectors (LFVs). The LFV is a numerical approximation of the most used clinical rule for melanoma diagnosis - ABCD. To generate the we develop a new formula that uses the entries of a 5D vector to calculate the entries of a 32D multivector. This vector provides a natural mapping of the original 5D vector onto...
The computability potential scale of all finite algebras.
The lattice of subautomata of an automaton: A survey.
The theory of core algebras: its completeness.
Tree transformations defined by hypersubstitutions
Tree transducers are systems which transform trees into trees just as automata transform strings into strings. They produce transformations, i.e. sets consisting of pairs of trees where the first components are trees belonging to a first language and the second components belong to a second language. In this paper we consider hypersubstitutions, i.e. mappings which map operation symbols of the first language into terms of the second one and tree transformations defined by such hypersubstitutions....