In this study, 60 composite samples of dill and onion from two different cultivated areas in Khozestan province, Iran, were collected and analyzed for the presence and determination of lead and cadmium by flame atomic absorption spectrometry. Samples were burned according to AOAC at 450 °C, and the residue was dissolved in nitric acid. Lead and Cadmium contents were determined using calib...

plant tissue culture techniques are used as basic requirement of common plant transformation systems. in most cases of plant transformation, a reproducible regeneration protocol is the limiting step due to long time lasting, specialized facilities and well experienced persons. furthermore, tissue culture procedures induce somaclonal variation among regenerated transgenic plants. therefore, rece...

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...