Results 41 to 50 of about 1,409,023 (291)
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
Towards higher-spin holography in flat space
Journal of High Energy Physics, 2023 We study the chiral flat space higher-spin algebra, which is the global symmetry algebra of the chiral higher-spin theory in the 4d Minkowski space. We find that it can be constructed as the universal enveloping algebra of a certain chiral deformation of
Dmitry Ponomarev
doaj +1 more source
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
Advanced Science, EarlyView.The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
The local spectrum of the Dirac operator for the universal cover of SL_2(R)
, 2016 Using representation theory, we compute the spectrum of the Dirac operator on the universal covering group of SL2(R)SL2(R), exhibiting it as the generator of KK1(C,A)KK1(C,A), where AA is the reduced C?C?-algebra of the group.
Wright, Nick +8 more
core +1 more source
On algebraic properties of universal algebras
Sibirskie Elektronnye Matematicheskie Izvestiya, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Advanced Science, EarlyView.A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai +3 more
wiley +1 more source
Differential Hopf algebra structures on the universal enveloping algebra of a Lie algebra [PDF]
, 1995 We discuss a method to construct a De Rham complex (differential algebra) of Poincar'e-Birkhoff-Witt-type on the universal enveloping algebra of a Lie algebra $g$.
Martini, R. +4 more
core +3 more sources
Growth of generating sets for direct powers of classical algebraic structures [PDF]
, 2010 For an algebraic structure A denote by d(A) the smallest size of a generating set for A, and let d(A)=(d(A),d(A2),d(A3),…), where An denotes a direct power of A.
Ruskuc, Nik +5 more
core +1 more source
Advanced Science, EarlyView.Temozolomide treatment activates GSK3β, driving DNMT1 phosphorylation, destabilization, and CD47 promoter hypomethylation in glioblastoma. This epigenetic shift upregulates CD47, enabling TMZ‐treated GBM cells to evade macrophage phagocytosis, survive chemotherapy, and acquire resistance.
Jie Li +11 more
wiley +1 more source
On light-like deformations of the Poincaré algebra
European Physical Journal C: Particles and Fields, 2019 We investigate the observational consequences of the light-like deformations of the Poincaré algebra induced by the jordanian and the extended jordanian classes of Drinfel’d twists.
Zhanna Kuznetsova, Francesco Toppan
doaj +1 more source