Results 31 to 40 of about 198,198 (194)
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
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
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
Symmetry‐Imposed Selection Rules for Excitations of Nontrivial Plasmonic Topologies
Advanced Science, EarlyView.A unified group‐theory selection rule governs the excitation of vectorial nearfield topologies across three plasmonic spin states. Derived from first principles, it predicts spin–orbit vortex splitting and multidimensional nested vortices, confirmed by phase‐resolved in situ measurements.
Jie Yang +14 more
wiley +1 more source
Designing Wire Mazes for Replicating Natural Echoes to Study Bat Biosonar Function
Advanced Intelligent Systems, EarlyView.A validated framework combining efficient physical modeling (multiple scattering model) and deep learning is presented to guide wire‐maze design for bat biosonar studies. This approach rapidly generates large datasets to test acoustic distinguishability among wire arrangements.
Chunlin Jia +3 more
wiley +1 more source
Asian Journal of Control, EarlyView.Abstract The linear‐quadratic regulator (LQR) problem of optimal control of an uncertain discrete‐time linear system (DTLS) is revisited in this paper from the perspective of Tikhonov regularization. We show that an optimally chosen regularization parameter reduces, compared to the classical LQR, the values of a scalar error function, as well as the ...
Fernando Pazos, Amit Bhaya
wiley +1 more source
PSEUDO ALGEBRAS BOOL APPLIED BL-ALGEBRAS [PDF]
Fiabilitate şi Durabilitate, 2013 In this article we study Boolean algebras in terms of Hilbert algebras and deductive ...
Olimpia-Mioara PECINGINA +1 more
doaj
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
Stability of Viscous Three‐Dimensional Stratified Couette Flow via Dispersion and Mixing
Communications on Pure and Applied Mathematics, EarlyView.ABSTRACT This article explores the stability of stratified Couette flow in the viscous 3d$3d$ Boussinesq equations. In this system, mixing effects arise from the shearing background, and gravity acts as a restoring force leading to dispersive internal gravity waves.
Michele Coti Zelati +2 more
wiley +1 more source
On frontal operators in Hilbert algebras [PDF]
, 2015 In this article, we introduce and study a family of compatible functions in Hilbert algebras which in the case of Heyting algebras agree with the frontal operators given by Esakia (2006, J. Appl. Non-Class. Log., 16, 349–366).
San Martin, Hernan Javier +1 more
core +1 more source