Results 41 to 50 of about 4,125 (289)
Equality Algebra pada Heyting Algebra, Hertz Algebra, Boolean Algebra, dan EQ-Algebra [PDF]
, 2018 Bentuk struktur aljabar yang akan dibahas di sini adalah Equality Algebra, Heyting Algebra, Hertz Algebra, Boolean Algebra, dan EQ-Algebra. Dari bentuk struktur aljabar yang telah ditunjukkan, Equality Algebra yang dibahas di sini dikembangkan dari EQ ...
Wicaksana, Aulia Imam
core
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
Foundations for structured programming with GADTs
, 2008 GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood.
Neil Ghani +3 more
core +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
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
On operator growth and emergent Poincaré symmetries
Journal of High Energy Physics, 2020 We consider operator growth for generic large-N gauge theories at finite temperature. Our analysis is performed in terms of Fourier modes, which do not mix with other operators as time evolves, and whose correlation functions are determined by their two ...
Javier M. Magán, Joan Simón
doaj +1 more source
Global renaming operators in concrete process algebra [PDF]
, 1988 Renaming operators are introduced in concrete process algebra (concrete means that abstraction and silent moves are not considered). Examples of renaming operators are given: encapsulation, pre-abstraction, and localization.
Bergstra, J.A. +3 more
core +2 more sources
Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r) and a formalisation of the necessary mathematics to undertake such a proof. This includes the formalisation of R^n as an inner product space.
Carl Kwan, Mark R. Greenstreet
doaj +1 more source
A note on the Schur multiplier of a nilpotent Lie algebra
, 2010 For a nilpotent Lie algebra $L$ of dimension $n$ and dim$(L^2)=m$, we find the upper bound dim$(M(L))\leq {1/2}(n+m-2)(n-m-1)+1$, where $M(L)$ denotes the Schur multiplier of $L$.
Niroomand, P +4 more
core +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