Search Results - "truncation"

Truncation levels in homotopy type theory by Kraus, Nicolai

Subjects: Get full text

Improved Convergence Rates for the Truncation Error in Gravimetric Geoid Determination by Evans, J., Featherstone, Will

Subjects: Get full text

Handling of Over-Dispersion of Count Data via Truncation using Poisson Regression Model by Saffari, S.E., Adnan, R., Greene, William

Subjects: “…truncation…”
Get full text
Get full text

A Meissl-modified Vanicek and Kleusberg kernel to reduce the truncation error in gravimetric geoid computations by Featherstone, Will, Evans, J., Olliver, J.

Subjects: “…Gravimetric geoid determination - Modified kernels - Truncation error reduction…”
Get full text

Notions of anonymous existence in Martin-Löf type theory by Kraus, Nicolai, Escardo, Martin, Coquand, Thierry, Altenkirch, Thorsten

Subjects: Get full text

Classical and quantum parametric excitations of Bose-Einstein condensates by Finke, Andreas

Subjects: “…Bose-Einstein condensates ; quantum optics ; parametric resonance ; truncated wigner simulations ; Gross-Pitaevskii…”
Get full text

Integral inversion of GRAIL inter-satellite gravitational accelerations for regional recovery of the lunar gravitational field by Šprlák, M., Han, S.C., Featherstone, Will

Subjects: Get full text
Get full text

Quantifying the influence of bias in reproductive and perinatal epidemiology through simulation by Dunne, Jennifer, Tessema, Gizachew, Ognjenovic, Milica, Pereira, Gavin

Subjects: Get full text
Get full text