Results 31 to 40 of about 18,932 (217)

Lawra – linear algebra with recursive algorithms

Mathematical Modelling and Analysis, 1999
Recursion leads to automatic variable blocking for dense linear‐algebra algorithms. The recursive way of programming algorithms eliminates using BLAS level 2 during the factorization steps.
B. S. Andersen, F. Gustavson, A. Karaivanov, J. Wasniewski, P. Y. Yalamov   +4 more
doaj   +1 more source

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

Generalised symmetries of remarkable (1+2)-dimensional Fokker–Planck equation

European Journal of Applied Mathematics
Using an original method, we find the algebra of generalised symmetries of a remarkable (1+2)-dimensional ultraparabolic Fokker–Planck equation, which is also called the Kolmogorov equation and is singled out within the entire class of ultraparabolic ...
Dmytro R. Popovych, Serhii D. Koval, Roman O. Popovych   +2 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

LAPACK95 ‐ high performance linear algebra package

Mathematical Modelling and Analysis, 2000
LAPACK95 is a set of FORTRAN95 subroutines which interfaces FORTRAN95 with LAPACK. All LAPACK driver subroutines (including expert drivers) and some LAPACK computationals have both generic LAPACK95 interfaces and generic LAPACK77 interfaces.
J. Dongarra, J. Waśniewski
doaj   +1 more source

A Simple and Practical Linear Algebra Library Interface with Static Size Checking [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
Linear algebra is a major field of numerical computation and is widely applied. Most linear algebra libraries (in most programming languages) do not statically guarantee consistency of the dimensions of vectors and matrices, causing runtime errors. While
Akinori Abe, Eijiro Sumii
doaj   +1 more source

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

Topological characterizations of S-Linearity

Atti della Accademia Peloritana dei Pericolanti : Classe di Scienze Fisiche, Matematiche e Naturali, 2007
We give several characterizations of basic concepts of S-linear algebra in terms of weak duality on topological vector spaces. On the way, some classic results of Functional Analysis are reinterpreted in terms of S-linear algebra, by an application ...
Carfi', David
doaj   +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