Results 51 to 60 of about 21,477 (310)
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
An algorithm for constructing S-boxes for block symmetric encryption
Universal Journal of Mathematics and Applications, 2018 This article presents an algorithm for the generation of S-boxes with the maximum algebraic immunity and high nonlinearity. The algorithm is founded method of the permutation of output element of S-box. On basis of the proposed method, $S(8\times 8)$-box
Alijon Bozorbayevicha Sattarov +1 more
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
Improved Block-Pulse Functions for Numerical Solution of Mixed Volterra-Fredholm Integral Equations
Axioms, 2021 The present paper employs a numerical method based on the improved block–pulse basis functions (IBPFs). This was mainly performed to resolve the Volterra–Fredholm integral equations of the second kind.
Ji-Huan He +3 more
doaj +1 more source
Structured matrix methods for computations on Bernstein basis polynomials [PDF]
, 2013 This thesis considers structure preserving matrix methods for computations on Bernstein polynomials whose coefficients are corrupted by noise. The ill-posed operations of greatest common divisor computations and polynomial division are considered, and it
Yang, Ning
core
ALPHA. A class library for a metamodel based on algebraic graph theory
, 2022 S.625-628A class library supporting a metamodel based on algebraic graph theory is presented. The metamodel provides the basis for a representation of different modeling techniques and evolution of corresponding schemes.
Erdmann, S., Claßen, I.
core
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
Traction Force Microscopy for Viscoelastic Substrates: A Semi‐Analytical Method
Advanced Science, EarlyView.A semi‐analytical viscoelastic traction force microscopy framework is introduced for quantifying time‐resolved cell tractions on flat finite‐thickness substrates. The method generalizes elastic traction force microscopy to Generalized Maxwell materials, identifies when elastic approximations remain valid and, when they do not, shows that inferred ...
Adrià Villacrosa‐Ribas +10 more
wiley +1 more source
Point Orthogonal Projection onto a Spatial Algebraic Curve
Mathematics, 2020 Point orthogonal projection onto a spatial algebraic curve plays an important role in computer graphics, computer-aided geometric design, etc. We propose an algorithm for point orthogonal projection onto a spatial algebraic curve based on Newton’s ...
Taixia Cheng +3 more
doaj +1 more source
A Basis for Representations of Symplectic Lie Algebras [PDF]
Communications in Mathematical Physics, 1999 34 pages ...
openaire +3 more sources