ANDERS KOCK and JOACHIM KOCK Mathematical Structures in Computer Science / Volume 23 / Issue 01 / February 2013, pp 131 ­ 141 DOI: 10.1017/S0960129512000217, Published online: Link to this article: http://journals.cambridge.org/abstract_S0960129512000217 How to cite this article: ANDERS KOCK and JOACHIM KOCK (2013). Local fibred right adjoints are polynomial. Mathematical Structures in Computer...

We present a useful formula for the expected number of maxima of a normal process ξ(t) that occur below a levelu. In the derivation we assume chiefly that ξ(t), ξ(t), and ξ(t) have, with probability one, continuous 1 dimensional distributions and expected values of zero. The formula referred to above is then used to find the expected number of maxima below the level u for the random algebraic p...

Suppose we have a number of noisy measurements of an unknown real-valued function f near a point of interest x0 ∈ R. Suppose also that nothing can be assumed about the noise distribution, except for zero mean and bounded covariance matrix. We want to estimate f at x0 using a general linear parametric family f(x; a) = a0h0(x) + . . . + aqhq(x), where a ∈ R and hi’s are bounded functions on a nei...