Hyland and Ong HO93] recently showed that given an arbitrary (right-absorptive) conditionally partial combinatory algebra (c-pca), there is a systematic way to construct a Kreisel-style modiied realizability topos which has more than suucient completeness properties to provide a categorical semantics for a wide range of higher type theories. Based on the topos generated from the c-pca of an app...

Functional language compilers often perform optimizations based on beta and delta re duction To avoid speculative optimizations that can blow up the code size we might wish to use only shrinking reduction rules guaranteed to make the program smaller these include dead variable elimination constant folding and a restricted beta rule that inlines only functions that are called just once The restr...

We investigate conditions for simultaneous normalizability of a family of reduced schemes, i.e., the normalization of the total space normalizes, fiber by fiber, each member of the family. The main result (under more general conditions) is that a flat family of reduced equidimensional projective C-varieties (Xy)y∈Y with normal parameter space Y—algebraic or analytic—admits a simultaneous normal...

In the model where two massive scalar particles interact by the ladder exchanges of massless scalar particles (Wick-Cutkosky model), we study in light-front dynamics the contributions of different Fock sectors (with increasing number of exchanged particles) to full normalization integral and electromagnetic form factor. It turns out that two-body sector always dominates. At small coupling const...

This paper introduces a family of recursively defined estimators of the parameters of a diffusion process. We use ideas of stochastic algorithms for the construction of the estimators. Asymptotic consistency of these estimators and asymptotic normality of an appropriate normalization are proved. The results are applied to two examples from the financial literature; viz., Cox-Ingersoll-Ross’ mod...

We consider a tree network whose resources are shared by a dynamically varying number of elastic flows. We present an efficient method for calculating performance metrics such as flow throughputs when the resource allocation is balanced fair. The method is based on a recursive algorithm for computing the normalization constant of the stationary distribution. Several examples are worked out. A p...

We consider the boundary case in a one-dimensional supercritical branching random walk, and study two of the most important martingales: the additive martingale (Wn) and the derivative martingale (Dn). It is known that upon the system’s survival, Dn has a positive almost sure limit (Biggins and Kyprianou [9]), whereas Wn converges almost surely to 0 (Lyons [22]). Our main result says that after...

The articulatory function of the labial musculature has been investigated electromyographically before and after treatment with l-dopa in patients with Parkinsonism who had dysarthria. Before medication the EMG traces generally showed a constant, abnormally increased, tonic activity, together with disturbed reciprocal innervation, which impaired the articulatory activity. After medication the t...

Remote sensing of rugged terrain is hampered by topographic effects on spectral signatures. The purpose of this study was to attempt normalization of the topographic effect encountered when analyzing Landsat Thematic Mapper (TM) imagery in the Rocky Mountains. Two normalization techniques were performed on a subscene of a TM image of Rocky Mountain National Park. The first technique was a band ...

We use the present observed number density of large X-ray clusters to constrain the amplitude of matter density perturbations induced by cosmic strings on the scale of 8h−1Mpc (σ8), in both open cosmologies and flat models with a non-zero cosmological constant. We find a slightly lower value of σ8 than that obtained in the context of primordial Gaussian fluctuations generated during inflation. ...