A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

Veterinary parasitology teaching in eastern Australia

There are tendencies in universities globally to change undergraduate teaching in veterinary parasitology. To be able to give considered advice to universities, faculties, governmental bodies and professional societies about a discipline and to establish how particular changes may impact on the quality of a course, is the requirement to record and review its current status. The present paper contributes toward this objective by providing a snap-shot of the veterinary parasitology courses at the Universities of Melbourne, Sydney and Queensland in eastern Australia. It includes a description of the veterinary science curriculum in each institution, and provides an outline of its veterinary parasitology course, including objectives, topics covered, course delivery, student examination procedures and course evaluation. Student contact time in veterinary parasitology during the curriculum is currently higher in Melbourne (183 h) compared with Sydney and Queensland (106-110 h). In the teaching of parasitology, Melbourne adopts a taxonomic approach (in the pre-clinical period) followed by a combined disciplinary and problem-based approach in the clinical semesters, whereas both Sydney and Queensland focus more on presenting parasites on a host species-basis followed by a problem-based approach. (C) 2002 Elsevier Science B.V. All rights reserved.

Crystallization of PNMT, the adrenaline-synthesizing enzyme, is critically dependent on a high protein concentration

Phenylethanolamine N-methyltransferase, PNMT, utilizes the methylating cofactor S-adenosyl-L-methionine to catalyse the synthesis of adrenaline. Human PNMT has been crystallized in complex with an inhibitor and the cofactor product S-adenosyl-L-homocysteine using the hanging-drop technique with PEG 6000 and lithium chloride as precipitant. A critical requirement for crystallization was a high enzyme concentration (>90 mg ml(-1)) and cryocrystallography was used for high-quality data measurement. Diffraction data measured from a cryocooled crystal extend to a resolution of 2.3 Angstrom. Cryocooled crystals belong to space group P4(3)2(1)2 and have unit-cell parameters a = b = 94.3, c = 187.7 Angstrom.

Role of hlx1 in zebrafish brain morphogenesis

hlx1 is a related homeobox gene expressed in a dynamic spatiotemporal expression pattern during development of the zebrafish brain. The homologues of hlx1, mouse dbx1 and Xenopus Xdbx, are known to play a role in the specification of neurons in the spinal cord. However, the role of these molecules in the brain is less well known. We have used two different approaches to elucidate a putative function for hlx1 in the developing zebrafish brain. Blastomeres were injected with either synthetic hlx1 mRNA in gain-of-function experiments or with antisense morpholino oligonucleotides directed against hlx1 in loss-of-function experiments. Mis-expression of hlx1 produced severe defects in brain morphogenesis as a result of abnormal ventricle formation, a phenotype we referred to as fused-brain. These animals also showed a reduction in the size of forebrain neuronal clusters as well as abnormal axon pathfinding. hlx1 antisense morpholinos specifically perturbed hindbrain morphogenesis leading to defects in the integrity of the neuroepithelium. While hindbrain patterning was in the most part unaffected there were select disruptions to the expression pattern of the neurogenic gene Zash1B in specific rhombomeres. Our results indicate multiple roles for hlx1 during zebrafish brain morphogenesis.

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.

Supply chain management as beyond operational efficiency

The orthodoxy of supply chain management (SCM) emphasises competitive advantage through increased operational efficiency and market responsiveness from production and distribution processes into the hands of consumers. It anticipates that future competition will be between chains rather than between firms. While well established in other industry sectors, the SCM concept is newly developed in the Australian agri-food sector. Critical review of the concept has identified key issues of power among channel members, processes of chain initiation and innovation, and the inability of SCM to offer a viable business strategy for some firms. Building on those insights, this paper examines the supply chain concept for horticulture. Horticultural products are characterised by perishability, heterogeneity and lags in production response to market signals. Producers’ profits are vulnerable to quantity, timing of supply and product specification. Many supply chains in smaller industries are loose, fragmented, interwoven, unstable and unique! Firms operating within these environments need an astute understanding of the chains, the hierarchy of channel members and their relative position. Effective business strategies – for individual firms and supply chains - need to be developed and redeveloped to accommodate the dynamic nature of horticulture. Two case studies are discussed as contributions to this early stage of the theoretical development of supply chain management. The SCM concept also has implications for horticultural researchers, involving a wider range of industry stakeholders, technical problems and research skills. As for business management, the usefulness of the concept will depend on its capacity to increase responsiveness to customers’ preferences and customer value.

The Limits of Rational Choice: New Institutionalism in the Test Bed of Central Banking Politics in Australia

This paper tests the explanatory capacities of different versions of new institutionalism by examining the Australian case of a general transition in central banking practice and monetary politics: namely, the increased emphasis on low inflation and central bank independence. Standard versions of rational choice institutionalism largely dominate the literature on the politics of central banking, but this approach (here termed RC1) fails to account for Australian empirics. RC1 has a tendency to establish actor preferences exogenously to the analysis; actors' motives are also assumed a priori; actor's preferences are depicted in relatively static, ahistorical terms. And there is the tendency, even a methodological requirement, to assume relatively simple motives and preference sets among actors, in part because of the game theoretic nature of RC1 reasoning. It is possible to build a more accurate rational choice model by re-specifying and essentially updating the context, incentives and choice sets that have driven rational choice in this case. Enter RC2. However, this move subtly introduces methodological shifts and new theoretical challenges. By contrast, historical institutionalism uses an inductive methodology. Compared with deduction, it is arguably better able to deal with complexity and nuance. It also utilises a dynamic, historical approach, and specifies (dynamically) endogenous preference formation by interpretive actors. Historical institutionalism is also able to more easily incorporate a wider set of key explanatory variables and incorporate wider social aggregates. Hence, it is argued that historical institutionalism is the preferred explanatory theory and methodology in this case.

Mathematical modelling of schistosomiasis japonica: comparison of control strategies in the People's Republic of China

We present the first mathematical model on the transmission dynamics of Schistosoma japonicum. The work extends Barbour's classic model of schistosome transmission. It allows for the mammalian host heterogeneity characteristic of the S. japonicum life cycle, and solves the problem of under-specification of Barbour's model by the use of Chinese data we are collecting on human-bovine transmission in the Poyang Lake area of Jiangxi Province in China. The model predicts that in the lake/marshland areas of the Yangtze River basin: (1) once-early mass chemotherapy of humans is little better than twice-yearly mass chemotherapy in reducing human prevalence. Depending on the heterogeneity of prevalence within the population, targeted treatment of high prevalence groups, with lower overall coverage, can be more effective than mass treatment with higher overall coverage. Treatment confers a short term benefit only, with prevalence rising to endemic levels once chemotherapy programs are stopped (2) depending on the relative contributions of bovines and humans, bovine treatment can benefit humans almost as much as human treatment. Like human treatment, bovine treatment confers a short-term benefit. A combination of human and bovine treatment will dramatically reduce human prevalence and maintains the reduction for a longer period of time than treatment of a single host, although human prevalence rises once treatment ceases; (3) assuming 75% coverage of bovines, a bovine vaccine which acts on worm fecundity must have about 75% efficacy to reduce the reproduction rate below one and ensure mid-term reduction and long-term elimination of the parasite. Such a vaccination program should be accompanied by an initial period of human treatment to instigate a short-term reduction in prevalence, following which the reduction is enhanced by vaccine effects; (4) if the bovine vaccine is only 45% efficacious (the level of current prototype vaccines) it will lower the endemic prevalence, but will not result in elimination. If it is accompanied by an initial period of human treatment and by a 45% improvement in human sanitation or a 30% reduction in contaminated water contact by humans, elimination is then possible. (C) 2002 Elsevier Science B.V. All rights reserved.

The GP problem: quantifying gene-to-phenotype relationships

In this paper we refer to the gene-to-phenotype modeling challenge as the GP problem. Integrating information across levels of organization within a genotype-environment system is a major challenge in computational biology. However, resolving the GP problem is a fundamental requirement if we are to understand and predict phenotypes given knowledge of the genome and model dynamic properties of biological systems. Organisms are consequences of this integration, and it is a major property of biological systems that underlies the responses we observe. We discuss the E(NK) model as a framework for investigation of the GP problem and the prediction of system properties at different levels of organization. We apply this quantitative framework to an investigation of the processes involved in genetic improvement of plants for agriculture. In our analysis, N genes determine the genetic variation for a set of traits that are responsible for plant adaptation to E environment-types within a target population of environments. The N genes can interact in epistatic NK gene-networks through the way that they influence plant growth and development processes within a dynamic crop growth model. We use a sorghum crop growth model, available within the APSIM agricultural production systems simulation model, to integrate the gene-environment interactions that occur during growth and development and to predict genotype-to-phenotype relationships for a given E(NK) model. Directional selection is then applied to the population of genotypes, based on their predicted phenotypes, to simulate the dynamic aspects of genetic improvement by a plant-breeding program. The outcomes of the simulated breeding are evaluated across cycles of selection in terms of the changes in allele frequencies for the N genes and the genotypic and phenotypic values of the populations of genotypes.

Patterning of the vertebrate ventral spinal cord

We review investigations that have lead to a model of how the ventral spinal cord of higher vertebrate embryos is patterned during development. Central to this model is the secreted morphogen protein, Sonic hedgehog. There is now considerable evidence that this molecule acts in a concentration-dependent manner to direct the development of the spinal cord. Recent studies have suggested that two classes of homeodomain proteins are induced by threshold concentrations of Sonic hedgehog. Reciprocal inhibition between the two classes acts to convert the continuous gradient of Sonic hedgehog into defined domains of transcription factor expression. However, a number of aspects of ventral spinal cord patterning remain to be elucidated. Some issues currently under investigation involve temporal aspects of Shh-signalling, the role of other signals in ventral patterning and the characterisation of ventral interneurons. In this review, we discuss the current state of knowledge of these issues and present some preliminary studies aimed at furthering understanding of these processes in spinal cord patterning.

Activation of ion secretion via proteinase-activated receptor-2 in human colon

Proteinase-activated receptor (PAR) type 2 (PAR-2) has been shown to mediate ion secretion in cultured epithelial cells and rat jejunum. With the use of a microUssing chamber, we demonstrate the role of PAR-2 for ion transport in native human colonic mucosa obtained from 30 normal individuals and 11 cystic fibrosis (CF) patients. Trypsin induced Cl- secretion when added to the basolateral but not luminal side of normal epithelia. Activation of Cl- secretion by trypsin was inhibited by indomethacin and was further increased by cAMP in normal tissues but was not present in CF colon, indicating the requirement of luminal CF transmembrane conductance regulator. Effects of trypsin were largely reduced by low Cl-,by basolateral bumetanide, and in the presence of barium or clotrimazole, but not by tetrodotoxin. Furthermore, trypsin-induced secretion was inhibited by the Ca2+-ATPase inhibitor cyclopiazonic acid and in low-Ca2+ buffer. The effects of trypsin were almost abolished by trypsin inhibitor. Thrombin, an activator of PAR types 1, 3, and 4, had no effects on equivalent short-circuit currents. The presence of PAR-2 in human colon epithelium was confirmed by RT-PCR and additional experiments with PAR-2-activating peptide. PAR-2-mediated intestinal electrolyte secretion by release of mast cell tryptase and potentiation of PAR-2 expression by tumor necrosis factor-alpha may contribute to the hypersecretion observed in inflammatory processes such as chronic inflammatory bowel disease.

A genomewide survey of developmentally relevant genes in Ciona intestinalis - IV. Genes for HMG transcriptional regulators, bZip and GATA/Gli/Zic/Snail

Many kinds of transcription factors and regulators play key roles in a variety of developmental processes. In the present survey, genes encoding proteins with conserved HMG-box, bZip domains, and some types of zinc finger motifs were surveyed in the completely sequenced genome of Ciona intestinalis. In the present analysis, 21 HMG-box-containing genes and 26 bZip genes were identified as well as four small groups of zinc finger genes in the Ciona genome. The results also showed that a less redundant set of genes is present in the Ciona genome compared with vertebrate genomes. In addition, cDNA clones for almost all genes identified have been cloned and distributed as a Ciona intestinalis Gene Collection Release I. The present comprehensive analysis therefore provides a means to study the role of these transcription factors in developmental processes of basal chordates.

Expression of anterior Hox genes during larval development of the gastropod Haliotis asinina

We report the spatial expression patterns of five anterior Hox genes during larval development of the gastropod mollusc Haliotis asinina, an unsegmented spiralian lophotrochozoan. Molecular alignments and phylogenetic analysis indicate that these genes are homologues of Drosophila HOM-C genes labial, proboscipedia, zen, Deformed, and Sex combs reduced, the abalone genes are named Has-Hox1, -Hox2, -Hox3, -Hox4, and -Hox5. Has-Hox transcripts are first detected in the free-swimming trochophore larval stage- and restricted to the posttrochal ectoderm. Has-Hox2, -Hox3, and -Hox4 are expressed in bilaterally symmetrical and overlapping patterns in presumptive neuroectodermal cells on the ventral side of the trochophore. Has-Hox1 expression is restricted to a ring of cells on the dorsoposterior surface, corresponding to the outer mantle edge where new larval shell is being synthesized. There appears to be little change in the expression domains of these Has-Hox genes in pre- and posttorsional veliger larvae, with expression maintained in ectodermal and neuroectodermal tissues. Has-Hox2, -Hox3, -Hox4, and-Hox5 appear to be expressed in a colinear manner in the ganglia and connectives in the twisted nervous system. This pattern is not evident in older larvae. Has-Hox1 and-Hox4 are expressed in the margin of the mantle in the posttorsional veliger, suggesting that Hox genes play a role in gastropod shell formation.

Mechanism of mitosis-specific activation of MEK1

Activation of cyclin B-Cdc2 is an absolute requirement for entry into mitosis, but other protein kinase pathways that also have mitotic functions are activated during G(2)/M progression. The MAPK cascade has well established roles in entry and exit from mitosis in Xenopus, but relatively little is known about the regulation and function of this pathway in mammalian mitosis. Here we report a detailed analysis of the activity of all components of the Ras/Raf/MEK/ERK pathway in HeLa cells during normal G(2)/M. The focus of this pathway is the dramatic activation of an endomembrane-associated MEK1 without the corresponding activation of the MEK substrate ERK. This is because of the uncoupling of MEK1 activation from ERK activation. The mechanism of this uncoupling involves the cyclin B-Cdc2-dependent proteolytic cleavage of the N-terminal ERK-binding domain of MEK1 and the phosphorylation of Thr(286). These results demonstrate that cyclin B-Cdc2 activity regulates signaling through the MAPK pathway in mitosis.

Core outcome domains for chronic pain clinical trials: IMMPACT recommendations

Objective. To provide recommendations for the core outcome domains that should be considered by investigators conducting clinical trials of the efficacy and effectiveness of treatments for chronic pain. Development of a core set of outcome domains would facilitate comparison and pooling of data, encourage more complete reporting of outcomes, simplify the preparation and review of research proposals and manuscripts, and allow clinicians to make informed decisions regarding the risks and benefits of treatment. Methods. Under the auspices of the Initiative on Methods, Measurement, and Pain Assessment in Clinical Trials (IMMPACT), 27 specialists from academia. governmental agencies, and the pharmaceutical industry participated in a consensus meeting and identified core outcome domains that should be considered in clinical trials of treatments for chronic pain. Conclusions. There was a consensus that chronic pain clinical trials should assess outcomes representing six core domains: (1) pain, (2) physical functioning, (3) emotional functioning, (4) participant ratings of improvement and satisfaction with treatment, (5) symptoms and adverse events, (6) participant disposition (e.g. adherence to the treatment regimen and reasons for premature withdrawal from the trial). Although consideration should be given to the assessment of each of these domains, there may be exceptions to the general recommendation to include all of these domains in chronic pain trials. When this occurs, the rationale for not including domains should be provided. It is not the intention of these recommendations that assessment of the core domains should be considered a requirement for approval of product applications by regulatory agencies or that a treatment must demonstrate statistically significant effects for all of the relevant core domains to establish evidence of its efficacy. (C) 2003 International Association for the Study of Pain.