cs.NA
37 papers.
-
Torus computed tomography for experimental data
8 statements5 proofs
-
Update to: Spectral sets: Numerical range and beyond
3 statements
-
A family of second order, linear, unconditionally stable methods for the Cahn-Hilliard-Navier-Stokes equations
1 definition2 statements
-
Erratum to "Higher order scrambled digital nets achieve the optimal rate of the root mean square error for smooth integrands"
8 statements7 proofs
-
Approximate solutions to a nonlinear functional differential equation
1 statement1 proof
-
Moving Least Squares without Quasi-Uniformity: A Stochastic Approach
6 definitions15 statements13 proofs
- Derivative-free optimization is competitive for aerodynamic design optimization in moderate dimensions
-
Generalization Bounds for Physics-Informed Neural Networks for the Incompressible Navier-Stokes Equations
6 definitions8 statements6 proofs
-
Convergence of spectral discretization for the flow of diffeomorphisms
4 definitions19 statements14 proofs
-
Dekker’s floating point number system and compensated summation algorithms
3 definitions21 statements
-
A posteriori error estimates for a modified Morley FEM
9 statements9 proofs
-
Mixed precision sketching for least-squares problems and its application in GMRES-based iterative refinement
2 definitions3 statements
-
Tensor robust principal component analysis via the tensor nuclear over Frobenius norm
11 definitions21 statements11 proofs
-
Deep collocation method: A framework for solving PDEs using neural networks with error control
1 statement3 proofs
-
Time-splitting methods for the cold-plasma model using Finite Element Exterior Calculus
2 proofs
-
Asymptotic expansions for approximate solutions of boundary integral equations
5 statements
-
Stability of conforming space-time isogeometric methods for the wave equation
15 statements12 proofs
- Generalization capabilities of MeshGraphNets to unseen geometries for fluid dynamics
-
Machine learning of discrete field theories with guaranteed convergence and uncertainty quantification
4 proofs
-
Structure-preserving neural networks for the regularized entropy-based closure of the Boltzmann moment system
4 definitions10 statements18 proofs
-
Computation of some dispersive equations through their iterated linearisation
6 statements
-
Particle-based algorithm for stochastic optimal control
2 statements2 proofs
-
DeepMartNet – A Martingale based Deep Neural Network Learning Algorithm for Eigenvalue/BVP Problems and Optimal Stochastic Controls
1 statement
-
A deep first-order system least squares method for solving elliptic PDEs
3 definitions8 statements7 proofs
-
Certified machine learning: A posteriori error estimation for physics-informed neural networks
1 definition3 statements3 proofs1 problem
-
A New Diffusive Representation for Fractional Derivatives, Part II: Convergence Analysis of the Numerical Scheme
4 statements3 proofs
-
The Bubble Transform and the de Rham Complex
24 statements20 proofs
- Coupling of IGA and Peridynamics for Air-Blast Fluid-Structure Interaction Using an Immersed Approach
-
The Lattice of integer partitions and its infinite extension
1 definition13 statements10 proofs
-
Parallel-in-time high-order multiderivative IMEX solvers
3 definitions9 statements7 proofs
-
Adaptive and Momentum Methods on Manifolds Through Trivializations
1 definition3 statements3 proofs
-
Optimally-Weighted Herding is Bayesian Quadrature
2 statements2 proofs
-
\alpha-Parameterized Differential Transform Method
1 definition6 statements6 proofs
-
A Two-Dimensional Improvement for Farr-Gao Algorithm
4 definitions11 statements3 proofs
-
A pseudospectral quadrature method for Navier-Stokes equations on rotating spheres
10 statements9 proofs
-
Multivariate polynomial interpolation and sampling in Paley-Wiener spaces
7 definitions35 statements29 proofs
-
Sampling and Recovery of Multidimensional Bandlimited Functions via Frames
10 definitions16 statements8 proofs