Results 51 to 60 of about 19,149 (335)
N=4 l-conformal Galilei superalgebra
An N=4 supersymmetric extension of the l-conformal Galilei algebra is constructed. This is achieved by combining generators of spatial symmetries from the l-conformal Galilei algebra and those underlying the most general superconformal group in one ...
Anton Galajinsky, Ivan Masterov
doaj +1 more source
Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots
A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun +3 more
wiley +1 more source
This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source
On the enumeration of finite 𝐿-algebras
We use Constraint Satisfaction Methods to construct and enumerate finite L L -algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory, algebraic logic, and the study of the combinatorial Yang–Baxter equation.
Menchon, Maria Paula +2 more
openaire +6 more sources
On maximally supersymmetric Yang-Mills theories
We consider ten-dimensional supersymmetric Yang-Mills theory (10D SUSY YM theory) and its dimensional reductions, in particular, BFSS and IKKT models. We formulate these theories using algebraic techniques based on application of differential graded Lie ...
A. Schwarz +32 more
core +1 more source
Spatial‐Wavelength Multiplexing Error‐Controlled Photonic Analog Computing System
A novel photonic integrated circuit prototype implementing the concept of general‐purpose analog computing and demonstrate its capability in radio frequency applications. The chip features a multichannel architecture and performs fully optical analog computation with frequency‐domain parallel processing. An FPGA‐based error‐correction algorithm aims to
Tao Zhu +15 more
wiley +1 more source
Automorphism groups of some non-nilpotent Leibniz algebras
Let $L$ be an algebra over a field $F$ with the binary operations $+$ and $[,]$. Then $L$ is called a left Leibniz algebra if it satisfies the left Leibniz identity: $[a,[b,c]]=[[a,b],c]+[b,[a,c]]$ for all $a,b,c\in L$. A linear transformation $f$ of $L$
L.A. Kurdachenko +2 more
doaj +1 more source
Representation of certain classes of distributive lattices by sections of sheaves
Epstein and Horn ([6]) proved that a Post algebra is always a P-algebra and in a P-algebra, prime ideals lie in disjoint maximal chains. In this paper it is shown that a P-algebra L is a Post algebra of order n≥2, if the prime ideals of L lie in disjoint
U. Maddana Swamy, P. Manikyamba
doaj +1 more source
Convergence is a crucial issue in iterative algorithms. Damping is commonly employed to ensure the convergence of iterative algorithms. The conventional ways of damping are scalar-wise, and either heuristic or empirical.
Shunqi Huang, Lei Liu, Brian M. Kurkoski
doaj +1 more source
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source

