Real Time Logic (RTL) was introduced as a formalism for reasoning about the relative and absolute timing properties of computational tasks of discrete real-time systems. Extended Real Time Logic (ERTL) is a formalism for the modellingand analysis of relative and absolute timingproperties of hybrid systems (systems that combine continuous variablesand discrete event dynamics). The extensions pro...

Timing of organ development during embryogenesis is coordinated such that at birth, organ and fetal size and maturity are appropriately proportioned. The extent to which local developmental timers are integrated with each other and with the signaling interactions that regulate morphogenesis to achieve this end is not understood. Using the absolute requirement for a signaling pathway activity (b...

The absolute timing of the high-harmonic attosecond pulse train with respect to the generating IR pump cycle has been measured for the first time. The attosecond pulses occur 190+/-20 as after each pump field maxima (twice per optical cycle), in agreement with the "short" quantum path of the quasiclassical model of harmonic generation.

We describe a new real time process algebra with simple semantics but consider able expressive power It exhibits the advantages of both the constraint oriented and marker variable speci cation styles The de nition extends Milner s CCS rstly with a simple notion of absolute time added to actions and then with relative timing expressions which may refer to time markers

This paper describes a new ‘real-time’ process algebra that exhibits the advantages of both the ‘constraint-oriented’ and ‘marker variable’ specification styles. Its definition extends CCS, firstly with a basic notion of absolute time added to actions, and then with relative timing expressions which may refer to time markers.

We report on high-resolution spatial and timing results for binary millisecond pulsar PSR J0218+4232 obtained with the Chandra HRC-I and HRC-S in imaging mode. The sub-arcsecond resolution image of the HRC-I (0.08-10 keV) showed that the X-ray emission from PSR J0218+4232 is consistent with that of a point source excluding the presence of a compact nebula with a size of about 14 for which we ha...

Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both partial orders on events and don’t-care regions to LTL potentially yields exponentially larger formulas containing several non-localized terms corresponding to the same event. This raises a more fundamental question: which...

the root endophytic fungus, piriformospora indica, colonizes roots of a large number of plant species including cereals and brasicaceae. there are several reports indicating that p. indica protects roots from different path-ogens. in the present study, rice plants were pre-inoculated with p. indica and were subsequently infected with fusarium proliferatum, as the causal agent of root rot and cr...

This paper presents a new symbol-rate timing recovery approach based on adaptive interpolation to reduce the sampling frequency of analog-to-digital converter (ADC) and power consumption for low-energy high-speed wireless communication system, such as ultra-wideband (UWB) system. Using a principle of maximum absolute-squared sum (MASS), the ADC can select the optimal clock phase provided by a m...

This paper presents a method for compiling a large-scale bilingual corpus from a database of movie subtitles. To create the corpus, we propose an algorithm based on Gale and Church’s sentence alignment algorithm(1993). However, our algorithm not only relies on character length information, but also uses subtitle-timing information, which is encoded in the subtitle files. Timing is highly correl...