This paper presents algorithms for the automatic synthesis of real time controllers by nding a winning strategy for certain games de ned by the timed automata of Alur and Dill In such games the outcome depends on the players actions as well as on their timing We believe that these results will pave the way for the application of program synthesis techniques to the construction of real time embe...

This paper presents algorithms for the automatic synthesis of real-time controllers by nding a winning strategy for certain games deened by the timed-automata of Alur and Dill. In such games, the outcome depends on the players' actions as well as on their timing. We believe that these results will pave the way for the application of program synthesis techniques to the construction of real-time ...

We continue the study of nonlinear Maxwell equations for electromagnetism in the formalism of B. D. Coleman & E. H. Dill. We exploit here the assumption of Lorentz invariance, following I. Bia linicki-Barula. In particular, we show that nonlinearity forbids the convexity of the electromagnetic energy density. This justifies the study of rank-one convex and of polyconvex densities, begun in [8, ...

We present a collection of ideas that allows the pipeline verification method pioneered by Burch and Dill [5] to scale very efficiently to dual-issue superscalar processors. We achieve a significant speedup in the verification of such processors, compared to the result by Burch [6], while using an entirely automatic tool. Instrumental to our success are exploiting the properties of positive equ...

background: our previous studies revealed anethum graveolens l. caused some changes in female reproductive system that induced infertility. therefore, in this study, oocyte changes as one of probable reasons of infertility were investigated.    methods: in this study, 59 adult female rats were divided into 3 groups of control, low dose (0.5 g/kg) and high dose (5 g/kg) of dill seed aqueous extr...

E VIDENCE has been presented by various investigators that smoking of cigarettes causes transient hyperglycemia in human beings. Haggard and Greenberg,l Caponnette,2 Tbppner,3 Burstein and Goldenberg,4 and Lundberg and Thyselius-Lundberg5 found in nondiabetic habitual smokers an increase in the level of the fasting blood sugar after smoking and a similar effect was produced by intramuscular inj...

The effects of Anethum graveolens L. (dill) extracts on the female reproductive system were studied in 54 Wistar female rats with regular estrous cycle in six groups. The experimental groups were fed with 0.045 g/kg and 0.45 g/kg of aqueous extract, 0.5 g/kg and 5 g/kg of ethanol extract for 10 days. The sham group was fed with solvent and the controls received no treatment. The estrous cycle c...