Results 41 to 50 of about 20,027 (232)
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
Spatial‐Wavelength Multiplexing Error‐Controlled Photonic Analog Computing System
Advanced Science, EarlyView.A novel photonic integrated circuit prototype implementing the concept of general‐purpose analog computing and demonstrate its capability in radio frequency applications. The chip features a multichannel architecture and performs fully optical analog computation with frequency‐domain parallel processing. An FPGA‐based error‐correction algorithm aims to
Tao Zhu +15 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
Computable embedding of classes of algebraic structures with congruence relation
Учёные записки Казанского университета: Серия Физико-математические науки, 2018 It has been shown in the paper that there is an intermediate notion of embedding, which is based on the use of non-injective presentations of algebraic structures, between the computable embedding of classes of algebraic structures based on the ...
S. Vatev, H. Ganchev, I.Sh. Kalimullin
doaj
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
Cocientes algebraicos y Teoría de Invariantes Geométricos
Selecciones Matemáticas, 2020 The quotient of an algebraic variety by action of an algebraic group does not always has a variety structure. The aim of this work is to describe a methodfor constructing good quotients, in the sense of Geometric invariant theory, in algebraicgeometry.
Nélida Medina García
doaj +1 more source
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]
Logical Methods in Computer Science, 2012 This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
doaj +1 more source
Smarandache Algebraic Structures
, 2004 A few notions are introduced in algebra in order to better study the congruences. Especially the Smarandache semigroups are very important for the study of congruences.
openaire +2 more sources
Advanced Science, EarlyView.Computational Photochemistry has made great strides in recent decades, but the investigation of larger molecules remains a challenge due to the inherent dilemma between the increasing computational accuracy required as the molecule size increases and the inevitable explosion in computational effort.
Andreas Dreuw
wiley +1 more source