Results 51 to 60 of about 12,151,858 (250)

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

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

Discrete Cartesian Coordinate Transformations: Using Algebraic Extension Methods

Applied Sciences
It is shown that it is reasonable to use Galois fields, including those obtained by algebraic extensions, to describe the position of a point in a discrete Cartesian coordinate system in many cases. This approach is applicable to any problem in which the
Aruzhan Kadyrzhan, Dinara Matrassulova, Yelizaveta Vitulyova, Ibragim Suleimenov   +3 more
doaj   +1 more source

Improving the efficiency of using multivalued logic tools: application of algebraic rings

Scientific Reports, 2023
It is shown that in order to increase the efficiency of using methods of abstract algebra in modern information technologies, it is important to establish an explicit connection between operations corresponding to various varieties of multivalued logics ...
Ibragim E. Suleimenov, Yelizaveta S. Vitulyova, Sherniyaz B. Kabdushev, Akhat S. Bakirov   +3 more
doaj   +1 more source

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

Symmetry‐Imposed Selection Rules for Excitations of Nontrivial Plasmonic Topologies

Advanced Science, EarlyView.
A unified group‐theory selection rule governs the excitation of vectorial nearfield topologies across three plasmonic spin states. Derived from first principles, it predicts spin–orbit vortex splitting and multidimensional nested vortices, confirmed by phase‐resolved in situ measurements.
Jie Yang, Pengyi Feng, Fei Han, Weijin Chen, Zhongwei Jin, Jincheng Ni, Yuanjie Yang, Anxue Zhang, Guy A. E. Vandenbosch, Niels Verellen, Ewald Janssens, Jiafu Wang, Benfeng Bai, Cheng‐Wei Qiu, Xuezhi Zheng   +14 more
wiley   +1 more source

Electroforming‐Free, Self‐Rectifying Selector‐Only Memory With Diffusive Cu‐Ion Dynamics for Logic‐In‐Memory Computing

Advanced Science, EarlyView.
Electroforming‐free, self‐rectifying switching with polarity‐dependent threshold modulation is realized in selector‐only memory through Cu‐ion migration in a bilayer stacked dual functional materials. Ultrafast rupturing of Cu filament enables drift‐free operation with high stability.
Jae‐Kyeong Kim, Dae‐Seong Woo, Min‐Jong Han, Hong‐Gwang Seo, Gwang‐Ho Park, In‐Taek Woo, Jea‐Gun Park, Jinsub Park   +7 more
wiley   +1 more source

The "fundamental theorem" for the algebraic K-theory of spaces. II: The canonical involution [PDF]

, 2002
Hüttemann T, Klein JR, Vogell W, Waldhausen F, Williams B. The "fundamental theorem" for the algebraic K-theory of spaces. II: The canonical involution. Journal of Pure and Applied Algebra.
Waldhausen, Friedhelm, Williams, Bruce, Vogell, Wolrad, Hüttemann, Thomas, Klein, John R.   +4 more
core   +1 more source

Tau Aggregate Imaging and Transcriptomics of Alzheimer's Disease Brain at Different Stages of Disease

Advanced Science, EarlyView.
The protein aggregates and gene expression in the middle temporal gyrus (MTG) and somatosensory cortex (SOM) of the postmortem brains of 13 Alzheimer's disease patients were studied in detail, revealing that small hyperphosphorylated tau aggregates increase with Braak stage driven by microglial inflammation.
Elizabeth A. English, Dorothea Böken, Matthew W. Cotton, Matthew R. Cheetham, Johanna S. Jackson, Georg Meisl, John S. H. Danial, Paul M. Matthews, Nurun N. Fancy, David Klenerman   +9 more
wiley   +1 more source

Structure Preprocessing Method for the System of Unclosed Linear Algebraic Equations

Journal of Mathematics, 2022
The complexity of open linear algebraic equations makes it difficult to obtain analytical solutions, and preprocessing techniques can be applied to coefficient matrices, which has become an effective method to accelerate the convergence of iterative ...
Ling Li, Yongxian Li
doaj   +1 more source