The number of end-users who write spreadsheet programs is at least an order of magnitude larger than the number of trained programmers who write professional software. We studied a corpus of 3691 spreadsheets and we found that their formulas are riddled with the same smells that plague professional software: hardcoded constants, duplicated expressions, unnecessary complexity, and unsanitized in...

We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...

Very accurate thermodynamic potential functions are available for fluid water, ice, seawater and humid air covering wide ranges of temperature and pressure conditions. They permit the consistent computation of all equilibrium properties as, for example, required for coupled atmosphereocean models or the analysis of observational or experimental data. With the exception of humid air, these poten...

We derive the empirical formulas for neutron star mass and gravitational redshift as a function of central density specific combination nuclear saturation parameters, which are applicable to stellar models constructed with up threefold density. Combining both formulas, one also estimates radius. In practice, we find that (radius) can be estimated within $\sim 10\%$ (a few percent) accuracy by c...

We consider a Gaussian type quadrature rule for some classes of integrands involving highly oscillatory functions of the form f (x) = f 1 (x) sin ζ x + f 2 (x) cos ζ x, where f 1 (x) and f 2 (x) are smooth, ζ ∈ R. We find weights σ ν and nodes x ν , ν = 1, 2,. .. , n, in a quadrature formula of the form 1 −1 f (x) dx ≈ n ν=1 σ ν f (x ν) such that it is exact for all polynomials f 1 (x) and f 2 ...

The non-gaussianity of processes observed in financial markets and relatively good performance of gaussian models can be reconciled by replacing the Brownian motion with Lévy processes whose Lévy densities decay as exp(−λ|x|) or faster, where λ > 0 is large. This leads to asymptotic pricing models. The leading term, P0, is the price in the Gaussian model with the same instantaneous drift and va...

In large scale multiple testing, the use of an empirical null distribution rather than the theoretical null distribution can be critical for correct inference. This paper proposes a “mode matching” method for fitting an empirical null when the theoretical null belongs to any exponential family. Based on the central matching method for z-scores, mode matching estimates the null density by fittin...

In large scale multiple testing, the use of an empirical null distribution rather than the theoretical null distribution can be critical for correct inference. This paper proposes a “mode matching” method for fitting an empirical null when the theoretical null belongs to any exponential family. Based on the central matching method for z-scores, mode matching estimates the null density by fittin...

This paper surveys some of the quantitative empirical research in two areas of Marxist political economy: (a) Marxist national accounts, and (b) Marxist responses to the Sraffa-based critique of the 1970s. With respect to the first area, this paper explains the basic methodology underlying the construction of Marxist national accounts from traditional input-output data. With respect to the seco...