Related papers: A Contribution in the Rotor-router model
Classically, regular homomorphisms have been defined as a replacement for Abel--Jacobi maps for smooth varieties over an algebraically closed field. In this work, we interpret regular homomorphisms as morphisms from the functor of families…
We consider Abel maps for regular smoothing of nodal curves with values in the Esteves compactified Jacobian. In general, these maps are just rational, and an interesting question is to find an explicit resolution. We translate this problem…
In this short paper, we survey the results on commutative automorphic loops and give a new construction method. Using this method, we present new classes of commutative automorphic loops of exponent 2 with trivial center.
We have previously proposed a study of arrangements of small circles which also surround regions in the plane realized as the images of natural real algebraic maps yielding Morse-Bott functions by projections. Among studies of arrangements,…
It is well known that general recursion cannot be expressed within Martin-Loef's type theory and various approaches have been proposed to overcome this problem still maintaining the termination of the computation of the typable terms. In…
In this article we present a unified way to smooth certain multiple structures called ropes on smooth varieties. We prove that most ropes of arbitrary multiplicity, supported on smooth curves can be smoothed. By a rope being smoothable we…
The work studies a number of approaches to solving motion planning problem for a mobile robot with a trailer. Different control models of car-like robots are considered from the differential-geometric point of view. The same models can be…
Jacobi theta functions with rational characteristics can be viewed as vector-valued Jacobi forms. Theta relations usually correspond to different constructions of certain Jacobi forms. From this observation, we extract a new approach, which…
The chaotic properties of simple two-dimensional rotation-translation models are explored and simulated. The models are given in difference equation forms, while the corresponding differential equations systems are studied and the resulting…
Martin-L\"of's Intuitionistic Theory of Types is becoming popular for formal reasoning about computer programs. To handle recursion schemes other than primitive recursion, a theory of well-founded relations is presented. Using primitive…
Looking at the automata defined over a group alphabet as a nearring, we see that they are a highly complicated structure. As with ring theory, one method to deal with complexity is to look at semisimplicity modulo radical structures. We…
A classical derivation of Betz's law is first presented along with some insights. The extended Betz's theory is deduced for a rotor with axis orthogonal to the direction of an ideal fluid in uniform motion. The conceptual design used to…
Continuum and soft robots can leverage complex actuator shapes to take on useful shapes while actuating only a few of their many degrees of freedom. Continuum robots that also grow increase the range of potential shapes that can be actuated…
For associative commutative algebras $A$ with Rota-Baxter operator $R$ identities of the algebra $AR=(A,\circ)$, where $a\circ b= aR(b),$ are found.
We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a commutative ring R embeds in the 2x2-matrix…
Representations of Hom-Jacobi-Jordan algebras are studied. In particular, adjoint representations and trivial representations are studied in detail. Derivations and central extensions of Hom-Jacobi-Jordan algebras are also discussed as an…
One of the most challenging issues in adaptive control of robot manipulators with kinematic uncertainties is requirement of the inverse of Jacobian matrix in regressor form. This requirement is inevitable in the case of the control of…
In a recent article, Arendt and ter Elst have shown that every sectorial form is in a natural way associated with the generator of an analytic strongly continuous semigroup, even if the form fails to be closable. As an intermediate step…
We propose an effective geometrical approach to recover the normal form of a given Elasticity tensor, once we know its symmetry class. In other words, we produce a rotation which brings an Elasticity tensor onto its normal form, given its…
A family of permutations called 2-clumped permutations forms a basis for a sub-Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. The 2-clumped permutations are in bijection with certain decompositions of a square into…