A timed extension to DILL (DIgital Logic in LOTOS) is discussed. The extension is based on ETLOTOS (Enhanced Timed LOTOS) and is used to specify timed digital logic. The approach places timing properties in two categories: timing constraints and delays. A parallel-serial model is used to form a timed specification by composing the functionality of a digital component with timing constraints and...

Recently Ehrhard and Regnier have introduced Differential Linear Logic, DiLL for short — an extension of the Multiplicative Exponential fragment of Linear Logic that is able to express non-deterministic computations. The authors have examined the cut-elimination of the promotion-free fragment of DiLL by means of a proofnet-like calculus: differential interaction nets. We extend this analysis to...

The aim of this study was to assess the antiglycation and antioxidant properties of aqueous extract of Anethum graveolens (dill). In the in vivo and in vitro experiments, antioxidant properties, blood glucose, and AGEs formation were determined. Dill extract was given orally to healthy and diabetic rats. Our results illustrated that different concentrations of dill extract (0.125, 0.25, 0.5, an...

INTRODUCTION Mouthrinses have been in use for centuries as breath fresheners, medicaments, and antiseptics. Dill is said to be a good source of calcium, manganese and iron. It contains flavonoids known for their antioxidant, anti-inflammatory, and antiviral properties. Dill can help with microbial infections in the mouth; and its anti-oxidants minimize damage caused by free radicals to the gums...

BACKGROUND Dysmenorrhea has negative effects on women's life. Due to side-effects of chemical drugs, there is growing trend toward herbal medicine. The aim of this study was to assess the effect of Dill compared to mefenamic acid on primary dysmenorrhea. MATERIALS AND METHODS This double-blind, randomized, clinical trial study was conducted on 75 single female students between 18 and 28 years...

This study was designed to assess the application of some edible plants including cayenne, green pepper, parsley, and dill to Kareish cheese and to evaluate the antimicrobial activity of these plant materials against natural microflora, coliforms, molds, and Staphylococcus aureus. Twelve different concentrations of ethanol extract of the plants were prepared for determination of the minimal inh...

ABSTRACT: The commercial development of food products originated from the plants as sources of antioxidants to increase the health benefit and stabilize the food is of current interest. This study was aimed at obtaining dill extract using cold solvent method by three solvents, (methanol, acetone, and hexane) and examining the antioxidant potency and determining the oxidative stability of sunflo...

Acknowledgements: Thank you to Dr. Jennifer Dill for her advice and encouragement throughout my MURP years. Dr. Dill and Dr. Irina Sharkova served as readers on this Field Area Paper. I must also thank my loving wife, who has supported me through the experience that was my FAP.

This paper investigates specification and verification of synchronous circuits using DILL (Digital Logic in LOTOS). After an overview of the DILL approach, the paper focuses on the characteristics of synchronous circuits. A more constrained model is presented for specifying digital components and verifying them. Two standard benchmark circuits are specified using this new model, and analysed by...

The aim of this study is to compare the effects Carnitine, Gensing, Dill and Arginine in lipid peroxidation MDA SOD, GSH antioxidant normal experimentally hydrogen peroxide H2O2 induced oxidative.
 Fifty male rats used age 12-14 weeks weights (300-325 g) divided randomly into 10 groups, included 5 each group as following.
 Control, , Carnitine carnitine + Gensing Dill, Dill+ ,Arginine...