Results 51 to 60 of about 21,854 (294)

Adaptive Observer for Coupled Wave PDE and Infinite ODE With Sampled Data and Unknown Input: Application to Brain Hemodynamics Estimation

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, Sarah Mechhoud, Taous‐Meriem Laleg‐Kirati   +2 more
wiley   +1 more source

No categorial support for radical ontic structural realism [PDF]

, 2013
Radical ontic structural realism (ROSR) asserts an ontological commitment to 'free-standing' physical structures understood solely in terms of fundamental relations, without any recourse to relata which stand in these relations.
Lam, Vincent, Wuthrich, Christian
core   +1 more source

Observer‐Based Adaptive Event‐Triggered Tracking Control for Fuzzy TS Systems With Premise Mismatch

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper presents an adaptive logistic event‐triggered observer‐based tracking controller for Takagi‐Sugeno fuzzy systems under constrained inputs and network delays. Leveraging a hybrid LMI and Secretary Bird Optimization approach, this strategy significantly minimizes communication overhead and computational burden while ensuring optimal reference ...
Oussama Djadane, Salama Makni, Mourad Kchaou, Ahmed El Hajjaji   +3 more
wiley   +1 more source

Organic Materials of Tomorrow: Horizons of Artificial Intelligence

Advanced Materials, EarlyView.
This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena, J. Terence Blaskovits, Kun‐Han Lin, Denis Andrienko   +3 more
wiley   +1 more source

Topological and Simplicial Models of Identity Types [PDF]

, 2011
In this paper we construct new categorical models for the identity types of Martin-Löf type theory, in the categories Top of topological spaces and SSet of simplicial sets.
Sub Algebra,Geometry&Mathem. Logic begr., Algebra & Geometry and Mathematical Locic, Benno Van Den Berg, Garner, R., van den Berg, B., Richard Garner   +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, Liang Zhang, Jianwen Zeng, Xuefeng Wang   +3 more
wiley   +1 more source

Contractions of 2D 2nd Order Quantum Superintegrable Systems and the Askey Scheme for Hypergeometric Orthogonal Polynomials [PDF]

, 2013
We show explicitly that all 2nd order superintegrable systems in 2 dimensions are limiting cases of a single system: the generic 3-parameter potential on the 2-sphere, S9 in our listing.
Willard Miller Jr., Kalnins, Ernie G., Miller, W., Jr., Miller Jr., W., Sarah Post, Post, Sarah, Post, S., Ernest G. Kalnins, Kalnins, E.G.   +8 more
core   +1 more source

A State‐Adaptive Koopman Control Framework for Real‐Time Deformable Tool Manipulation in Robotic Environmental Swabbing

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, Amirreza Davar, Dongyi Wang   +2 more
wiley   +1 more source

Model‐Theoretic Aspects of Unification [PDF]

, 1992
Unification is a fundamental operation in various areas of computer science, in particular in automated theorem proving and logic programming. In this paper we establish a relation between unification theory and classical model theory.
Alexander Bockmayr, Bockmayr, A.
core   +1 more source

Supertwistor formulation for massless superparticle in AdS5 × S5 superspace

Nuclear Physics B, 2018
Starting with the first-order formulation of the massless superparticle model on the AdS5×S5 superbackground and presenting the momentum components tangent to AdS5 and S5 subspaces as bilinear combinations of the constrained SU(2)-Majorana spinors allows
D.V. Uvarov
doaj   +1 more source