The use of the UML specification language for modelling dynamic behaviors of systems is very widespread. UML Statecharts and Collaboration diagrams are widely used to model dynamic behaviors of systems. However, the lack of firm semantics for the UML modeling notations makes the detection of behavioral inconsistencies difficult in the initial phases of development. The use of formal methods mak...

Cowpea is major source of dietary protein in tropical region of the world and damage caused by Callosobruchus maculatus impact negatively on its economic and nutritional values. In Nigeria today, the use of synthetic insecticides has been the major means of protecting stored grains from insect pest infestation. The drawback associated with the use of insecticides has necessitated the search for...

Introduction: The perennial herb Phyllanthus niruri, belonging to the family Euphorbiaceae is commonly known as Bhuiavala in Marathi and possess antibacterial, analgesic, antipyretic, anti-hepatotoxic, antifungal and anthelmintic activity. Objective: The present study was carried out to validate the in vitro anthelmintic activity of hot aqueous whole plant extract of Phyllanthus niruri against ...

Over 100 million bacteria in every milliliter of saliva ranging from more than 500 different species live in our mouths, and dentists recommend we brush our teeth around two to three times a day. Toothpaste companies have developed safe rinses and pastes to prevent tooth decay and gum diseases. The purpose of this experiment was to observe the effects of different toothpastes or rinses on growt...

A kinetic metabolic model describing Catharanthus roseus hairy root growth and nutrition was developed. The metabolic network includes glycolysis, pentose-phosphate pathway, TCA cycle and the catabolic reactions leading to cell building blocks such as amino acids, organic acids, organic phosphates, lipids and structural hexoses. The central primary metabolic network was taken at pseudo-steady s...

background and purpose: airborne fungi are one of the most important agents responsible for triggering allergic reactions such as rhinitis and severe asthma. this study was conducted to analyze and monitor the prevalence and distribution patterns of atmospheric fungal aerosols in the air of qazvin during winter of 2012. materials and methods: in the current descriptive study, the incidence and ...

Abstract In this paper, Timestamp Petri nets – a special kind of timed Petri nets and a Logic of Actions are used to specify process requirements. Petri net implementations of such specifications are used for a better visualization and to prove whether a given realization is sound and complete with respect to a given specification. The theory is applied to the specification of workflow processe...

The infectivity of four species of entomopathogenic nematodes, Steinernema carpocapsae (Weiser) [Breton strain], Steinernema riobrave Cabanillas, Poinar & Raulston [Weslaco strain], Heterorhabditis bacteriophora Poinar [HP88 strain], and Heterorhabditis indica Poinar, Karunakar & David [Coimbatore strain] was examined in the laboratory against two subterranean termites: Reticulitermes flavipes ...

angiotensin ii is a major endocrine hormone that affects directly both vascular smooth muscle and endothelial cells. since vascular reactivity to angiotensin ii changes in more physiological and pathophysiological conditions, the present study was performed to investigate the effect of intraperitoneal administration of angiotensin-converting enzyme inhibitor and captopril (30 and 50 mg kg-1, on...