In 1994 Alur and Dill introduced timed automata and showed that universality was undecidable there. Since then it has been shown that under certain restrictions the problem becomes decidable. But the frontier between decidability and undecidability is still vast. We aim at narrowing this gap considerably. Our main accomplishment is to prove that universality stays undecidable over weakly monoto...

ion of C programs. In PLDI 01: Programming Language Design and Implementation, pages 203–213. ACM, 2001. 2. S. Das, D. L. Dill, and S. Park. Experience with predicate abstraction. In CAV 99: Computer-Aided Verification, LNCS 1633, pages 160–171. Springer-Verlag, 1999. 3. D. Detlefs, G. Nelson, and J. Saxe. Simplify theorem prover. 4. T.A. Henzinger, R. Jhala, R. Majumdar, G.C. Necula, G. Sutre,...

Different doses of 12 plant extracts and 6 secondary plant metabolites were incubated for 24 h in diluted ruminal fluid with a 50:50 forage:concentrate diet. Treatments were: control (no additive), plant extracts (anise oil, cade oil, capsicum oil, cinnamon oil, clove bud oil, dill oil, fenugreek, garlic oil, ginger oil, oregano oil, tea tree oil, and yucca), and secondary plant metabolites (an...

Dill has been identified as an important spice crop having tremendous medicinal properties and has ubiquitous use in many types of industries like essential oils, pharmaceuticals, cosmetics, perfumery etc. There is entire scope to work on standardize yield and quality attributing character of dill. Following the objective of optimizing plant spacing to optimize the yield of quality seeds and es...

The history of the use of non-ballot voting systems in the US is briefly described. The background of a current controversy is also noted. The differences between DREs as currently used and Internet voting are discussed. The voting process as a human system involving people, procedures and activities as well as machines is stressed. Alternative systems employing ballots are described, and their...

There is a questionable assumption made in the theory and practice of delay-insensitive circuits, as presented by Dill Dil88b] and Burns and Martin BM88]. The problem is illustrated by the following puzzle. Puzzle: Consider an OR gate (see Figure 1) with inputs labeled a and b, and an output labeled c. Suppose that the circuit initially has a = 1, b = 0 and c = 1; The b input then rises, and th...