Learn More
BACKGROUND The proteome reflects the available cellular machinery to deal with nutrients and environmental challenges. The most common E. coli strain BL21 growing in different, commonly employed media was evaluated using a detailed quantitative proteome analysis. RESULTS The presence of preformed biomass precursor molecules in rich media such as Luria(More)
Ubiquinone (Coenzyme Q; abbreviation, UQ) acts as a mobile component of the respiratory chain by playing an essential role in the electron transport system, and has been widely used in pharmaceuticals. The biosynthesis of UQ involves 10 sequential reactions brought about by various enzymes. In this study we have cloned, expressed the decaprenyl diphosphate(More)
Over-production of human soluble B lymphocyte stimulator (hsBLyS) was carried out with four different fed-batch culture strategies using lactose as inducer, instead of IPTG, in a fed-batch culture of Escherichia coli. As lactose acted as both inducer and carbon source, the best and simplest culture strategy was direct feeding of lactose after batch culture,(More)
Osteosarcoma is the most common primary bone malignancy; however, the molecular mechanisms of development are not well understood. Progestin and AdipoQ receptors (PAQR3), a protein specifically localized in the Golgi apparatus, was recently characterized as a new tumor suppressor. Little is known about the expression and function of PAQR3 in osteosarcoma.(More)
Protein production under the control of lac operon regulatory elements using autoinduction is based on diauxic growth of Escherichia coli on lactose after consumption of more preferred carbon substrates. A novel simple and cost-effective defined autoinduction medium using a mixture of glucose, glycerol, and lactose as carbon substrate and NH 4 + as sole(More)
Batch and fed-batch fermentation studies were performed to evaluate the potential of corn steep liquor (CSL)-supplemented acid-hydrolysate of soybean meal (AHSM) as an alternative to yeast extract (YE) for the production of L-lactic acid by Lactobacillus casei LA-04-1. The CSL-supplemented AHSM gave an outstanding result in supporting L-lactic acid(More)
Blood vessel is one of the most important targets encountered during focused ultrasound (FU) therapy. The lasting high temperature caused by continuous FU can result in structural modification of small vessel. For the vessel with a diameter larger than 2mm, convective cooling can significantly weaken the thermal effect of FU. Meanwhile, the continued(More)
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our previous work, we designed a pointer logic system and proposed a framework for developing and verifying safety critical programs. And in this paper, we present the design and(More)
Proof-Carrying Code brings two big challenges to the research field of programming languages. One is to seek more expressive logics or type systems to specify or reason about the properties of low-level or high-level programs. The other is to study the technology of certifying compilation in which the compiler generates proofs for programs with annotations.(More)
Generating sufficient quantities of labeled proteins represents a bottleneck in protein structure determination. A simple protocol for producing heavy isotope as well as selenomethionine (Se-Met)-labeled proteins was developed using T7-based Escherichia coli expression systems. The protocol is applicable for generation of single-, double-, and(More)