Based on the free precession model of the isolated pulsar PSR B1828-11, Link & Epstein (2001) showed that the observed pulse durations require the radio beam to have a non-standard shape: the beam duration is larger for beam sweeps farthest from the dipole axis. In their analysis they assumed that the actual precession period is ≃ 500 d. Recent theoretical studies suggested that the actual prec...

Duration Calculus with Iteration (DC∗) has been used as an interface between original Duration Calculus and Timed Automata, but has not been studied rigorously. In this paper, we study a subset of DC∗ formulas consisting of so-called simple ones which corresponds precisely with the class of Timed Automata. We give a complete proof system and the decidability results for the subset.

Laser milling provides a new method of producing components for the micro tool manufacturing industry. This paper considers the technical capabilities of laser milling when applied to the machining of components for micro tooling. Characteristics important for laser milling as a micro tooling manufacturing process are reviewed. These characteristics are surface finish, aspect ratio, dimensional...

We prove that the particularly narrow subset of the duration calculus which is defined by the BNF φ ::= ⊥ | dSe | A | φ ⇒ φ | (φ; φ) is not recursively axiomatisable or, in other words, incomplete.

OBJECTIVE Our goal was to describe the variability of sleep duration (time in bed per 24 hours) in healthy children from 1 to 10 years of age in comparison with growth measures. METHODS A total of 305 children were followed with structured sleep-related interviews and measurements of height and weight 12, 18, and 24 months after birth and then at annual intervals until 10 years of age. SD sco...

a chromium electroplating bath with the ability to produce homogenous mist was used to evaluate parameters influencing hexavalent chromium (cr+6) mist sampling methods. the results of 48 cr+6mist samples collected using the u.s. national institute for occupational safety and health method 7600showed that cr+6concentration was higher: (1) for sampling by closed-face filter cassettes than for sam...

Abstract Background: Diabetic patients are more prone to oral infections and periradicular lesions due to changes in their immune system and qualitative and quantitative changes in normal flora of their mouth. The aim of this study was to evaluate the frequency of periradicular lesions in diabetic patients in Babol, North of Iran. Methods: From October 2011 to March 2012, 135 diabetic patient...

We present an alternative method for measuring ultrashort extreme-ultraviolet pulses that can be synchronized with an intense infrared pulse. The method, based on photoionization of a target atom by the extremeultraviolet pulse in the presence of the infrared pulse, has a potential accuracy of close to 1 fs and is susceptible to single-shot operation. It is demonstrated on harmonic 15 of a tita...

It has been widely demonstrated that a prolonged adaptation to a relatively long or short stimulus leads to a robust repulsive duration aftereffect. However, little is known about the rapid adaptation to stimulus duration. In this study, we investigated whether the duration aftereffect could also be induced by short-term adaptation to stimuli of both sub- and supra-second durations. To control ...