The construction of abstractions is essential for reducing large or innnite state systems to small or nite state systems. Boolean abstractions, where boolean variables replace concrete predicates, are an important class that subsume several abstraction schemes. We show how boolean abstractions can be constructed simply, eeciently, and precisely for innnite state systems while preserving propert...

This study explores the ways in which the affordances of social media not only increase open communication and knowledge sharing, but also promote covert behavior, creating dialectical tensions for distributed workers that must be communicatively managed. Drawing on a case study of the engineering division of a distributed high tech start-up, we find our participants navigate tensions in visibi...

Objective(s) Due to increasing emergence of drug-resistance in Helicobacter pylori isolates, traditional plants are potentially valuable sources of novel anti-H. pylori agents. In this research, anti-H. pylori activity of the organic extracts of twenty native Iranian plants was determined against ten clinical isolates of H. pylori. Materials and Methods Disc diffusion was used to determine th...

conclusions helicobacter pylori infection has a significant effect on platelet count in patients with citp and h. pylori eradication therapy should be considered as an important factor in platelet count recovery in citp patients. results from a total of 23 patients with citp, 43% (10) of the cases were h. pylori positive and after eradication therapy, eight patients (80%) were successfully trea...

Electrical sensitivity of a Boron Nitride Nano Tube (BNNT) was examined toward hydroquinone (C6H4(OH)2), cyanogens (C2N2), methylacetylene (C3H4), ethylacetylene (C4H6), aniline (C6H5NH2), ethanol (C2H5OH), pyrrole (C4H...

This study aimed to identify chemical composition of Thymus kotschyanus essential oil (TKEO) and to evaluate the effects of different doses of TKEO on in vitro gas production, fermentation parameters, acidosis and protozoal population using a completely randomized design with four replicates. Two diets (D1: 100% forage and D2: 30% forage+70% concentrate) were incubated with buffered rumen fluid...

This paper presents a program transformation that removes square roots and divisions from functional programs without recursion, producing code that can be exactly computed. This transformation accepts different subsets of languages as input and it provides a certifying mechanism when the targeted language is Pvs. In this case, we provide a relation between every function definition in the outp...