Results 31 to 40 of about 64,148 (170)

The Nori-Hilbert scheme is not smooth for 2-Calabi Yau algebras

, 2016
Let $k$ be an algebraically closed field of characteristic zero and let $A$ be a finitely generated $k-$algebra. The Nori - Hilbert scheme of $A$, parameterizes left ideals of codimension $n$ in $A,$ and it is well known to be smooth when $A$ is formally
Bocklandt, Raf, Galluzzi, Federica, Vaccarino, Francesco   +2 more
core   +1 more source

Sheffer Stroke Hilbert Algebras Stabilizing by Ideals

Axioms
This 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 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

Universal Entanglement and an Information‐Complete Quantum Theory

Advanced Physics Research, EarlyView.
This Perspective summarize an informationcomplete quantum theory which describes a fully quantum world without any classical systems and concepts. Here spacetime/gravity, having to be a physical quantum system, universally entangles matter (matter fermions and their gauge fields) as an indivisible trinity, and encodes information‐complete physical ...
Zeng‐Bing Chen
wiley   +1 more source

Infinite-dimensional Categorical Quantum Mechanics [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
We use non-standard analysis to define a category *Hilb suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and we show that standard bounded operators can be suitably embedded in it.
Stefano Gogioso, Fabrizio Genovese
doaj   +1 more source

Performance improvement of discrete‐time linear‐quadratic regulators applied to uncertain linear systems using the Tikhonov regularization method

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, Constantin BOGDAN   +1 more
doaj  

Advanced control of non‐isothermal axial dispersion tubular reactors with recycle‐induced state delay

The Canadian Journal of Chemical Engineering, EarlyView.
Abstract We develop a delay‐aware estimation and control framework for a non‐isothermal axial dispersion tubular reactor modelled as a coupled parabolic‐hyperbolic PDE system with recycle‐induced state delay. The infinite‐dimensional dynamics are preserved without spatial discretization by representing the delay as a transport PDE and adopting a late ...
Behrad Moadeli, Stevan Dubljevic
wiley   +1 more source

Study of Hilbert algebras in point of filters

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2016
The aim of this work is to introduce some types of filters in Hilbert algebras. Some theorems are stated and proved which determine the relationship between these notions and other filters of Hilbert algebra and by some examples we show that these ...
Nasab Ali Soleimani, Saeid Arsham Borumand   +1 more
doaj   +1 more source

Efficient Numerical Framework for Geothermal Energy Production Optimization in Fracture‐Controlled Reservoirs

International Journal for Numerical Methods in Fluids, EarlyView.
We introduce an efficient open‐source numerical framework for the automated search for the placements of injection and production wells in hot fracture‐controlled reservoirs that sustainably optimize geothermal energy production. We model the reservoirs as discrete fracture networks in 3D. The fluid flow and heat transport in the reservoirs are modeled
Ondřej Pártl, Ernesto Meneses Rioseco
wiley   +1 more source