Molecular motors-based micro- and nano-biocomputation devices

Protein molecular motors, which are natural nano-machines that convert the chemical energy into mechanical work for cellular motion, muscle contraction and cell division, have been integrated in the last decade in primitive nanodevices based on the motility of nano-biological objects in micro- and nano-fabricated structures. However, the motility of microorganisms powered by molecular motors has not been similarly exploited. Moreover, among the proposed devices based on molecular motors, i.e., nanosensors, nano-mechanical devices and nano-imaging devices, biocomputation devices are conspicuously missing. The present contribution discusses, based on the present state of the art nano- and micro-fabrication, the comparative advantages and disadvantages of using nano- and micro-biological objects in future computation devices. (c) 2006 Elsevier B.V. All rights reserved.

Procedure compilation in the refinement calculus

High-level language program compilation strategies can be proven correct by modelling the process as a series of refinement steps from source code to a machine-level description. We show how this can be done for programs containing recursively-defined procedures in the well-established predicate transformer semantics for refinement. To do so the formalism is extended with an abstraction of the way stack frames are created at run time for procedure parameters and variables.

Stoichiometric and kinetic characterisation of Nitrobacter in mixed culture by decoupling the growth and energy generation processes

The growth, maintenance and lysis processes of Nitrobacter were characterised. A Nitrobacter culture was enriched in a sequencing batch reactor (SBR). Fluorescent in situ hybridisation showed that Nitrobacter constituted 73% of the bacterial population. Batch tests were carried out to measure the oxygen uptake rate and/or nitrite consumption rate when both nitrite and CO2 were in excess, and in the absence of either of these two substrates. The results obtained, along with the SBR performance data, allowed the determination of the maintenance coefficient and in situ cell lysis rate of Nitrobacter. Nitrobacter spends a significant amount of energy for maintenance, which varies considerably with the specific growth rate. At maximum growth, Nitrobacter consume nitrite at a rate of 0.042 mgN/mgCOD(biomass)center dot h for maintenance purposes, which increases more than threefold to 0.143 mgN/mgCOD(biomass)center dot h in the absence of growth. In the SBR, where Nitrobacter grew at 40% of its maximum growth rate, a maintenance coefficient of 0.113 mgN/mgCOD center dot h was found, resulting in 42% of the total amount of nitrite being consumed for maintenance. The above three maintenance coefficient values obtained at different growth rates appear to support the maintenance model proposed in Pirt (1982). The in situ lysis rate of Nitrobacter was determined to be 0.07/day under aerobic conditions at 22 C and pH 7.3. Further, the maximum specific growth rate of Nitrobacter was estimated to be 0.02/h (0.48/day). The affinity constant of Nitrobacter with respect to nitrite was determined to be 1.50 mgNO(2)(-)-N/L, independent of the presence or absence of CO2. (c) 2006 Wiley Periodicals, Inc.

The inhibitory effects of free nitrous acid on the energy generation and growth processes of an enriched Nitrobacter culture

The inhibitory effects of nitrite (NO2-)/free nitrous acid (HNO2-FNA) on the metabolism of Nitrobacter were investigated using a method allowing the decoupling of the growth and energy generation processes. A lab-scale sequencing batch reactor was operated for the enrichment of a Nitrobacter culture. Fluorescent in situ hybridization (FISH) analysis showed that 73% of the bacterial population was Nitrobacter. Batch tests were carried out to assess the oxygen and nitrite consumption rates of the enriched culture at low and high nitrite levels, in the presence or absence of inorganic carbon. It was observed that in the absence of CO2, the Nitrobacter culture was able to oxidize nitrite at a rate that is 76% of that in the presence of CO2, with an oxygen consumption rate that is 85% of that measured in the presence of CO2. This enabled the impacts of nitrite/FNA on the catabolic and anabolic processes of Nitrobacter to be assessed separately. FNA rather than nitrite was likely the actual inhibitor to the Nitrobacter metabolism. It was revealed that FNA of up to 0.05 mg HNO2-N center dot L-1 (3.4 mu M), which was the highest FNA concentration used in this study, did not have any inhibitory effect on the catabolic processes of Nitrobacter. However, FNA initiated its inhibition to the anabolic processes of Nitrobacter at approximately 0.011 mg HNO2-N center dot L-1 (0.8 mu M), and completely stopped biomass synthesis at a concentration of approximately 0.023 mg HNO2-N center dot L-1 (1.6 mu M). The inhibitory effect could be described by an empirical inhibitory model proposed in this paper, but the underlying mechanisms remain to be revealed.

Verifying data refinements using a model checker

In this paper, we consider how refinements between state-based specifications (e.g., written in Z) can be checked by use of a model checker. Specifically, we are interested in the verification of downward and upward simulations which are the standard approach to verifying refinements in state-based notations. We show how downward and upward simulations can be checked using existing temporal logic model checkers. In particular, we show how the branching time temporal logic CTL can be used to encode the standard simulation conditions. We do this for both a blocking, or guarded, interpretation of operations (often used when specifying reactive systems) as well as the more common non-blocking interpretation of operations used in many state-based specification languages (for modelling sequential systems). The approach is general enough to use with any state-based specification language, and we illustrate how refinements between Z specifications can be checked using the SAL CTL model checker using a small example.

Incorporating a TEV cleavage site reduces the solubility of nine recombinant mouse proteins

Failure to express soluble proteins in bacteria is mainly attributed to the properties of the target protein itself, as well as the choice of the vector, the purification tag and the linker between the tag and protein, and codon usage. The expression of proteins with fusion tags to facilitate subsequent purification steps is a widely used procedure in the production of recombinant proteins. However, the additional residues can affect the properties of the protein; therefore, it is often desirable to remove the tag after purification. This is usually done by engineering a cleavage site between the tag and the encoded protein that is recognised by a site-specific protease, such as the one from tobacco etch virus (TEV). In this study, we investigated the effect of four different tags on the bacterial expression and solubility of nine mouse proteins. Two of the four engineered constructs contained hexahistidine tags with either a long or short linker. The other two constructs contained a TEV cleavage site engineered into the linker region. Our data show that inclusion of the TEV recognition site directly downstream of the recombination site of the Invitrogen Gateway vector resulted, in a loss of solubility of the nine mouse proteins. Our work suggests that one needs to be very careful when making modifications to expression vectors and combining different affinity and fusion tags and cleavage sites: (c) 2006 Elsevier Inc. All rights reserved.

Stoichiometric and kinetic characterisation of Nitrosomonas sp in mixed culture by decoupling the growth and energy generation processes

A novel method that relies on the decoupling of the energy production and biosynthesis processes was used to characterise the maintenance, cell lysis and growth processes of Nitrosomonas sp. A Nitrosolnonas culture was enriched in a sequencing batch reactor (SBR) with ammonium as the sole energy source. Fluorescent in situ hybridization (FISH) showed that Nitrosomonas bound to the NEU probe constituted 82% of the bacterial population, while no other known ammonium or nitrite oxidizing bacteria were detected. Batch tests were carried out under conditions that both ammonium and CO, were in excess, and in the absence of one of these two substrates. The oxygen uptake rate and nitrite production rate were measured during these batch tests. The results obtained from these batch tests, along with the SBR performance data, allowed the determination of the maintenance coefficient and the in situ cell lysis rate, as well as the maximum specific growth rate of the Nitrosomonas culture. It is shown that, during normal growth, the Nitrosomonas culture spends approximately 65% of the energy generated for maintenance. The maintenance coefficient was determined to be 0.14 - 0.16 mgN mgCOD(biomass)(-1) h(-1), and was shown to be independent of the specific growth rate. The in situ lysis rate and the maximum specific growth rate of the Nitrosomonas culture were determined to be 0.26 and 1.0 day(-1) (0.043 h(-1)), respectively, under aerobic conditions at 30 degrees C and pH7. (c) 2006 Elsevier B.V. All rights reserved.

Why is economics not a complex systems science?

The article argues that economics will have to become a complex systems science before economists can comfortably incorporate institutionalist and evolutionary economics into mainstream theory. The article compares the complex adaptive system of John Foster with that of standard economic theory and illustrates the difference through an examination of familiar production function. The place of neoclassical, Keynesian economics in complex systems is considered. The article concludes that convincing, multiple models have been made possible by the increase in widely available computing power available.

Liberal Democracy and the Inferior 'Other'Other’: Could the peace liberal democracy promises to bring not extend to ‘Others’?

Advocates of liberal democracy argue that its principles and practices contribute directly to peace (at both inter-state and domestic levels). They rely on ideals such as the rule of law, institutional checks and balances on power, an ethos of tolerance, and free market economics to deliver the liberal peace. Liberals, however, overlook three important features embedded in the construction of liberal democracy which can serve to facilitate political violence: 1) the fixed and thus non-negotiable nature of liberal democracy’s core principles, 2) the inferior manner in which it conceives ‘Other’ social orders that do not share its core principles, and 3) the urge to proselytise Others. Together, these constitutive qualities can facilitate moves by leaders of Other groups to argue that liberal democracy threatens ‘their’ preferred identity, and thus its promised peaceful outcomes can be put in doubt.

Rationalization of taro germplam collections in the Pacific Island region using simple sequence repeat (SSR) markers

A regional (Oceania) core collection for taro germplasm has been developed based on phenotypic and molecular characterization. In total, 2199 accessions of taro germplasm have been collected by TaroGen (Taro Genetic Resources: Conservation and Utilisation) from 10 countries in Oceania: Papua New Guinea, Solomon Islands, Vanuatu, New Caledonia, Fiji, Palau, Niue, Tonga, Cook Islands and Samoa. Our objective was to select 10% from each country to contribute to a regional core. The larger collections from Papua New Guinea, Vanuatu and New Caledonia were analysed based on phenotypic characters, and a diverse subset representing 20% of these collections was fingerprinted. A diverse 20% subsample was also taken from the Solomon Islands. All accessions from the other six countries were fingerprinted. In total, 515 accessions were genotyped (23.4% overall) using taro specific simple sequence repeat (SSR) markers. DNA fingerprint data showed that great allelic diversity existed in Papua New Guinea and the Solomon Islands. Interestingly, rare alleles were identified in taros from the Solomon Islands province of Choiseul which were not observed in any of the other collections. Overall, 211 accessions were recommended for inclusion in the final regional core collection based on the phenotypic and molecular characterization.

Integration of sulphate reduction, autotrophic denitrification and nitrification to achieve low-cost excess sludge minimisation for Hong Kong sewage

An integrated anaerobic-aerobic treatment system of sulphate-laden wastewater was proposed here to achieve low sludge production, low energy consumption and effective sulphide control. Before integrating the whole system, the feasibility of autotrophic denitrification utilising dissolved sulphide produced during anaerobic treatment of sulphate rich wastewater was studied here. An upflow anaerobic sludge blanket reactor was operated to treat sulphate-rich synthetic wastewater (TOC = 100 mg/L and sulphate = 500 mg/L) and its effluent with dissolved sulphide and external nitrate solution were fed into an anoxic biofilter. The anaerobic reactor was able to remove 77-85% of TOC at HRT of 3 h and produce 70-90 mg S/L sulphide in dissolved form for the subsequent denitrification. The performance of anoxic reactor was stable, and the anoxic reactor could remove 30 mg N/L nitrate at HRT of 2 h through autotrophic denitrification. Furthermore, sulphur balance for the anoxic filter showed that more than 90% of the removed sulphide was actually oxidised into sulphate, thereby there was no accumulation of sulphur particles in the filter bed. The net sludge productions were approximately 0.15 to 0.18 g VSS/g COD in the anaerobic reactor and 0.22 to 0.31 g VSS/g NO3--N in the anoxic reactor. The findings in this study will be helpful in developing the integrated treatment system to achieve low-cost excess sludge minimisation.

Obtaining highly enriched cultures of candidatus accumulibacter phosphates through alternating carbon sources

Candidatus Accumulibacter Phosphatis is widely considered to be a polyphosphate accumulating organism (PAO) of prime importance in enhanced biological phosphorus removal (EBPR) systems. This organism has yet to be isolated, despite many attempts. Previous studies on the biochemical and physiological aspects of this organism, as well as its response to different EBPR operational conditions, have generally relied on the use of mixed culture enrichments. One frequent problem in obtaining highly enriched cultures of this organism is the proliferation of glycogen accumulating organisms (GAO) that can compete with PAOs for limited carbon sources under similar operational conditions. In this study, Candidatus Accumulibacter Phosphatis has been enriched in a lab-scale bioreactor to a level greater than 90% as quantified by fluorescence in situ hyrbridisation (FISH). This is the highest enrichment of this organism that has been reported thus far, and was obtained by alternating the sole carbon source in the feed between acetate and propionate every one to two sludge ages, and operating the bioreactor within a pH range of 7.0-8.0. Simultaneously, the presence of two known groups of GAOs was eliminated under these operational conditions. Excellent phosphorus removal performance and stability were maintained in this system, where the phosphorous concentration in the effluent was below 0.2 mg/L for more than 7 months. When a disturbance was introduced to this system by adding sludge from an enriched GAO culture, Candidatus Accumulibacter Phosphatis once again became highly enriched, while the GAOs were out-competed. This feeding strategy is recommended for future studies focused on describing the physiology and biochemistry of Accumulibacter, where a highly-enriched culture of this organism is of high importance. (c) 2006 Elsevier Ltd. All rights reserved.