Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

A Future for the Past: Rethinking the Garden Suburb

In the quest for sustainability in affluent urban societies we could do much worse than to look again at what the garden suburb attempted to do. Brentham garden suburb in West London, which has recently celebrated its centenary, is a case in point.

Sampling phylogenetic tree space with the generalized Gibbs sampler

The generalized Gibbs sampler (GGS) is a recently developed Markov chain Monte Carlo (MCMC) technique that enables Gibbs-like sampling of state spaces that lack a convenient representation in terms of a fixed coordinate system. This paper describes a new sampler, called the tree sampler, which uses the GGS to sample from a state space consisting of phylogenetic trees. The tree sampler is useful for a wide range of phylogenetic applications, including Bayesian, maximum likelihood, and maximum parsimony methods. A fast new algorithm to search for a maximum parsimony phylogeny is presented, using the tree sampler in the context of simulated annealing. The mathematics underlying the algorithm is explained and its time complexity is analyzed. The method is tested on two large data sets consisting of 123 sequences and 500 sequences, respectively. The new algorithm is shown to compare very favorably in terms of speed and accuracy to the program DNAPARS from the PHYLIP package.

User guide for shock and blast simulation with the OctVCE code (version 3.5+), Department of Mechanical Engineering Report 2007/13

OctVCE is a cartesian cell CFD code produced especially for numerical simulations of shock and blast wave interactions with complex geometries. Virtual Cell Embedding (VCE) was chosen as its cartesian cell kernel as it is simple to code and sufficient for practical engineering design problems. This also makes the code much more ‘user-friendly’ than structured grid approaches as the gridding process is done automatically. The CFD methodology relies on a finite-volume formulation of the unsteady Euler equations and is solved using a standard explicit Godonov (MUSCL) scheme. Both octree-based adaptive mesh refinement and shared-memory parallel processing capability have also been incorporated. For further details on the theory behind the code, see the companion report 2007/12.

Thermogravimetric determination of the carbon dioxide reactivity of char from some New Zealand coals and its association with the inorganic geochemistry of the parent coal

Thermogravimetrically-determined carbon dioxide reactivities of chars formed from New Zealand coals, ranging in rank from lignite to high volatile bituminous, vary from 0.12 to 10.63 mg/h/mg on a dry, ash-free basis. The lowest rank subbituminous coal chars have similar reactivities to the lignite coal chars. Calcium content of the char shows the strongest correlation with reactivity, which increases as the calcium content increases. High calcium per se does not directly imply a high char reactivity. Organically-bound calcium catalyses the conversion of carbon to carbon monoxide in the presence of carbon dioxide, whereas calcium present as discrete minerals in the coal matrix, e.g., calcite, fails to significantly affect reactivity. Catalytic effects of magnesium, iron, sodium and phosphorous are not as obvious, but can be recognised for individual chars. The thermogravimetric technique provides a fast, reliable analysis that is able to distinguish char reactivity differences between coals, which may be due to any of the above effects. Published by Elsevier Science B.V.

On uniquely determining cell-wall material properties with the compression experiment

A finite element model (FEM) of the cell-compression experiment has been developed in dimensionless form to extract the fundamental cell-wall-material properties (i.e. the constitutive equation and its parameters) from experiment force-displacement data. The FEM simulates the compression of a thin-walled, liquid-filled sphere between two flat surfaces. The cell-wall was taken to be permeable and the FEM therefore accounts for volume loss during compression. Previous models assume an impermeable wall and hence a conserved cell volume during compression. A parametric study was conducted for structural parameters representative of yeast. It was shown that the common approach of assuming reasonable values for unmeasured parameters (e.g. cell-wall thickness, initial radial stretch) can give rise to nonunique solutions for both the form and constants in the cell-wall constitutive relationship. Similarly, measurement errors can also lead to an incorrectly defined cell-wall constitutive relationship. Unique determination of the fundamental wall properties by cell compression requires accurate and precise measurement of a minimum set of parameters (initial cell radius, initial cell-wall thickness, and the volume loss during compression). In the absence of such measurements the derived constitutive relationship may be in considerable error, and should be evaluated against its ability to predict the outcome of other mechanical experiments. (C) 1998 Elsevier Science Ltd. All rights reserved.

Interaction of zinc(II) with the cyclic octapeptides, cyclo[Ile(Oxn)-D-Val(Thz)](2) and ascidiacyclamide, a cyclic peptide from Lissoclinum patella

The interactions between zinc salts and the naturally occurring cyclic octapeptide ascidiacyclamide in methanol, as well as a synthetic analogue cyclo[Ile(Oxn)-D-Val(Thz)](2), were monitored by H-1 NMR and CD spectroscopy. Three zinc complexes were identified, their relative amounts depending on the nature of the anion (perchlorate, triflate or chloride) and the presence or absence of base. Binding constants for two of the zinc species were calculated from CD or H-1 NMR spectra, [Zn(L - H)](+) (KZn(L-H) = [Zn(L - H)(+)]/[Zn2+][(L - H)(-)] = 10(7 +/- 2) M-1; 95% methanol/5% water, 298.0 K, NEt3/HClO4 buffer 0.04 M) and [ZnLCl](+) (K-ZnCIL = [ZnCIL+]/[Zn2+][Cl-][L] = 10(7.2) (+/-) (0.1) M-2; d(3)-methanol, 301 K).

Between-year fluctuations in schizophrenia birth rate and associations with the Southern Oscillation Index, cloud cover and sunshine

Our group have recently proposed that low prenatal vitamin D may be a risk-modifying factor for schizophrenia. Climate variability impacts on vitamin D levels in a population via fluctuations in the amount of available UV radiation. In order to explore this hypothesis, we examined fluctuations in the birthrates for people with schizophrenia born between 1920 and 1967 and three sets of variables strongly associated with UV radiation. These included: (a) the Southern Oscillation Index (SOI), a marker of El Nino which is the most prominent meteorological factor that influences Queensland weather: (b) measures of cloud cover and (c) measures of sunshine. Schizophrenia births were extracted from the Queensland Mental Health register and corrected for background population birth rates. Schizophrenia birth rates had several apparently non-random features in common with the SO1. The prominent SO1 fluctuation event that occurred between 1937 and 1943 is congruent with the most prominent fluctuation in schizophrenia birth rates. The relatively flat profile of SOI activity between 1927 and 1936 also corresponds to the flattest period in the schizophrenia time series. Both time series have prominent oscillations in the 3 ~, year range between 1946 and 1960. Significant associations between schizophrenia birth rates and measures of both sunshine and cloud cover were identified,and all three time series shared periodicity in the 3-4 year range. The analyses suggest that the risk of schizophrenia is higher for those born during times of increased cloud cover,reduced sunshine and positive SO1. These ecological analyses provide initial support for the vitamin D hypothesis, however alternative non-genetic candidate exposures also need to be considered. Other sites with year-to-year fluctuations in cloud cover and sunshine should examine patterns of association between these climate variables and schizophrenia birth rates. The Stanley Foundation supported this project.

Exactly solvable quantum spin ladders associated with the orthogonal and symplectic Lie algebras

We extend the results of spin ladder models associated with the Lie algebras su(2(n)) to the case of the orthogonal and symplectic algebras o(2(n)), sp(2(n)) where n is the number of legs for the system. Two classes of models are found whose symmetry, either orthogonal or symplectic, has an explicit n dependence. Integrability of these models is shown for an arbitrary coupling of XX-type rung interactions and applied magnetic field term.

Modeling of hepatic elimination and organ distribution kinetics with the extended convection-dispersion model

The conventional convection-dispersion (also called axial dispersion) model is widely used to interrelate hepatic availability (F) and clearance (Cl) with the morphology and physiology of the liver and to predict effects such as changes in liver blood flow on F and Cl. An extended form of the convection-dispersion model has been developed to adequately describe the outflow concentration-time profiles for vascular markers at both short and long times after bolus injections into perfused livers. The model, based on flux concentration and a convolution of catheters and large vessels, assumes that solute elimination in hepatocytes follows either fast distribution into or radial diffusion in hepatocytes. The model includes a secondary vascular compartment, postulated to be interconnecting sinusoids. Analysis of the mean hepatic transit time (MTT) and normalized variance (CV2) of solutes with extraction showed that the discrepancy between the predictions of MTT and CV2 for the extended and conventional models are essentially identical irrespective of the magnitude of rate constants representing permeability, volume, and clearance parameters, providing that there is significant hepatic extraction. In conclusion, the application of a newly developed extended convection-dispersion model has shown that the unweighted conventional convection-dispersion model can be used to describe the disposition of extracted solutes and, in particular, to estimate hepatic availability and clearance in booth experimental and clinical situations.