Much automatic pipeline verification research of the last decade has been based on some form of “Burch-Dill flushing” [BD94]. In this work, we study synchronization-at-retirement, an alternative formulation of correctness for pipelines. In this formulation, the proof obligations can also be verified automatically but have significantly-reduced verification complexity compared to flushing. We pr...

arious immunosuppressive drugs have been mainly used for treatment of inflammatory bowel disease (IBD); however, their side effects and toxicity remain a major clinical concern. As a result, there is an increasing interest in using herbal medicine as an alternative and adjunct treatment in addition to the conventional therapies. As a suitable rabbit colitis model is currently not available, we ...

Introduction Parsley (Petroselinum crispum) is one of herbs the most extensively used as a condiment for garnishing and seasoning, but also in perfumery, and in a larger extent in folk medicine. It is a biennial plant belonging to Apiaceae family (Simon and Quinn, 1988) [11]. Parts used in therapeutics are ripe fruits (seeds), root and aboveground parts of the plant. The curiosity is that parsl...

Abstract Background Research interest in plant essential oils has increased significantly due to their natural properties and consumer demand for safer methods of food preservation. Plants produce large amounts secondary metabolites, which have potential activity against fungal pathogens. This study aimed at screening antifungal effects on citrus Penicillium digitatum , morphological effect fin...