High-density lipoprotein (HDL) particles are characterized by their heterogeneity in composition, structure, and biological properties. In addition to the major structural protein apolipoprotein A1, HDL proteomes and lipidomes show great diversity. Such constituents presumably carry out the multitude of HDL functions, for example, reverse cholesterol transport, antioxidant, anti-inflammatory, a...

In temporal-logic model checking, we verify the correctness of a program with respect to a desired behavior by checking whether a structure that models the program satis es a temporal-logic formula that speci es the behavior. The model-checking problem for the branching-time temporal logic CTL can be solved in linear running time, and model-checking tools for CTL are used successfully in indust...

most of poly aromatic hydrocarbons are stable in marine environment and don’t degrade easily. if they accede to the aquatic animals bodies, they will accumulate in their fat tissues. the toxic effects of these compounds are consisting of carcinogenic, mutagenic and germinal tribulation. hence present study was done with purpose of isolation and identification of naphthalene degrading bacteria a...

BACKGROUND Quality control standards provide a quantity of microorganisms for routine use in microbiology to demonstrate the efficacy of testing methods and culture media. Standards are normally prepared by diluting a culture of microorganisms to obtain a suspension that contains an estimated number of colony-forming units per milliliter. The variability and inaccuracy of these standards increa...