Results 61 to 70 of about 19,352 (312)
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
European Physical Journal C: Particles and Fields, 2019 In this paper we study the quantisation of scalar field theory in $$\kappa $$ κ -deformed space-time. Using a quantisation scheme that use only field equations, we derive the quantisation rules for deformed scalar theory, starting from the $$\kappa $$ κ -
E. Harikumar, Vishnu Rajagopal
doaj +1 more source
Effect Systems Revisited - Control-Flow Algebra and Semantics [PDF]
, 2015 Effect systems were originally conceived as an inference-based program analysis to capture program behaviour—as a set of (representations of) effects. Two orthogonal developments have since happened.
Alan Mycroft +5 more
core +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
Handlers of Algebraic Effects [PDF]
, 2009 We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include nondeterminism, interactive input/output, concurrency, state, time, and their combinations; in all cases the computation monad is the free-model monad of the theory.
Gordon D. Plotkin, Matija Pretnar
openaire +2 more sources
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
Twisted holography without conformal symmetry
Journal of High Energy Physics, 2023 We discuss the notion of translation-invariant vacua for 2d chiral algebras and relate it to the notion of the associated variety. The two-dimensional chiral algebra associated to four-dimensional N $$ \mathcal{N} $$ = 4 U(N) SYM has a conjectural ...
Kasia Budzik, Davide Gaiotto
doaj +1 more source
Stability for Effective Algebras
Electronic Notes in Theoretical Computer Science, 2008 AbstractWe give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The approximations are elements of a finitely generated subalgebra, and obtained by computable (non-deterministic) selection.
Jens Blanck +2 more
openaire +3 more sources
Handling Polymorphic Algebraic Effects [PDF]
, 2019 Algebraic effects and handlers are a powerful abstraction mechanism to represent and implement control effects. In this work, we study their extension with parametric polymorphism that allows abstracting not only expressions but also effects and handlers.
Taro Sekiyama, Atsushi Igarashi
openaire +2 more sources
An atomic MV-effect algebra with non-atomic center [PDF]
, 2007 summary:Does there exist an atomic lattice effect algebra with non-atomic subalgebra of sharp elements? An affirmative answer to this question (and slightly more) is given: An example of an atomic MV-effect algebra with a non-atomic Boolean subalgebra of
Olejček, Vladimír
core