Results 71 to 80 of about 9,960,876 (189)
Probing and Graph Coloring Techniques for Trace Estimation in Lattice QCD
ABSTRACT The computation of Tr[D−1]$\mathrm{Tr}[D^{-1}]$, where D$D$ is the Wilson–Dirac matrix of Lattice QCD, is a fundamental and computationally demanding task with applications to disconnected hadronic correlation functions. Since D−1$D^{-1}$ is a dense matrix of prohibitive size, its trace cannot be computed exactly, and one must resort to ...
Mario Papace +5 more
wiley +1 more source
Rational points on even‐dimensional Fermat cubics
Abstract We show that even‐dimensional Fermat cubic hypersurfaces are rational over any field of characteristic not equal to three, by constructing explicit rational parameterizations with polynomials of low degree. As a byproduct of our rationality constructions, we obtain estimates for the number of their rational points over a number field and ...
Alex Massarenti
wiley +1 more source
Frequency‐dependent contraction rates for the Bayesian method to the inverse source problem
Abstract This paper addresses an inverse source problem for acoustic waves in a range of frequencies. Our study has two main goals. First, although the problem is severely ill‐posed with a logarithmic stability estimate, we demonstrate, through careful analysis of the forward map's singular values, that increasing the frequency range enhances stability,
Pu‐Zhao Kow, Jenn‐Nan Wang
wiley +1 more source
The SIR Model in a Moving Population: Propagation of Infection and Herd Immunity
ABSTRACT In a collection of particles performing independent random walks on Zd$\mathbb {Z}^d$ we study the spread of an infection with SIR dynamics. Susceptible particles become infected when they meet an infected particle. Infected particles heal and are removed at rate ν$\nu$.
Duncan Dauvergne, Allan Sly
wiley +1 more source
A Common External Framework for Kleene and McCarthy Algebras
ABSTRACT Algebras of disjoint alternatives (ADAs), introduced by Manes, are extensions of McCarthy algebras by a unary operator acting as an oracle for the halting problem, and provide a semantics for the equational theory of the if–then–else construct.
Gandolfo Vergottini +2 more
wiley +1 more source
Identities in the Algebra of Partial Maps [PDF]
We consider the identities of a variety of semigroup-related algebras modelling the algebra of partial maps. We show that the identities are intimately related to a weak semigroup deductive system and we show that the equational theory is decidable.
Marcel Jackson +3 more
core +1 more source
Electrochemical experiments reveal what happens, whereas first principles calculations explain why. Emerging computational electrochemistry is bridging these perspectives, enabling quantitative understanding of electrode/electrolyte interfaces and enabling the rational design of next‐generation energy storage materials.
Kenji Oqmhula, Ryo Maezono, Kenta Hongo
wiley +1 more source
Polynomial Preconditioning for Indefinite Matrices
ABSTRACT Polynomial preconditioning is an important tool in solving large linear systems and eigenvalue problems. A polynomial from GMRES can be used to precondition restarted GMRES and restarted Arnoldi. Here we give methods for indefinite matrices that make polynomial preconditioning more generally applicable. The new techniques include balancing the
Hayden Henson, Ronald B. Morgan
wiley +1 more source
Domain‐Knowledge‑Guided Rule Extraction for Governing Nepheline Amount in High‑Level Waste Glasses
ABSTRACT Nepheline crystallization during canister centerline cooling is one of the most constraining factors limiting waste loading in high‐level waste (HLW) borosilicate glasses. Existing predictive models treat nepheline formation as a binary outcome, yet durability degradation depends continuously on nepheline fraction.
Irmak Sargin
wiley +1 more source
Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices
Abstract Algebras can be used to interpret the behaviour of effectful programs. In particular, we use Eilenberg-Moore algebras given over a complete lattices of truth values, which specify answers to queries about programs. The algebras can be used to formulate a quantitative logic of behavioural properties, specifying a congruent notion of program ...
openaire +1 more source

