A simple solution to the Rietveld refinement recipe problem. [PDF]
J Appl CrystallogrToby BH.
europepmc +1 more source
Numerical algorithms for high-performance computational science. [PDF]
Philos Trans A Math Phys Eng Sci, 2020 Dongarra J, Grigori L, Higham NJ.
europepmc +1 more source
A Semi-Analytical Method for Channel and Pipe Flows for the Linear Phan-Thien-Tanner Fluid Model with a Solvent Contribution. [PDF]
Polymers (Basel), 2022 de Araujo MT +3 more
europepmc +1 more source
A thermodynamic inspired AI based search algorithm for solving ordinary differential equations. [PDF]
Sci RepMurugesh V +3 more
europepmc +1 more source
Extrapolation before imputation reduces bias when imputing censored covariates. [PDF]
J Comput Graph StatLotspeich SC, Garcia TP.
europepmc +1 more source
Toward widespread use of virtual trials in medical imaging innovation and regulatory science. [PDF]
Med PhysAbadi E +14 more
europepmc +1 more source
COMPUTING ILL-POSED TIME-REVERSED 2D NAVIER-STOKES EQUATIONS, USING A STABILIZED EXPLICIT FINITE DIFFERENCE SCHEME MARCHING BACKWARD IN TIME. [PDF]
Inverse Probl Sci Eng, 2020 Carasso AS.
europepmc +1 more source
Checking Roundoff Errors using Counterexample-Guided Narrowing
Checking Roundoff Errors using Counterexample-Guided NarrowingThis paper proposes a counterexample-guided narrowing approach、which combines static analysis and testing、 to make them refine eachother. A prototype tool CANAT for checking roundoff errors betweenfloating point and fixed point numbers is reported with preliminary experiments.
openaire
Exact arithmetic as a tool for convergence assessment of the IRM-CG method. [PDF]
Heliyon, 2020 Dvornik J +3 more
europepmc +1 more source