Results 41 to 50 of about 13,253 (266)

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

The product of a quartic and a sextic number cannot be octic

Open Mathematics
In this article, we prove that the product of two algebraic numbers of degrees 4 and 6 over Q{\mathbb{Q}} cannot be of degree 8. This completes the classification of so-called product-feasible triplets (a,b,c)∈N3\left(a,b,c)\in {{\mathbb{N}}}^{3} with a ...
Dubickas Artūras, Maciulevičius Lukas
doaj   +1 more source

A State‐Adaptive Koopman Control Framework for Real‐Time Deformable Tool Manipulation in Robotic Environmental Swabbing

Advanced Robotics Research, EarlyView.
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, Amirreza Davar, Dongyi Wang   +2 more
wiley   +1 more source

Split Quaternionic Representations of Horadam Sequences and Their Binet, Generating Function, and Cassini-Type Identities

Journal of Mathematics
This study establishes a novel algebraic connection between Horadam numbers and the split quaternion algebra. To this end, two fundamental constructs are introduced: the Fibonacci Sq,r-split quaternions and the Horadam sq,r-split quaternions, which ...
İskender Öztürk, Hasan Çakır
doaj   +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

Algebraic winding numbers

Journal of Algebra
In this paper, we propose a new algebraic winding number and prove that it computes the number of complex roots of a polynomial in a rectangle, including roots on edges or vertices with appropriate counting. The definition makes sense for the algebraic closure C = R[i] of a real closed field R, and the root counting result also holds in this case.
Perrucci, Daniel, Roy, Marie-Françoise
openaire   +4 more sources

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

Application of the Neutrosophic Fuzzy Sets in Profession Determination [PDF]

Neutrosophic Sets and Systems
We present several operations, such as algebraic sum, algebraic product, and arithmetic mean, over the neutrosophic sets extended with moment in time and sketch numbers.
K. Rajesh, S. Moorthy, A. Jeeva, D. Moganraj   +3 more
doaj   +1 more source

Physics‐Constrained Constitutive Learning of Rate‐Limiting Timescales for Efficient Hydrogen‐Based Direct Reduction for Green Steel Making

Advanced Science, EarlyView.
A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai, Barak Ratzker, Pasquale Cavaliere, Dierk Raabe   +3 more
wiley   +1 more source

Dual Numbers and Operational Umbral Methods

Axioms, 2019
Dual numbers and their higher-order version are important tools for numerical computations, and in particular for finite difference calculus. Based on the relevant algebraic rules and matrix realizations of dual numbers, we present a novel point of view,
Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi, Silvia Licciardi   +3 more
doaj   +1 more source