It is explained how DILL (Digital Logic in LOTOS) can be used to specify and analyse hardware timing characteristics using ET-LOTOS (Enhanced Timed LOTOS), a timed extension of the ISO standard formal language LOTOS (Language of Temporal Ordering Specification). Hardware component functionality and timing characteristics are rigorously specified and then validated. As will be seen, subtle timin...

From the interpretation of Linear Logic multiplicative disjunction as the ε-product defined by Laurent Schwartz, we construct several models of Differential Linear Logic based on usual mathematical notions of smooth maps. This improves on previous results in [BET] based on convenient smoothness where only intuitionist models were built. We isolate a completeness condition, called k-quasi-comple...

introduction: dill (anethum graveolens), a herb from from umbelliferae, is used traditionally to treat convulsion and increasing milk production. its antimicrobial, antihyperlipidaemic, anti-hypercholesteroaemic effects and gastric acid secretion reducing effect have been reported. the spasmolytic effect of dill fruit on rat uterus has also been shown recently. the aim of present study was to i...

We extend the Burch and Dill flushing technique [6] for formal verification of microprocessors to be applicable to designs where the functional units and memories have multicycle and possibly arbitrary latency. We also show ways to incorporate exceptions and branch prediction by exploiting the properties of the logic of Positive Equality with Uninterpreted Functions [4][5]. We study the modelin...

H-L. M. Cheng, M. A. Haider, M. J. Dill-Macky, J. M. Sweet, J. Trachtenberg, and M. R. Gertner Research Institute & Diagnostic Imaging, The Hospital for Sick Children, Toronto, Ontario, Canada, Medical Biophysics, University of Toronto, Toronto, Ontario, Canada, Medical Imaging, University Health Network and Mount Sinai Hospital, Pathology & Laboratory Medicine, University Health Network, Patho...

The Toxaemias of Late Pregnancy. BROWNE, F. J. (1942), Antenatal and Postnatal Care, 4th ed. London. BROWNE, F. J., and DODDS, G. H. (1939), Brit. Jour. Obs. and Gyn., 46, 443. SHEEHAN, H. L. (1941), ibid., 47, 49. BROWNE, F. J., and DODDS, G. H. (1942), ibid., 49, i. ROBINSON, S. C., and BRUCER, M. (1939), Arch. of Int. Med., 64, 409. ISENHOUR, C. E., KUDER, K., and DILL, L. V. (1942), Am. Jou...

This paper studies stochastic graph models of the WebGraph. We present a new model that describes the WebGraph as an ensemble of different regions generated by independent stochastic processes (in the spirit of a recent paper by Dill et al. [VLDB 2001]). Models such as the Copying Model [17] and Evolving Networks Model [3] are simulated and compared on several relevant measures such as degree a...

conclusions results showed that the boiled anethum graveolens seeds was effective on labor induction. results case group had a significantly better bishop score following the intervention compared to the control group. the mean duration of active phase, second and third stages of labor were significantly lower in the case group. the control group had shorter latent phase than the case group. pa...

Allelopathic effects of plant residues is an important research avenue regarding optimization of rotation systems in agronomy. The aim of this study was to investigate the allelopathic effects of four plant residues, namely, black cumin, dragonhead, dill, and soybean on the germination and growth of wheat (Triticum aestivum) in different cropping systems. Results showed that applicatio...