Results 41 to 50 of about 26,867 (262)

Organic Materials of Tomorrow: Horizons of Artificial Intelligence

Advanced Materials, EarlyView.
This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena, J. Terence Blaskovits, Kun‐Han Lin, Denis Andrienko   +3 more
wiley   +1 more source

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 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

Extension of the Poincaré Symmetry and Its Field Theoretical Implementation

Symmetry, Integrability and Geometry: Methods and Applications, 2006
We define a new algebraic extension of the Poincaré symmetry; this algebra is used to implement a field theoretical model. Free Lagrangians are explicitly constructed; several discussions regarding degrees of freedom, compatibility with Abelian gauge ...
Adrian Tanasa
doaj  

Algebraic Methods and Bounded Formulas

Notre Dame Journal of Formal Logic, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +5 more sources

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, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Discrete Cartesian Coordinate Transformations: Using Algebraic Extension Methods

Applied Sciences
It is shown that it is reasonable to use Galois fields, including those obtained by algebraic extensions, to describe the position of a point in a discrete Cartesian coordinate system in many cases. This approach is applicable to any problem in which the
Aruzhan Kadyrzhan, Dinara Matrassulova, Yelizaveta Vitulyova, Ibragim Suleimenov   +3 more
doaj   +1 more source

Improving the efficiency of using multivalued logic tools: application of algebraic rings

Scientific Reports, 2023
It is shown that in order to increase the efficiency of using methods of abstract algebra in modern information technologies, it is important to establish an explicit connection between operations corresponding to various varieties of multivalued logics ...
Ibragim E. Suleimenov, Yelizaveta S. Vitulyova, Sherniyaz B. Kabdushev, Akhat S. Bakirov   +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