A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Prediction of coal ash fusion temperatures with the F*A*C*T thermodynamic computer package

This paper outlines research on the processes taking place within the coal mineral matter at high temperatures and development of the relationship between ash fusion temperatures (AFT) and phase equilibria of the coal ash slags. A new thermodynamic database for the Al-Ca-Fe-O-Si system developed by the author was used in conjunction with the thermodynamic computer package F*A*C*T for these purposes. In addition, high temperature experimental studies were undertaken that involved heat treatment and quenching of the ash cones followed by the analyses using different techniques. The study provided new information on the processes taking place during AFT test and demonstrated the validity of the AFTs predictions with F*A*C*T. Examples of practical applications of the AFT prediction method are given in the paper. The results of this study are important not only for the AFT predictions, but also in general for the application of phase equilibrium science to the characterisation of the coal mineral matter interactions at high temperature. (C) 2002 Elsevier Science Ltd. All rights reserved.

An age hardening model for Al-7Si-Mg casting alloys

Yield strength (YS) ageing curves have been modelled for A356 and A357 aluminium casting alloys below the solvus temperature of the main hardening precipitate. Predictions are based on the Shercliff and Ashby methodology (Acta MetaH. Mater. 38 (1990) 1789) for wrought alloys. Differences between strengthening in wrought and cast Al-Si-Mg alloys are considered. A Brinell hardness to YS conversion incorporating strain hardening has been established to enable YS ageing curves to be predicted with reduced experimental effort. (C) 2002 Elsevier Science B.V. All rights reserved.

A cassette ligation strategy with thioether replacement of three Gly-Gly peptide bonds: Total chemical synthesis of the 101 residue protein early pregnancy factor [psi(CH2S)(28-29,56-57,76-77)]

The 101 residue protein early pregnancy factor (EPF), also known as human chaperonin 10, was synthesized from four functionalized, but unprotected, peptide segments by a sequential thioether ligation strategy. The approach exploits the differential reactivity of a peptide-NHCH2CH2SH thiolate with XCH2CO-peptides, where X = Cl or I/Br. Initial model studies with short functionalized (but unprotected) peptides showed a significantly faster reaction of a peptide-NHCH2CH2SH thiolate with a BrCH2CO-peptide than with a CICH2CO-peptide, where thiolate displacement of the halide leads to chemoselective formation of a thioether surrogate for the Gly-Gly peptide bond. This rate difference was used as the basis of a novel sequential ligation approach to the synthesis of large polypeptide chains. Thus, ligation of a model bifunctional N-alpha-chloroacetyl, C-terminal thiolated peptide with a second N-alpha-bromoacetyl peptide demonstrated chemoselective bromide displacement by the thiol group. Further investigations showed that the relatively unreactive N-alpha-chloroacetyl peptides could be activated by halide exchange using saturated KI solutions to yield the highly reactive No-iodoacetyl peptides. These findings were used to formulate a sequential thioether ligation strategy for the synthesis of EPF, a 101 amino acid protein containing three Gly-Gly sites approximately equidistantly spaced within the peptide chain. Four peptide segments or cassettes comprising the EPF protein sequence (BrAc-[EPF 78-101] 12, ClAc-[EPF 58-75]-[NHCH2CH2SH] 13, ClAc-[EPF 30-55]-[NHCH2CH2SH] 14, and Ac-[EPF 1-27]-[NHCH2CH2SH] 15) of EPF were synthesized in high yield and purity using Boc SPPS chemistry. In the stepwise sequential ligation strategy, reaction of peptides 12 and 13 was followed by conversion of the N-terminal chloroacetyl functional group to an iodoacetyl, thus activating the product peptide for further ligation with peptide 14. The process of ligation followed by iodoacetyl activation was repeated to yield an analogue of EPF (EPF psi(CH2S)(28-29,56-57,76-77)) 19 in 19% overall yield.

Mapping Gray's model of personality onto the Eysenck Personality Profiler (EPP)

The aim of this study was to determine how well Gray's model of personality [Gray, J.A. (1982). The neuropsychology of anxiety: an enquiry into the functions of the septo-hippocampal system. Oxfords: Oxford University Press, Gray, J.A. (1987). The psychology of fear and stress. Cambridge: Cambridge University Press], as measured by the Gray Wilson Personality Questionnaire (GWPQ), can provide a full description of personality as measured by the primary scales of the Eysenck Personality Profiler (EPP) and the type scales of the short version or the EPQ-R. Factor analysis of the GWPQ the Anxiety and linpulsivity scales of the EPP and the Learning Styles Questionnaire (LSQ) showed that the GWPQ seemed to measure general activation and inhibition factors, but not the finer features of Gray's theory. When the GWPQ scales were regressed against each scale of the EPP., it was round that they generally provide only a reasonable explanation of the EPP primary scales. It is concluded that the GWPQ measures general propel-ties of Gray's model, that the linpulsivity and Anxiety scales of the EPP also scent related to the GWPQ scales, and that Gray's model of personality provides only a partial explanation of personality in general. (C) 2002 Published by Elsevier Science Ltd. All rights reserved.

Peroxisome proliferator-activated receptor alpha in the human breast cancer cell lines MCF-7 and MDA-MB-231

Peroxisome proliferator-activated receptor (PPAR) alpha is a ligand-activated transcription factor that has been linked with rodent hepatocarcinogenesis. It has been suggested that PPARalpha mRNA expression levels are an important determinant of rodent hepatic tumorigenicity. Previous work in rat mammary gland epithelial cells showed significantly increased PPARalpha mRNA expression in carcinomas, suggesting the possible role of this isoform in rodent mammary gland carcinogenesis. In this study we sought to determine whether PPARalpha is expressed and dynamically regulated in human breast cancer MCF-7 and MDA-MB-231 cells. Having established the presence of PPARalpha in both cell types, we then examined the consequence of PPARa activation, by its ligands Wy-14,643 and clofibrate, on proliferation. With real-time reverse transcriptase-polymerase chain reaction, we showed that PPARalpha mRNA was dynamically regulated in MDA-MB-231 cells and that PPARalpha activation significantly increased proliferation of the cell line. In contrast, PPARalpha expression in MCF-7 cells did not change with proliferation during culture and was present at significantly lower levels than in MDA-MB-231 cells. However, PPARalpha ligand activation still significantly increased the proliferation of MCF-7 cells. The promotion of proliferation in breast cancer cell lines following PPARalpha activation was in stark contrast to the effects of PPARgamma-activating ligands that decrease proliferation in human breast cancer cells. our results established the presence of PPARalpha in human breast cancer cell lines and showed for the first time that activation of PPARalpha in human breast cancer cells promoted proliferation. Hence, this pathway may be significant in mammary gland tumorigenesis. (C) 2002 Wiley-Liss, Inc.

Characterization of the retinoid orphan-related receptor-alpha coactivator binding interface: A structural basis for ligand-independent transcription

The retinoid orphan-related receptor-alpha (RORalpha) is a member of the ROR subfamily of orphan receptors and acts as a constitutive activator of transcription in the absence of exogenous ligands. To understand the basis of this activity, we constructed a homology model of Rill using the closely related TRbeta as a template. Molecular modeling suggested that bulky hydrophobic side chains occupy the RORa ligand cavity leaving a small but distinct cavity that may be involved in receptor stabilization. This model was subject to docking simulation with a receptor-interacting peptide from the steroid receptor coactivator, GR-interacting protein-1, which delineated a coactivator binding surface consisting of the signature motif spanning helices 3-5 and helix 12 [activation function 2 (AF2)]. Probing this surface with scanning alanine mutagenesis showed structural and functional equivalence between homologous residues of RORalpha and TRbeta. This was surprising (given that Rill is a ligand-independent activator, whereas TRbeta has an absolute requirement for ligand) and prompted us to use molecular modeling to identify differences between Rill and TRbeta in the way that the All helix interacts with the rest of the receptor. Modeling highlighted a nonconserved amino acid in helix 11 of RORa (Phe491) and a short-length of 3.10 helix at the N terminus of AF2 which we suggest i) ensures that AF2 is locked permanently in the holoconformation described for other liganded receptors and thus 2) enables ligand-independent recruitment of coactivators. Consistent with this, mutation of RORa Phe491 to either methionine or alanine (methionine is the homologous residue in TRbeta), reduced and ablated transcriptional activation and recruitment of coactivators, respectively. Furthermore, we were able to reconstitute transcriptional activity for both a deletion mutant of Ill lacking All and Phe491 Met, by overexpression of a GAL-AF2 fusion protein, demonstrating ligand-independent recruitment of AF2 and a role for Phe491 in recruiting AF2.

Robust model-order reduction of complex biological processes

This paper addresses robust model-order reduction of a high dimensional nonlinear partial differential equation (PDE) model of a complex biological process. Based on a nonlinear, distributed parameter model of the same process which was validated against experimental data of an existing, pilot-scale BNR activated sludge plant, we developed a state-space model with 154 state variables in this work. A general algorithm for robustly reducing the nonlinear PDE model is presented and based on an investigation of five state-of-the-art model-order reduction techniques, we are able to reduce the original model to a model with only 30 states without incurring pronounced modelling errors. The Singular perturbation approximation balanced truncating technique is found to give the lowest modelling errors in low frequency ranges and hence is deemed most suitable for controller design and other real-time applications. (C) 2002 Elsevier Science Ltd. All rights reserved.

Macrophages, myofibroblasts and neointimal hyperplasia after coronary artery injury and repair

Macrophages participate in the restenosis process through the release of cytokines, metalloproteinases and growth factors. Studies of peritoneal granulation tissue suggest that macrophages may be precursors of myofibroblasts. This study examined the contribution of monocyte/macrophage lineage cells to neointimal cellular mass in a porcine model of thermal vascular injury. Thermal coronary artery injury caused medial smooth muscle cell necrosis and transformation of the media into an extracellular matrix barrier. The neointimal hyperplasia that developed over the injury sites was evaluated by light microscopy, electron microscopy and immunohistochemistry. At day 3, blood monocytes were adhered to the vessel wall and infiltrated the fibrotic media. At day 14, 42 +/- 3.9% of neointimal cells had a monocytic nuclear morphology and expressed macrophage-specific antigen SWC3 (identified by monoclonal antibody DH59B). Moreover, 9.2+/-1.8% of neointimal cells co-expressed SWC3 and alpha-smooth muscle actin and had ultrastructural characteristics intermediate between macrophages and myofibroblasts. At day 28, 10.5 +/- 3.5%, of cells expressed SWC3 and 5.2+/-1.8% of cells co-expressed SWC3 and alpha-smooth muscle actin. This study indicates that hematopoietic cells of monocyte/macrophage lineage abundantly populate the neointima in the process of lesion formation and may be precursors of neointimal myofibroblasts after thermal vascular injury. (C) 2002 Elsevier Science Ireland Ltd. All rights reserved.

Effect of weight reduction on liver histology and biochemistry in patients with chronic hepatitis C

Background: Steatosis occurs in more than 50% of patients with chronic hepatitis C and is associated with increased hepatic fibrosis. In many of these patients the pathogenesis of steatosis appears to be the some as for patients with non-alcoholic fatty liver disease-that is, related to visceral adiposity and obesity. Methods: The effect of a three month weight reduction programme on liver biochemistry and metabolic parameters was examined in 19 subjects with steatosis and chronic hepatitis C. Paired liver biopsies were performed in 10 subjects, prior to and 3-6 months following the intervention, to determine the effect of weight loss on liver histology. Results: There was a mean weight loss of 5.9 (3.2) kg and a mean reduction in waist circumference of 9.0 (5.0) cm. In 16 of the 19 patients, serum alanine aminotransferase levels fell progressively with weight loss. Mean fasting insulin fell from 16 (7) to 11 (4) mmol/l (p

Application of the maximum entropy method to the (2 + 1)D four-fermion model

We investigate spectral functions extracted using the maximum entropy method from correlators measured in lattice simulations of the (2+1)-dimensional four-fermion model. This model is particularly interesting because it has both a chirally broken phase with a rich spectrum of mesonic bound states and a symmetric phase where there are only resonances. In the broken phase we study the elementary fermion, pion, sigma, and massive pseudoscalar meson; our results confirm the Goldstone nature of the π and permit an estimate of the meson binding energy. We have, however, seen no signal of σ→ππ decay as the chiral limit is approached. In the symmetric phase we observe a resonance of nonzero width in qualitative agreement with analytic expectations; in addition the ultraviolet behavior of the spectral functions is consistent with the large nonperturbative anomalous dimension for fermion composite operators expected in this model.

Development of a generic crop model template in the cropping system model APSIM

The Agricultural Production Systems slMulator, APSIM, is a cropping system modelling environment that simulates the dynamics of soil-plant-management interactions within a single crop or a cropping system. Adaptation of previously developed crop models has resulted in multiple crop modules in APSIM, which have low scientific transparency and code efficiency. A generic crop model template (GCROP) has been developed to capture unifying physiological principles across crops (plant types) and to provide modular and efficient code for crop modelling. It comprises a standard crop interface to the APSIM engine, a generic crop model structure, a crop process library, and well-structured crop parameter files. The process library contains the major science underpinning the crop models and incorporates generic routines based on physiological principles for growth and development processes that are common across crops. It allows APSIM to simulate different crops using the same set of computer code. The generic model structure and parameter files provide an easy way to test, modify, exchange and compare modelling approaches at process level without necessitating changes in the code. The standard interface generalises the model inputs and outputs, and utilises a standard protocol to communicate with other APSIM modules through the APSIM engine. The crop template serves as a convenient means to test new insights and compare approaches to component modelling, while maintaining a focus on predictive capability. This paper describes and discusses the scientific basis, the design, implementation and future development of the crop template in APSIM. On this basis, we argue that the combination of good software engineering with sound crop science can enhance the rate of advance in crop modelling. Crown Copyright (C) 2002 Published by Elsevier Science B.V. All rights reserved.

Application of the Williams-Landel-Ferry model to the viscosity-temperature relationship of Australian honeys

The rheological behaviour of nine unprocessed Australian honeys was investigated for the applicability of the Williams-Landel-Ferry (WLF) model. The viscosity of the honeys was obtained over a range of shear rates (0.01-40 s(-1)) from 2degrees to 40 degreesC, and all the honeys exhibited Newtonian behaviour with viscosity reducing as the temperature was increased. The honeys with high moisture were of lower viscosity, The glass transition temperatures of the honeys, as measured with a differential scanning calorimeter (DSC), ranged from -40degrees to -46 degreesC, and four models (WLF. Arrhenius, Vogel-Tammann-Fulcher (VTF), and power-law) were investigated to describe the temperature dependence of the viscosity. The WLF was the most suitable and the correlation coefficient averaged 0.999 +/- 0.0013 as against 0.996 +/- 0.0042 for the Arrhenius model while the mean relative deviation modulus was 0-12% for the WLF model and 10-40% for the Arrhenius one. With the universal values for the WLF constants, the temperature dependence of the viscosity was badly predicted. From non-linear regression analysis, the constants of the WLF models for the honeys were obtained (C-1 = 13.7-21.1: C-2 = 55.9-118.7) and are different from the universal values. These WLF constants will be valuable for adequate modeling of the rheology of the honeys, and they can be used to assess the temperature sensitivity of the honeys. (C) 2002 Elsevier Science Ltd. All rights reserved.