Production of Enzymatically active ketosteroid isomerase following insoluble expression in Escherichia coli

Enzymatically active Delta(5)-3-ketosteroid isomerase (KSI) protein with a C-terminus his(6)-tag was produced following insoluble expression using Escherichia coli. A simple, integrated process was used to extract and purify the target protein. Chemical extraction was shown to be as effective as homogenization at releasing the inclusion body proteins from the bacteria] cells, with complete release taking less than 20 min. An expanded bed adsorption (EBA) column utilizing immobilized metal affinity chromatography (IMAC) was then used to purify the denatured KSI-(His(6)) protein directly from the chemical extract. This integrated process greatly simplifies the recovery and purification of inclusion body proteins by removing the need for mechanical cell disruption, repeated inclusion body centrifugation, and difficult clarification operations. The integrated chemical extraction and EBA process achieved a very high purity (99%) and recovery (89%) of the KSI-(His(6)), with efficient utilization of the adsorbent matrix (9.74 mg KSI-(His(6))/mL adsorbent). Following purification the protein was refolded by dilution to obtain the biologically active protein. Seventy-nine percent of the expressed KSI-(His(6)) protein was recovered as enzymatically active protein with the described extraction, purification, and refolding process. In addition to demonstrating the operation of this intensified inclusion body process, a plate-based concentration assay detecting KSI-(His(6)) is validated. The intensified process in this work requires minimal optimization for recovering novel his-tagged proteins, and further improves the economic advantage of E. coli as a host organism. (c) 2006 Wiley Periodicals, Inc.

Termination of real-time programs: Definitely, definitely not, or maybe

Real-time control programs are often used in contexts where (conceptually) they run forever. Repetitions within such programs (or their specifications) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate. In dealing with real-time programs and their specifications, we need to be able to represent these possibilities, and define suitable refinement orderings. A refinement ordering based on Dijkstra's weakest precondition only copes with the first alternative. Weakest liberal preconditions allow one to constrain behaviour provided the program terminates, which copes with the third alternative to some extent. However, neither of these handles the case when a program does not terminate. To handle this case a refinement ordering based on relational semantics can be used. In this paper we explore these issues and the definition of loops for real-time programs as well as corresponding refinement laws.

Scaleup of wet granulation processes: science not art

Significant advances have been made in the last decade to quantify the process of wet granulation. The attributes of product granules from the granulation process are controlled by a combination of three groups of processes occurring in the granulator: (1) wetting and nucleation, (2) growth and consolidation and (3) breakage and attrition. For the first two of these processes, the key controlling dimensionless groups are defined and regime maps are presented and validated with data from tumbling and mixer granulators. Granulation is an example of particle design. For quantitative analysis, both careful characterisation of the feed formulation and knowledge of operating parameters are required. A key thesis of this paper is that the design, scaleup and operation of granulation processes can now be considered as quantitative engineering rather than a black art. Résumé