Abstract We study partial quantifier elimination (PQE) for propositional CNF formulas with existential quantifiers. PQE is a generalization of where one can limit the set clauses taken out scope quantifiers to small subset clauses. The appeal that many verification problems (e.g., equivalence checking and model checking) be solved in terms latter dramatically simpler than full elimination. show...

BACKGROUND Cholera toxin B subunit (CTB) has been extensively considered as an immunogenic and adjuvant protein, but its yield of expression is not satisfactory in many studies. The aim of this study was to compare the expression of native and mutant recombinant CTB (rCTB) in pQE vector. METHODS ctxB fragment from Vibrio cholerae O1 ATCC14035 containing the substitution of mutant ctxB for ami...

This paper examines the issue of the effect of international trade on quality choice by firms in a factor-endowment framework. Factor price equalization implies product quality equalization. In the NorthSouth context it means that the South catches up with the North in product quality due to the competitive pressure from international trade, not because of technology adoption. Free trade may in...

background: toxoplasma gondii is an obligate intracellular parasite and its sexual and asexual cycles, respectively take place in the intestinal epithelial cell of definitive host and tissue of intermediate hosts. congenital toxoplasmosis is more impor tant when the mother acquired the infection during pregnancy period for the first time. serological tests are the only meth ods for diagnosis of...

BACKGROUND Hepatitis C virus (HCV) is a main public health problem causing chronic liver infection and subsequently liver cirrhosis and lethal hepatocellular carcinoma (HCC). Vaccination based on HCV capsid proteins has attracted a special interest for prevention of viral infections. The core protein is a basic and evolutionary most conserved protein, which regulates the cellular processes rela...