Timed nite automata, introduced by Alur and Dill, are one of the most widely studied models for real-time systems. We focus in this paper on the practical issue of veriication for such systems. More precisely , we investigate the comparative performances of three well known veriication tools : HyTech, Kronos and Uppaal.

In this thesis, we study linear type-theories and their semantics. We present a general framework for such type-theories, and prove certain decidability properties of its equality. We also present intuitionistic linear logic and Milner’s action calculi as instances of the framework, and use our results to show decidability of their respective equality judgements. Firstly, we motivate our develo...

background & aim: energy is one of important debates in agriculture ecology and for this reason; the ratio of output and input energy in different agriculture ecosystems has been calculated. if one can reduce, input energy level into farms through the indices like poisons, fertilization, tractor energy and lab our force. in addition to the net income of the farmers, this issue would play a ...

since anethum graveolens (dill) has phytoestrogenic compounds and it is proven that estrogens exert beneficial effects on cognition; the aim of this study was to understand if this plant can improve memory performance. male balb/c mice weighing 25-30 g were used in this study and memory was assessed by the novel object recognition task. in this method, the difference in the exploration time bet...

As a relatively new application area for LOTOS (Language Of Temporal Ordering Specification), the specification of digital logic is investigated. A specification approach is evolved and justified, illustrated with basic logic gates and the larger example of a keyboard controller. The construction and validation of the digital component library are discussed, along with a retrieval tool that all...

The present study was carried out to determine the effect of methanol extract of Anethumgraveolens(Dill) on serum lipoproteins in hypercholesterolaemic mice.A total of 24 male mice (average 25gm body weight) were used in this study. Mice were divided into four groups was injected with 100mg/kg ofalloxan to induce hyperglycemic in mice, the first group (1) was used as control (+ve) group (6 mice...

Subterranean termite infestations occur in every state in the contiguous United States and are responsible for damage to wooden structures in excess of two billion dollars (U.S.) annually. Essential oils have historically been used to repel insects. They have relatively low toxicity and some of them are exempt from regulation by the Federal Insecticide Fungicide and Rodenticide Act (FIFRA). Dev...