Results 41 to 50 of about 3,478,615 (190)

Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots

Advanced Robotics Research, EarlyView.
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, Liang Zhang, Jianwen Zeng, Xuefeng Wang   +3 more
wiley   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
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

Pseudo-free families of computational universal algebras

Journal of Mathematical Cryptology, 2020
Let Ω be a finite set of finitary operation symbols. We initiate the study of (weakly) pseudo-free families of computational Ω-algebras in arbitrary varieties of Ω-algebras.
Anokhin Mikhail
doaj   +1 more source

On dynamical systems induced by p-adic number fields [PDF]

Opuscula Mathematica, 2015
In this paper, we construct dynamical systems induced by \(p\)-adic number fields \(\mathbb{Q}_{p}\). We study the corresponding crossed product operator algebras induced by such dynamical systems.
Ilwoo Cho
doaj   +1 more source

On the Category of EQ-algebras

Bulletin of the Section of Logic, 2021
In this paper, we studied the category of EQ-algebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQ-algebras have coequlizers and we calculated coproduct and pushout in a special case ...
Narges Akhlaghinia, Mona Aaly Kologani, Rajab Ali Borzooei, Xiao Long Xin   +3 more
doaj   +1 more source

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

On the nilpotent Leibniz–Poisson algebras

Vestnik Samarskogo Gosudarstvennogo Tehničeskogo Universiteta. Seriâ: Fiziko-Matematičeskie Nauki, 2012
In this article Leibniz and Leibniz–Poisson algebras in terms of correctness of different identities are investigated. We also examine varieties of these algebras. Let K be a base field of characteristics zero.
S. M. Ratseev, O. I. Cherevatenko
doaj   +3 more sources

Free Spectra of Equivalential Algebras with Conjunction on Dense Elements

Bulletin of the Section of Logic
We construct free algebras in the variety generated by the equivalential algebra with conjunction on dense elements and compute the formula for the free spectrum of this variety.
Sławomir Przybyło, Katarzyna Słomczyńska   +1 more
doaj   +1 more source

Representation-finite tree algebras [PDF]

, 1981
Bongartz K, Ringel CM. Representation-finite tree algebras. In: Auslander M, Lluis E, eds. Representations of Algebras. Proceedings of the Third International Conference on Representations of Algebras, held in Puebla, Mexico, August 4 - 8, 1980.
Claus Michael Ringel, Ringel, Claus Michael, Bongartz, Klaus, Auslander, Maurice, Klaus Bongartz, Lluis, Emilo   +5 more
core   +1 more source

Symmetry‐Imposed Selection Rules for Excitations of Nontrivial Plasmonic Topologies

Advanced Science, EarlyView.
A unified group‐theory selection rule governs the excitation of vectorial nearfield topologies across three plasmonic spin states. Derived from first principles, it predicts spin–orbit vortex splitting and multidimensional nested vortices, confirmed by phase‐resolved in situ measurements.
Jie Yang, Pengyi Feng, Fei Han, Weijin Chen, Zhongwei Jin, Jincheng Ni, Yuanjie Yang, Anxue Zhang, Guy A. E. Vandenbosch, Niels Verellen, Ewald Janssens, Jiafu Wang, Benfeng Bai, Cheng‐Wei Qiu, Xuezhi Zheng   +14 more
wiley   +1 more source