Results 41 to 50 of about 22,104 (259)
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 +2 more
wiley +1 more source
Injective hulls of many-sorted ordered algebras
Open Mathematics, 2019 This paper is devoted to the study of injectivity for ordered universal algebras. We first characterize injectives in the category OALΣ⩽$\begin{array}{} \displaystyle {\mathsf{OAL}_{{\it\Sigma}}^{\leqslant}} \end{array}$ of ordered Σ-algebras with lax ...
Zhang Xia, Ma Wen, Rump Wolfgang
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
The Frobenius Number for Jacobsthal Triples Associated with Number of Solutions
, 2023 In this paper, we find a formula for the largest integer (p-Frobenius number) such that a linear equation of non-negative integer coefficients composed of a Jacobsthal triplet has at most p representations.
Claudio Pita-Ruiz, Takao Komatsu
core +1 more source
A REMARK ON THE COUNTABLY Σ−CS RING
Tạp chí Khoa họcLet 𝑅 be a ring such that 𝑅𝑅 = 𝑒1 𝑅 ⊕ · · · ⊕ 𝑒𝑛 𝑅, where each 𝑒𝑖 𝑅 is a uniform right ideal and {𝑒𝑖 | 1 ≤ 𝑖 ≤ 𝑛} is a set of idempotents. We consider the following condition on 𝑅𝑅 : for all 𝑖, 𝑗 ∈ {1, . . . , 𝑛}, the module 𝑒𝑖 𝑅 does not embed in any
Le Van An∗, To Ngoc Le Anh
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 +7 more
wiley +1 more source
Tạp chí Khoa họcLet 𝑅 be a ring such that 𝑅𝑅 = 𝑒1𝑅 ⊕ … ⊕ 𝑒𝑛𝑅 where each 𝑒𝑖𝑅 is a uniform right ideal with finite composition length, and {𝑒𝑖 | 𝑖 = 1, … , 𝑛 } is a set of idempotents. We consider the following condition on 𝑅𝑅: for all distinct 𝑖 and 𝑗, if 𝑙(𝑒𝑖𝑅) < 𝑙 (
Le Van An*, Nguyen Thi Hong
doaj +1 more source
Excitations in strict 2-group higher gauge models of topological phases
Journal of High Energy Physics, 2020 We consider an exactly solvable model for topological phases in (3+1) d whose input data is a strict 2-group. This model, which has a higher gauge theory interpretation, provides a lattice Hamiltonian realisation of the Yetter homotopy 2-type topological
Alex Bullivant, Clement Delcamp
doaj +1 more source
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 +3 more
wiley +1 more source
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2016 In this paper, we consider graded near-rings over a monoid G as generalizations of graded rings over groups, and study some of their basic properties.
Dumitru Mariana +2 more
doaj +1 more source