We address the veriication problem of real-time properties involving duration constraints (predicates). The duration of a state property, along an interval of a computation sequence of a real-time system, is the time the property is true. In particular, the global time spent in such an interval is the duration of the formula true. We extend the real-time logic TCTL to a duration logic called SD...

ABSTRACT- This experiment was carried out during the growing seasons of 2010 and 2011 at the Agricultural Research Farm of Bu-Ali Sina University, to study the effect of weed competition on subsequent germination and seed vigour of chickpea. 12 weed interference durations were evaluated in a randomized complete block design with three replications. Experiments consisted of two sets of treatment...

The voltage-dependent gating of transient A2-type potassium channels from primary cultures of larval Drosophila central nervous system neurons was studied using whole-cell and single-channel voltage clamp. A2 channels are genetically distinct from the Shaker A1 channels observed in Drosophila muscle, and differ in single-channel conductance, voltage dependence, and gating kinetics. Single A2 ch...

Calcium, through its various channels involves in local, spinal and supra-spinal transmission of pain. In the present study, we investigated the separate and combined treatment effects of verapamil (a calcium channel blocker), morphine (an opioid agonist) and naloxone (an opioid antagonist) on pain in the orofacial region of rats. Orofacial pain was induced by subcutaneous (SC) injection of for...

Prosody generation relates to the composition of the detailed time structure of continuous speech and the realisation of the fundamental frequency and intensity structure, embedded in it. In our model a complex function set is described for the three prosody components for read speech. Each of the three prosody components is modelled separately by a three-step procedure. It was found that the c...