Results 171 to 180 of about 1,320,893 (348)
Randomly sparsified Richardson iteration: A dimension‐independent sparse linear solver
Communications on Pure and Applied Mathematics, EarlyView.Abstract Recently, a class of algorithms combining classical fixed‐point iterations with repeated random sparsification of approximate solution vectors has been successfully applied to eigenproblems with matrices as large as 10108×10108$10^{108} \times 10^{108}$. So far, a complete mathematical explanation for this success has proven elusive.
Jonathan Weare, Robert J. Webber
wiley +1 more source
Smart Sensorization Using Propositional Dynamic Logic. [PDF]
Sensors (Basel), 2022 Merino S +3 more
europepmc +1 more source
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions [PDF]
, 2002 Gilles Audemard +4 more
openalex +1 more source
Dimer models and conformal structures
Communications on Pure and Applied Mathematics, EarlyView.Abstract Dimer models have been the focus of intense research efforts over the last years. Our paper grew out of an effort to develop new methods to study minimizers or the asymptotic height functions of general dimer models and the geometry of their frozen boundaries.
Kari Astala +3 more
wiley +1 more source
Equivariant toric geometry and Euler–Maclaurin formulae
Communications on Pure and Applied Mathematics, EarlyView.Abstract We first investigate torus‐equivariant motivic characteristic classes of toric varieties, and then apply them via the equivariant Riemann–Roch formalism to prove very general Euler–Maclaurin‐type formulae for full‐dimensional simple lattice polytopes.
Sylvain E. Cappell +3 more
wiley +1 more source
Fuzzy Propositional Formulas under the Stable Model Semantics [PDF]
Joohyung Lee, Yi Wang
openalex +1 more source
Ghost effect from Boltzmann theory
Communications on Pure and Applied Mathematics, EarlyView.Abstract Taking place naturally in a gas subject to a given wall temperature distribution, the “ghost effect” exhibits a rare kinetic effect beyond the prediction of classical fluid theory and Fourier law in such a classical problem in physics. As the Knudsen number ε$\varepsilon$ goes to zero, the finite variation of temperature in the bulk is ...
Raffaele Esposito +3 more
wiley +1 more source