Results 61 to 70 of about 21,854 (294)

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

Quantum dynamics of the effective field theory of the Calogero-Sutherland model

Nuclear Physics B
We consider the known effective field theory of the Calogero-Sutherland model in the thermodynamic limit of large number of particles, obtained from the standard procedure in conformal field theory: the Hilbert space is constructed a priori in terms of ...
Federico L. Bottesi, Guillermo R. Zemba
doaj   +1 more source

Graph Decomposition Techniques in Neutrosophic Zero Divisor Models of Commutative Ring [PDF]

Neutrosophic Sets and Systems
This research establishes the framework for neutrosophic zero divisor graphs, extending the capabilities of existing fuzzy zero divisor graph models. While fuzzy models account for partial uncertainty through degrees of membership, they often fail to ...
K. Gunasekar, P. Muralikrishna
doaj   +1 more source

On relationships between algebraic properties of groups and rings in some model-theoretic contexts [PDF]

The Journal of Symbolic Logic, 2011
AbstractWe study relationships between certain algebraic properties of groups and rings definable in a first order structure or *-closed in a compact G-space. As a consequence, we obtain a few structural results about ω-categorical rings as well as about small, nm-stable compact G-rings, and we also obtain surprising relationships between some ...
openaire   +3 more sources

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, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Some applications of a model theoretic fact to (semi-) algebraic geometry

Indagationes Mathematicae (Proceedings), 1982
Place extension theorems for fields and for ordered fields are used in connection with a model theoretic result to give simple proofs of the completeness of projective varieties, of a similar result in semi- algebraic geometry and of the finiteness theorem of semi-algebraic geometry.
openaire   +2 more sources

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

The K-theoretic Hall Algebra On Surfaces and Categorifications [PDF]

, 2021
In the thesis, I made a construction of the K-theoretic Hall algebra on smooth algebraic surfaces and proved that it was associative.
Zhao, Yu
core  

TRIM: Simultaneous Thermometry, Ranging, and Imaging via a Monolithic Metalens

Advanced Science, EarlyView.
ABSTRACT While metasurfaces offer a pathway beyond the discrete architectures of conventional LWIR systems, physically fusing high‐precision thermometry and passive ranging onto a single metalens remains a formidable challenge. Here, we demonstrate a monolithic, dual‐focus metalens capable of simultaneous multidimensional sensing.
Man Yuan, Yuqing Zhang, Wangzhe Zhou, Zhaojian Zhang, Xiaoyun He, Xinpeng Jiang, Yiyi Li, Xin He, Jiagui Wu, Yuanmu Yang, Junbo Yang   +10 more
wiley   +1 more source

Beyond Percolation: Graphene‐Enabled Network Reinforcement Enhances Thermal Transport in Paraffin Phase‐Change Composites

Advanced Science, EarlyView.
Expanded‐graphite/graphene‐nanoplatelet hybrids deliver a near‐order‐of‐magnitude thermal‐conductivity enhancement in paraffin phase‐change materials. A microCT‐informed 3D modeling framework resolves the percolating EG backbone and captures sub‐voxel GNP enrichment, quantitatively linking microstructure to heat flow and revealing a graphene‐enabled ...
Thomas Hoke, Jackson Hoke, Shucheng Guo, Brittany Chan, Xi Chen   +4 more
wiley   +1 more source