The paper contributes the proof of termination of an experimental supercom-piler HOSC dealing with higher-order functions. В работе приводится доказательство завершаемости экпериментального суперкомпилятора HOSC, работающего с функциями высших порядков.

in this study we investigate voice productions of normal speakers and patients with varying vocal fold adduction deficiencies using a noninvasive method to measure spatial vibrations of the larynx. the current version accv4 of our acceleration sensor device was used. The study’s primary goal is to find out whether lesions of vocal folds lead to additional spatial vibration modes compared to a n...

PURPOSE To evaluate relationships among contrast sensitivity function, ocular higher-order aberration, and myopic correction in eyes undergoing overnight orthokeratology for myopia. METHODS A prospective study was conducted in 46 eyes of 23 patients undergoing orthokeratology. Inclusion criteria were spherical equivalent refraction between -1.00 and -4.00 diopters (D), refractive astigmatism ...

Abstract. We show how spontaneous supersymmetry breaking in the vacuum state of higher-derivative supergravity is transmitted, as explicit soft supersymmetry-breaking terms, to the effective Lagrangian of the standard electroweak model. The general structure of the soft supersymmetry breaking terms is presented and a new scenario for understanding the gauge hierarchy problem, based on the funct...

A common assumption of political economy is that profit rates across firms or sectors tend to uniformity, and often models are formulated in which this tendency is assumed to have been realised. But in reality this tendency is never realised and the distribution of firm profits is not degenerate but skewed to the right. The mode is less than the mean and super-profits are present. To understand...

A number of writers have supposed that for the full specification of belief, higher order probabilities are required. Some have even supposed that there may be an unending sequence of higher order probabilities of probabilities of probabilities.... In the present paper we show that higher order probabilities can always be replaced by the marginal distributions of joint probability distributions...

This paper is an investigation of LF-copies created by scrambling in the context of FNQ-constructions. It demonstrates that movement leaves a copy at LF only when it targets a position within the next search space; it does not leave an LF copy if movement takes place too close within a single domain of search space. By characterizing this in terms of “Distinctness of Copies,” this paper provide...

We consider a generalized version of a directionally reinforced random walk, which was originally introduced by Mauldin, Monticino, and von Weizsäcker in [20]. Our main result is a stable limit theorem for the position of the random walk in higher dimensions. This extends a result of Horváth and Shao [13] that was previously obtained in dimension one only (however, in a more stringent functiona...

This paper describes XRCE’s participation in Large Scale Visual Concept Detection and Annotation Task [16] and Photo Retrieval Task [17] of ImageCLEF 2009. Those tasks both use a new collection which is different and which is much larger than the ones used in past sessions. Moreover, new kinds of challenge to tackle were designed such as new categories to detect or new types of topic to deal wi...

Wavefront aberrations in human eyes were measured with a Shack-Hartmann wavefront sensor. Based on the measured wavefront aberrations, customized optics, such as phase plates and a customized contact lens, were designed and fabricated to compensate for higher-order wavefront aberrations in human eyes. The fabricated customized optics could successfully correct higherorder aberrations in human e...