Results 31 to 40 of about 26,683 (262)
On topological methods in homological algebra [PDF]
Proceedings of the American Mathematical Society, 1976 We give an appropriate extension of the concept of “tower of surjections” to arbitrary inverse systems. We introduce a natural closed model structure (in the sense of D. Quillen) on the category of pro-(Simplicial Abelian Groups) and interpret our condition as the definition of fibrant object.
Edwards, David A., Hastings, Harold M.
openaire +1 more source
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer +3 more
wiley +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
Numerical: Jurnal Matematika dan Pendidikan Matematika, 2023 Algebraic thinking plays an essential role in increasing mathematics problem-solving abilities. In this study, the pre-service mathematics teacher’s (PMTs) ability of algebraic thinking is explored based on a systematic-intuitive cognitive style.
Ninda Ayu Nur Kusuma, Masduki Masduki
doaj +1 more source
Advanced Materials Technologies, EarlyView.A stress‐normalised sensitivity metric (S = G/Y) is introduced as a materials‐level benchmark for intrinsically piezoresistive nanocomposites. By decoupling electromechanical response (G) from stiffness (Y), the framework enables direct comparison across diverse systems and clarifies design trade‐offs for wearable sensors.
Conor S. Boland
wiley +1 more source
The Lie group Euler methods of multibody system dynamics with holonomic constraints
Advances in Mechanical Engineering, 2018 The Euler methods on Lie group are developed for the differential–algebraic equations of multibody system dynamics with holonomic constraints. The implicit Euler method is used to solve the differential–algebraic equations as Euler–Lagrange equations on ...
Jieyu Ding, Zhenkuan Pan
doaj +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 +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