We discuss the problems which arise in conformance testing when using the EFSM model as well as the problems which arise when extending the concepts used in FSM testing to EFSM. We characterize the problems of stability and executability of transitions, and see what these mean for generating test sequences. Also, we extend the concept of UIO sequences to EFSM, calling them identifying sequences...

We discuss the problems which arise in conformance testing when using the EFSM model as well as the problems which arise when extending the concepts used in FSM testing to EFSM. We characterize the problems of stability and executability of transitions, and see what these mean for generating test sequences. Also, we extend the concept of UIO sequences to EFSM, calling them identifying sequences...

Previous studies have demonstrated that metal-reducing microorganisms can effectively promote the precipitation and removal of uranium from contaminated groundwater. Microbial communities were stimulated in the acidic subsurface by pH neutralization and addition of an electron donor to wells. In single-well push-pull tests at a number of treated sites, nitrate, Fe(III), and uranium were extensi...

Background: Aflatoxin B1 (AFB1) is a mutagenic and carcinogenic compound mainly produced by the Aspergillus parasiticus, A. flavus, A. nomius, A. tamari, and A. pseudotamarii. AFB1 biodegradation is the most important strategy for reducing AFB1 in plant tissues. Bacteria can deactivate and biodegrade AFB1 for effective detoxification of contaminated products. The present study investigated the ...

in this paper we introduce some new double sequence spaces using the orlicz function andexamine some properties of the resulting sequence spaces.

We and others have uncovered the existence of human T-cell lymphotropic virus type 3 (HTLV-3). We have now generated an HTLV-3 proviral clone. We established that gag, env, pol, pro, and tax/rex as well as minus-strand mRNAs are present in cells transfected with the HTLV-3 clone. HTLV-3 p24(gag) protein is detected in the cell culture supernatant. Transfection of 293T-long terminal repeat (LTR)...

CONTEXT Polymorphism at the insulin gene (INS) variable number of tandem repeat (VNTR) shows variable associations with childhood body mass index (BMI) in different populations. OBJECTIVE The objective of this study was to observe INS VNTR associations with body composition and insulin secretion in children. DESIGN The study was designed as a prospective birth cohort study. PARTICIPANTS A...

It was generally accepted that plants, algae, and phototrophic bacteria use adenosine 5'-phosphosulfate (APS) for assimilatory sulfate reduction, whereas bacteria and fungi use phosphoadenosine 5'-phosphosulfate (PAPS). The corresponding enzymes, APS and PAPS reductase, share 25-30% identical amino acids. Phylogenetic analysis of APS and PAPS reductase amino acid sequences from different organi...

Sulfate-reducing bacterial communities from coastal sediments with a long-term exposure to copper (Cu)-mining residues were studied in lactate enrichments. The toxicity of excess copper may affect sulfate-reducing bacterial communities. Sulfate reduction was monitored by sulfate and organic acid measurements. Molecular diversity was analyzed by 16S rRNA, dissimilatory sulfate reduction dsrAB, a...