Results 21 to 30 of about 11,738 (194)
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
On crossed product of algebras
, 2000 The concept of a crossed tensor product of algebras is studied from a few points of views. Some related constructions are considered. Crossed enveloping algebras and their representations are discussed.
Andrzej Borowiec +32 more
core +1 more source
Advanced Science, EarlyView.A plasmonic optoelectronic memristor based on Te nanowires‐Au nanoparticles/ι‐carrageenan enables IR‐programmed and visiblelight‐erased non‐volatile conductance. The all‐photonic write/erase scheme supports in‐sensor logic and real‐time motion detection in darkness.
Jingyao Bian +7 more
wiley +1 more source
Robust C–V Ratio Technique for Profiling Defects in Proton‐Irradiated 4H‐SiC
Advanced Electronic Materials, EarlyView.A noise‐robust C–V ratio technique is introduced to profile radiation‐induced defects in proton‐irradiated 4H‐SiC Schottky diodes. By using analytical capacitance ratios instead of numerical differentiation, the method directly extracts trap‐density and effective trap‐energy profiles at room temperature.
Kibeom Kim +4 more
wiley +1 more source
Multigraded Hilbert Series of noncommutative modules
, 2018 In this paper, we propose methods for computing the Hilbert series of multigraded right modules over the free associative algebra. In particular, we compute such series for noncommutative multigraded algebras.
La Scala, Roberto, Tiwari, Sharwan K.
core +1 more source
Finite-dimensional right ideals in some algebras associated with a locally compact group [PDF]
Proceedings of the American Mathematical Society, 1999 Let G G be a discrete group, a commutative discrete cancellative semigroup or a locally compact abelian group. Let U C ( G ) UC(G) be the space of bounded, uniformly continuous, complex-valued functions on G . G.
openaire +1 more source
AIChE Journal, EarlyView.Abstract Despite extensive modeling efforts in extraction research, transient column models are rarely applied in industry due to concerns regarding parameter identifiability and model reliability. To address this, we analyzed uncertainty propagation from estimated parameters in a previously introduced column model and assessed identifiability via ill ...
Andreas Palmtag +2 more
wiley +1 more source
Buchsbaumness in Rees Algebras Associated to Ideals of Minimal Multiplicity
Journal of Algebra, 1999 Let \(I\) be an \({\mathfrak m}\)-primary ideal in a Cohen-Macaulay local ring \((A,{\mathfrak m})\). In this article, the author studies the Buchsbaum property of the Rees algebra \(R(I)= A[It]\) of \(I\) and the associated graded ring \(G(I)= \bigoplus I^n/I^{n+1}\) of \(I\). Namely: Theorem 1.1. Let \(Q=(a_1,a_2, \dots, a_d)\) be a minimal reduction
openaire +1 more source
On operator algebras associated with monomial ideals in noncommuting variables
, 2015 We study operator algebras arising from monomial ideals in the ring of polynomials in noncommuting variables, through the apparatus of subproduct systems and C*-correspondences. We provide a full comparison amongst the related operator algebras. For our analysis we isolate a partially defined dynamical system, to which we refer as the {\em quantised ...
Kakariadis, Evgenios T. A. +1 more
openaire +2 more sources
Finite-dimensional left ideals in some algebras associated with a locally compact group [PDF]
Proceedings of the American Mathematical Society, 1999 Let \(G\) be a locally compact group. There are many Banach algebras which are associated with \(G\), such as \(L^1(G)\), \(M(G)\), the bidual \(L^1(G)^{**}\) of \(L^1(G)\), and the duals of spaces of continuous bounded functions on \(G\) such as \(WAP(G)^*\) and \(LUC(G)^*\).
openaire +2 more sources