33.1k citations
- Sandia National Laboratories CaliforniaUS256 papers
- Center for Integrated NanotechnologiesUS116 papers
- University of New MexicoUS94 papers
- Los Alamos National LaboratoryUS75 papers
- Princeton UniversityUS59 papers
- Massachusetts Institute of TechnologyUS48 papers
- Oak Ridge National LaboratoryUS45 papers
- Lawrence Livermore National LaboratoryUS43 papers
- Purdue University West LafayetteUS40 papers
- Lawrence Berkeley National LaboratoryUS38 papers
- The University of Texas at AustinUS37 papers
- University of Maryland, College ParkUS37 papers
88 papers · 1 filter
Mechanizing Olver's Error Arithmetic
Max Fan, Ariel E. Kellison, Samuel D. Pollard
We mechanize the fundamental properties of a rounding error model for floating-point arithmetic based on relative precision, a measure of error proposed as a substitute for relativ…
A Note on the Convergence of Symmetric Triangle Quadrature Rules
Brian A. Freno, Neil R. Matula, Joseph E. Bishop
Symmetric polynomial quadrature rules for triangles are commonly used to efficiently integrate two-dimensional domains in finite-element-type problems. While the development of suc…
A Note on the Reliability of Goal-Oriented Error Estimates for Galerkin Finite Element Methods with Nonlinear Functionals
Brian N. Granzow, Stephen D. Bond, D. Thomas Seidl +1
We consider estimating the discretization error in a nonlinear functional in the setting of an abstract variational problem: find such that $B(u,φ) = L(φ…
An Efficient Second-Order Adaptive Procedure for Inserting CAD Geometries into Hexahedral Meshes using Volume Fractions
Brian N. Granzow, Stephen D. Bond, Michael J. Powell +1
This paper is concerned with inserting three-dimensional computer-aided design (CAD) geometries into meshes composed of hexahedral elements using a volume fraction representation.…
Multi-fidelity uncertainty quantification for homogenization problems in structure-property relationships from crystal plasticity finite elements
Anh Tran, Pieterjan Robbe, Theron Rodgers +1
Crystal plasticity finite element method (CPFEM) has been an integrated computational materials engineering (ICME) workhorse to study materials behaviors and structure-property rel…
Analysis of Randomized Householder-Cholesky QR Factorization with Multisketching
Andrew J. Higgins, Daniel B. Szyld, Erik G. Boman +1
CholeskyQR2 and shifted CholeskyQR3 are two state-of-the-art algorithms for computing tall-and-skinny QR factorizations since they attain high performance on current computer archi…