Results 71 to 80 of about 8,787,339 (256)
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 +7 more
wiley +1 more source
General Algebraic Solutions of Fuzzy Dual Number Linear Systems
Journal of Applied MathematicsIn this paper, we define fuzzy dual number linear systems (FDLSs) expressed as CZ˜=W˜, where C represents a crisp dual number matrix and W˜ denotes a fuzzy dual number vector. Our study focuses on three primary objectives.
Hongjie Jiang +2 more
doaj +1 more source
AIP Advances, 2021 An improved peak-selection algorithm is proposed for mesh deformation. With the use of the newly derived block-based recurrence Cholesky (BRC) decomposition scheme, the computational complexity for solving the linear algebraic system in the data reducing
Jing Liu +4 more
doaj +1 more source
Prime Spectrum of the Ring of Adeles of a Number Field
Mathematics, 2022 Much is known about the adele ring of an algebraic number field from the perspective of harmonic analysis and class field theory. However, its ring-theoretical aspects are often ignored.
Álvaro Serrano Holgado
doaj +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
Chromatic numbers of algebraic hypergraphs [PDF]
Combinatorica, 2016 A k-uniform hypergraph is algebraic if its vertex set is n-dimensional Euclidean space, for some n, and its hyperedge set is defined from the zero set of some polynomial. The chromatic numbers of all algebraic hypergraphs are determined, provided they are infinite.
openaire +2 more sources
Exact Discrete Stochastic Simulation With Deep‐Learning‐Scale Gradient Optimization
Advanced Science, EarlyView.A 203,796‐parameter gene regulatory network classifies handwritten digits with 98.4% accuracy using exact stochastic dynamics. The framework decouples forward simulation from backward differentiation, making continuous‐time Markov chain models compatible with deep‐learning optimization.
Jose M. G. Vilar, Leonor Saiz
wiley +1 more source
Advanced Science, EarlyView.We report the solid‐state ball milling, a traditional, reliable, mass‐productive material processing, to prepare the air‐stable and dual‐phase GeSe2‐x nanoparticles with extended photodetection feasibility toward optical‐wavelength regions. We further display photonic multi‐valued logic (MVL) circuit through the employment of a hybrid PMMA/GeSe2‐x ...
An‐Ting Tsai +8 more
wiley +1 more source
Algebraic causality : Bayes nets and beyond [PDF]
, 2007 The relationship between algebraic geometry and the inferential framework of the Bayesian Networks with hidden variables has now been fruitfully explored and exploited by a number of authors.
Riccomagno, Eva, Smith, J. Q.
core