Results 51 to 60 of about 1,183,168 (293)
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
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
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
International Journal of Mathematics and Mathematical Sciences, 2004 Using diagrammatic pictures of tensor contractions, we consider a Hopf algebra (Aop⊗ℛλA*)* twisted by an element ℛλ∈A*⊗Aop corresponding to a Hopf algebra morphism λ:A→A.
Daijiro Fukuda, Ken'ichi Kuga
doaj +1 more source
Bulletin of Mathematical Sciences, 2023 Perfect C∗-algebras were introduced by Akeman and Shultz in [Perfect C*-algebras, Mem. Amer. Math. Soc. 55(326) (1985)] and they form a certain subclass of C*-algebras determined by their pure states, and for which the general Stone–Weierstrass ...
Fatmah B. Jamjoom
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
Derivations and Extensions in JC-Algebras
International Journal of Mathematics and Mathematical SciencesA well-known result by Upmeier states that every derivation on a universally reversible JC-algebra A⊆BHsa extends to the C∗-algebra A generated by A in BH.
Fatmah B. Jamjoom, Doha A. Abulhamail
doaj +1 more source
Extensions of the asymptotic symmetry algebra of general relativity
Journal of High Energy Physics, 2020 We consider a recently proposed extension of the Bondi-Metzner-Sachs algebra to include arbitrary infinitesimal diffeomorphisms on a 2-sphere. To realize this extended algebra as asymptotic symmetries, we work with an extended class of spacetimes in ...
Éanna É. Flanagan +2 more
doaj +1 more source
Journal of High Energy Physics, 2021 We construct a Poisson algebra of brane currents from a QP-manifold, and show their Poisson brackets take a universal geometric form. This generalises a result of Alekseev and Strobl on string currents and generalised geometry to include branes with ...
Alex S. Arvanitakis
doaj +1 more source
On algebraic properties of universal algebras
Sibirskie Elektronnye Matematicheskie Izvestiya, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source