This paper shows the equivalence of three ways of expressing a certain strong consistency constraint – called the fulfilment constraint – on proofs of the logic of reusable propositional output: as a global requirement on proofs, as a local requirement on labels of formulas, and by phasing of proof rules. More specifically, we first show that the fulfilment constraint may be expressed either as...

We apply the techniques of stochastic integration with respect to the fractional Brownian motion and the theory of regularity and supremum estimation for stochastic processes to study the maximum likelihood estimator (MLE) for the drift parameter of stochastic processes satisfying stochastic equations driven by fractional Brownian motion with any level of Hölder-regularity (any Hurst parameter)...

The problem of estimation of the parameters of complex sinusoids in complex white noise arises in many fields. Although many papers appeared in the last twenty years dealing with the estimation of the complex sinusoids, not much attention has been paid to obtain the confidence intervals of the unknown parameters, without which the estimation may not make much sense. Recently Rao and Zhao (1993)...

In Computerized Adaptive Testing (CAT), items are selected in real time and are adjusted to the test-taker’s ability. While CAT has become popular for many measurement tasks, such as educational testing and patient reported outcomes, it has been criticized for not allowing examinees to review and revise their answers. In this work, we propose a novel CAT design that preserves the efficiency of ...

Various consistency proofs for the kernel density estimator have been developed over the last few decades. Important milestones are the pointwise consistency and almost sure uniform convergence with a fixed bandwidth on the one hand and the rate of convergence with a fixed or even a variable bandwidth on the other hand. While considering global properties of the empirical distribution functions...

The play-the-winner (PW) rule is an important method in clinical trials where patients can be assigned to one of the two treatments. In the PW rule, the probability of the next patient to be assigned to a particular treatment only depends on the response of the current patient. In this paper, we consider a general kind of PW rule for multi-treatment adaptive designs, in which the probability th...

We derive generalized Lüscher formulas for finite size corrections in a theory with a general dispersion relation. For the AdS5 × S5 superstring these formulas encode leading wrapping interaction effects. We apply the generalized μ-term formula to calculate finite size corrections to the dispersion relation of the giant magnon at strong coupling. The result exactly agrees with the classical str...

Let α, T > 0. We study the asymptotic properties of a least squares estimator for the parameter α of a fractional bridge defined as dXt = −α Xt T−t dt + dBt, 0 6 t < T , where B is a fractional Brownian motion of Hurst parameter H > 12 . Depending on the value of α, we prove that we may have strong consistency or not as t → T . When we have consistency, we obtain the rate of this convergence as...

• A common measure of tail dependence is the so-called tail-dependence coefficient. We present a nonparametric estimator of the tail-dependence coefficient and prove its strong consistency and asymptotic normality in the case of known marginal distribution functions. The finite-sample behavior as well as robustness will be assessed through simulation. Although it has a good performance, it is s...

Our goal is to investigate the definition and application of strong consistency properties on the dual graphs of binary Constraint Satisfaction Problems (CSPs). As a first step in that direction, we study the structure of the dual graph of binary CSPs, and show how it can be arranged in a triangle-shaped grid. We then study, in this context, Relational Neighborhood Inverse Consistency (RNIC), w...