Generalized Hamiltonian biodynamics and topology invariants of humanoid robots.
Möbius transformation is an important tool for establishing weights of compositional expert systems rules from conditional weights. In this paper, an applicability of Möbius transformation of rule bases is also extended to knowledge bases with elementary disjunctions in antecedents of rules. This paper contains an existence theorem, an algorithm of the transformation and some open problems which tend to maximal generality as well.
The paper has been presented at the International Conference Pioneers of Bulgarian Mathematics, Dedicated to Nikola Obreshko ff and Lubomir Tschakaloff , Sofi a, July, 2006.Component-based software engineering and software architecture are tightly connected areas in computer science. Software architecture presents the functionality of the system as decomposition into components, the properties of these components and the connectors between them. This paper illustrates a methodology for application...
Let be a closed algebraic subvariety of the -dimensional projective space over the complex or real numbers and suppose that is non-empty and equidimensional. In this paper we generalize the classic notion of polar variety of associated with a given linear subvariety of the ambient space of . As particular instances of this new notion of generalized polar variety we reobtain the classic ones and two new types of polar varieties, called dual and (in case that is affine) conic. We show that...
We prove that the generalized Thue-Morse word defined for and as , where denotes the sum of digits in the base- representation of the integer , has its language closed under all elements of a group isomorphic to the dihedral group of order consisting of morphisms and antimorphisms. Considering antimorphisms , we show that is saturated by -palindromes up to the highest possible level. Using the generalisation of palindromic richness recently introduced by the author and E. Pelantová,...
It is well known that, given an endofunctor on a category , the initial -algebras (if existing), i.e., the algebras of (wellfounded) -terms over different variable supplies , give rise to a monad with substitution as the extension operation (the free monad induced by the functor ). Moss [17] and Aczel, Adámek, Milius and Velebil [2] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete iterativeness),...
It is well known that, given an endofunctor H on a category C , the initial (A+H-)-algebras (if existing), i.e. , the algebras of (wellfounded) H-terms over different variable supplies A, give rise to a monad with substitution as the extension operation (the free monad induced by the functor H). Moss [17] and Aczel, Adámek, Milius and Velebil [12] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete...
The notion of a construction of a fuzzy preference structures is introduced. The properties of a certain class of generated fuzzy implications are studied. The main topic in this paper is investigation of the construction of the monotone generator triplet , which is the producer of fuzzy preference structures. Some properties of mentioned monotone generator triplet are investigated.