Liveness properties of on-going reactive systems assert that something good will happen eventually. In satisfying liveness properties, there is no bound on the “wait time”, namely the time that may elapse until an eventuality is fulfilled. The traditional “unbounded” semantics of liveness properties nicely corresponds to the classical semantics of automata on infinite objects. Indeed, acceptanc...

This article is based on an Ada framework for multi-moded real-time applications called GIA (Giotto in Ada). As the name indicates it is based on the Giotto programming model, developed at the University of Berkeley. Within the GIA project original Giotto has been hosted in Ada, strictly speaking SPARK a safe subset of Ada, and has subsequently been extended. One absence of Giotto is its protoc...

despite the importance of drought stress in early stage of growth and plant establishment, it has usually been neglected as selection criteria in breeding programs. therefore, a population of recombinant inbred line derived from the cross “babax/seri m82” and their two parents were studied. the experiment was conducted in two randomized complete block designs with two replications under osmotic...

Drought stress is a major constraint affecting growth and yield of several economic crops including mungbean [Vigna radiata (L.) Wilczek]. In vitro selection for drought tolerance an alternative method early determination tolerant plants. The objective this study was to perform in genotypes under water induced by polyethylene glycol (PEG) 6000. Seeds 18 were germinated Murashige Skoog (MS) liqu...

Barrier contraceptive trials and disease intervention studies often utilize coital diaries to measure sexual exposures: dates and frequency of intercourse, product use, additional or alternative contraceptive use, and menstrual bleeding. The validity of these self-reported data is a matter of debate, but if used, better diary designs are sought. We studied 3 different coital diaries, plus a pho...