Results 121 to 130 of about 34,175,336 (245)
A Perspective on Interactive Theorem Provers in Physics
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
Equation of State for Europium at High Pressures and Entropies in Shock Waves. [PDF]
Khishchenko KV.
europepmc +1 more source
Research Trends in Condensed Matter Physics Based on Bibliometric Analysis
In this paper the research trends in condensed matter physics are investigated based on bibliometric analysis of journal articles collected from the Web of Science (WoS) database for the selected 37 main journals.
강종석, 이혁재, 안세정
core
This study reveals a copper‐driven mechanism of COPD acute exacerbations mediated by the TNF‐α/ATP7A axis. TNF‐α suppresses the copper transporter ATP7A via competitive NF‐κB/CREB1/CBP signaling, resulting in intracellular copper accumulation, mitochondrial oxidative stress, and epithelial barrier disruption.
Xinru Xiao +7 more
wiley +1 more source
Discovery of record-breaking high-<i>T</i> <sub>c</sub> superconductivity among 5<i>d</i> transition-metal-oxides up to 17.8 K in ReO<sub>3</sub>. [PDF]
Shan P +13 more
europepmc +1 more source
First‐principles calculations reveal that monolayer In2O${\rm In}_2{\rm O}$ hosts type‐II Dirac fermions near the Fermi level, which split into Weyl points under spin‐orbit coupling. The material exhibits negative and giant magnetoresistance, a pronounced spin Hall effect, and phonon‐mediated superconductivity at 1.5 K, establishing it as a unique ...
Qing‐Bo Liu +6 more
wiley +1 more source
Axion electrodynamics in a topologically trivial antiferromagnet. [PDF]
Mishra A +4 more
europepmc +1 more source
The symmetry‐driven coexistence of altermagnetism and (anti)ferroelectricity in perovskites shows a strong dimensional dependence. Upon reducing the system from bulk to the two‐dimensional limit, only C‐type antiferromagnetic order retains ferroelectrically switchable altermagnetism, whereas A‐ and G‐type orders become conventional antiferromagnets ...
Zhou Cui +6 more
wiley +1 more source
An International Conference on Ultrafast Nonlinear Optics and Optical Spectroscopy. [PDF]
De AK.
europepmc +1 more source
Superatom Distortion Induces Triferroicity and Spin Splitting in Two‐Dimensional Antiferromagnets
The incorporation of superatoms into a 2D square lattice induces symmetry breaking, thereby enabling concurrent coupling among magnetism, ferroelectricity, and ferroelasticity. This strategy achieves triferroic behavior—characterized by spin‐split antiferromagnetic ground states—and offers a viable pathway toward energy‐efficient spintronic devices ...
Zhen Gao +6 more
wiley +1 more source

