Results 31 to 40 of about 1,374 (248)
Advanced Materials Interfaces, EarlyView.This study demonstrates ultrafast photocatalytic wettability switching in TiO2 thin films by tailoring substrate doping and interface oxides. Enhanced switching rates and hemiwicking effects are achieved through optimized material stacks and nanostructuring.
Rucha A. Deshpande +6 more
wiley +1 more source
Model-Theoretic Investigations into Consequence Operation (Cn) in Quantum Logics: An Algebraic Approach [PDF]
International Journal of Theoretical Physics, 2006 11 ...
openaire +2 more sources
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 +3 more
wiley +1 more source
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
Supertwistor formulation for massless superparticle in AdS5 × S5 superspace
Nuclear Physics B, 2018 Starting with the first-order formulation of the massless superparticle model on the AdS5×S5 superbackground and presenting the momentum components tangent to AdS5 and S5 subspaces as bilinear combinations of the constrained SU(2)-Majorana spinors allows
D.V. Uvarov
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
Quantum dynamics of the effective field theory of the Calogero-Sutherland model
Nuclear Physics BWe consider the known effective field theory of the Calogero-Sutherland model in the thermodynamic limit of large number of particles, obtained from the standard procedure in conformal field theory: the Hilbert space is constructed a priori in terms of ...
Federico L. Bottesi, Guillermo R. Zemba
doaj +1 more source
Graph Decomposition Techniques in Neutrosophic Zero Divisor Models of Commutative Ring [PDF]
Neutrosophic Sets and SystemsThis research establishes the framework for neutrosophic zero divisor graphs, extending the capabilities of existing fuzzy zero divisor graph models. While fuzzy models account for partial uncertainty through degrees of membership, they often fail to ...
K. Gunasekar, P. Muralikrishna
doaj +1 more source
Model-theoretic Forcing in Transition Algebra
We study Löwenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic. The sentences we consider include compositions, unions, and transitive closures of transition relations, which are treated similarly to actions in dynamic logics to define ...
Hashimoto, Go, Găină, Daniel
openaire +3 more sources