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)
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)
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)
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)
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)
Pipeline parallelism is a popular parallel programming pattern for emerging applications. However, programming pipelines directly on conventional multithreaded shared memory is difficult and error-prone. We present DStream, a C library that provides high-level abstractions of deterministic threads and streams for simply representing pipeline stage workers(More)