Results 61 to 70 of about 38,780 (317)

Generalizations of Snyder model to curved spaces

Physics Letters B, 2022
We consider generalizations of the Snyder algebra to a curved spacetime background with de Sitter symmetry. As special cases, we obtain the algebras of the Yang model and of triply special relativity.
S. Meljanac, S. Mignemi
doaj   +1 more source

An Algebra of Alignment for Relational Verification

Proceedings of the ACM on Programming Languages, 2023
Relational verification encompasses information flow security, regression verification, translation validation for compilers, and more. Effective alignment of the programs and computations to be related facilitates use of simpler relational invariants and relational procedure specs, which in turn enables automation and modular reasoning.
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo   +5 more
openaire   +2 more sources

Higher-dimensional automorphic lie algebras

, 2016
The paper presents the complete classification of Automorphic Lie Algebras based on sln(C)sln(C) , where the symmetry group G is finite and acts on sln(C)sln(C) by inner automorphisms, sln(C)sln(C) has no trivial summands, and where the poles are in ...
Sanders, Jan, Sara Lombardo (4425862), Knibbeler, Vincent; id_orcid, Sara Lombardo, Jan A. Sanders, Knibbeler, Vincent, Vincent Knibbeler (4742670), Jan A Sanders (8467083), Lombardo, Sara, Sanders, Jan A., Lombardo, Sara; id_orcid, Vincent Knibbeler   +11 more
core   +1 more source

Axiomatizing complex algebras by games [PDF]

, 2001
Submitted ...
Mikulas, S, Hodkinson, I, Venema, Y, Hodkinson, I., Mikulás, Sz., Venema, Y.   +5 more
core   +1 more source

Ultra‐Wide‐Field Noninvasive Imaging Through Scattering Media Via Physics‐Guided Deep Learning

Advanced Science, EarlyView.
We propose a physics‐guided adaptive dual‐domain learning method for ultra‐wide‐field noninvasive imaging through scattering media, namely UNI‐Net. Our method not only reduces the requirement for real experimental data by an order of magnitude but also enables clear imaging of complex scenes with an ultra‐large field of view, which is 164 times the OME
Lintao Peng, Mingwei He, Jeff Zhu, Sujit K. Sahoo, Liheng Bian, Cuong Dang   +5 more
wiley   +1 more source

Open Filters and Congruence Relations on Self-Distributive Weak Heyting Algebras

Bulletin of the Section of Logic
In this paper, we study (open) filters and deductive systems of self-distributive weak Heyting algebras (SDWH-algebras) and obtain some results which determine the relationship between them. We show that the variety of SDWH-algebras is not weakly regular
Mohsen Nourany, Shokoofeh Ghorbani, Arsham Borumand Saeid   +2 more
doaj   +1 more source

On biprojectivity and Connes biprojectivity of a dual Banach algebra with respect to a $w^{*}$-closed ideal [PDF]

AUT Journal of Mathematics and Computing
In this paper, we introduce a notion of Connes biprojectivity for a dual Banach algebra $A$ with respect to its $w^{*}$-closed ideal $I$, say $I$-Connes biprojectivity.
Amir Sahami, S. Fatemeh Shariati, Mehdi Rostami, Mona Aj   +3 more
doaj   +1 more source

Almost nilpotent Lie algebras [PDF]

, 1987
Throughout we shall consider only finite-dimensional Lie algebras over a field of characteristic zero. In [3] it was shown that the classes of solvable and of supersolvable Lie algebras of dimension greater than two are characterised by the structure of ...
Towers, David
core  

Physics‐Constrained Constitutive Learning of Rate‐Limiting Timescales for Efficient Hydrogen‐Based Direct Reduction for Green Steel Making

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, Barak Ratzker, Pasquale Cavaliere, Dierk Raabe   +3 more
wiley   +1 more source

Concurrent Terahertz Spin Excitations and Phase Shift Control in Fe4Nb2O9: A Material for Synergizing Computation and Communication Technologies

Advanced Science, EarlyView.
A multifunctional terahertz (THz) platform is demonstrated, in a model material Fe4Nb2O9, exhibiting a large intrinsic THz phase shift alongside distinct THz magnon excitations in its antiferromagnetic phase. This coexistence of phase modulation and spin dynamics offers a promising pathway toward integrated THz communication and magnonic computation ...
Brijesh Singh Mehra, Karan Datt Sharma, Sanjeev Kumar, Gaurav Dubey, Mitanshi Gupta, Ravi Shankar Singh, Dibakar Roy Chowdhury, Christine Martin, Antoine Maignan, Kiran Singh, Dhanvir Singh Rana   +10 more
wiley   +1 more source