Results 31 to 40 of about 690 (191)
Sheffer Stroke Hilbert Algebras Stabilizing by Ideals
AxiomsThis manuscript aims to provide a new characterization of Sheffer stroke Hilbert algebras due to their ideals and proposes stabilizers. In the setup of the main results, we construct particular subsets of Sheffer stroke Hilbert algebras and we propose ...
Tugce Katican, Hashem Bordbar
doaj +1 more source
A noncommutative convexity in C*-bimodules [PDF]
Surveys in Mathematics and its Applications, 2017 Let A and B be C*-algebras. We consider a noncommutative convexity in Hilbert A-B-bimodules, called A-B-convexity, as a generalization of C*-convexity in C*-algebras.
Mohsen Kian, Mahdi Dehghani
doaj
Acta et Commentationes: Ştiinţe Exacte şi ale Naturii, 2023 In this work there were formulated 18 problems from the theory of invariant processes, Lie algebras, commutative graded algebras, generating functions and Hilbert series, orbit theory and Lyapunov stability theory that are important to be solved.
Mihail Popa
doaj +1 more source
On frontal operators in Hilbert algebras
Logic Journal of IGPL, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
José L. Castiglioni +1 more
openaire +2 more sources
Dualities for Bounded Prelinear Hilbert Algebras
Logic Journal of the IGPL, 2021 Abstract This paper deals about dualities for bounded prelinear Hilbert algebras. In particular, we give an Esakia-style duality between the algebraic category of bounded prelinear Hilbert algebras and a category of H-spaces whose morphisms are certain continuous p-morphisms.
Hernán Javier San Martín +1 more
openaire +2 more sources
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
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
Programmable Flocks: Hierarchical Swarm Control via Dynamic Parameter Injection
Advanced Intelligent Systems, EarlyView.We present a method for the control of robot swarms which allows the shaping and the translation of patterns of simple robots (“smart particles”), using two types of devices. These two types represent a hierarchy: a larger group of simple, oblivious robots (which we call the workers) that is governed by simple local attraction forces and a smaller ...
Vivek Shankar Varadharajan +1 more
wiley +1 more source
ALGEBRA OF QUOTIENTS WITH BOUNDED EVALUATION FOR SOME OPERATOR ALGEBRAS [PDF]
مجلة التربية والعلم, 2005 In this paper, we find the algebra of quotients with bounded evaluation for operator algebras on a complex Hilbert space, namely: Hilbert - Schmidt and trace -class operators. Also, we study the behavior in computing the algebra of quotients with bounded
Amir A.Mohammad
doaj +1 more source
Hilbert Functions and Level Algebras
Journal of Algebra, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cho, Young Hyun, Iarrobino, Anthony
openaire +2 more sources