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.

The trematodes of groupers (Serranidae : Epinephelinae) knowledge, nature and evolution

Groupers (Epinephelinae) are prominent marine fishes distributed in the warmer waters of the world. Review of the literature suggests that trematodes are known from only 62 of the 159 species and only 9 of 15 genera; nearly 90% of host-parasite combinations have been reported only once or twice. All 20 families and all but 7 of 76 genera of trematodes found in epinephelines also occur in non-epihephelines. Only 12 genera of trematodes are reported from both the Atlantic-Eastern Pacific and the Indo-West Pacific. Few (perhaps no) species are credibly cosmopolitan but some have wide distributions across the Indo-West Pacific. The hierarchical 'relatedness' of epinephelines as suggested by how they share trematode taxa (families, genera, species) shows little congruence with what is known of their phylogeny. The major determinant of relatedness appears to be geographical proximity. Together these attributes suggest that host-parasite coevolution has contributed little to the evolution of trematode communities of epinephelines. Instead, they appear to have arisen through localized episodes of host-switching, presumably both into and out of the epinephelines. The Epinephelinae may well be typical of most groups of marine fishes both in the extent to which their trematode parasites are known and in that, apparently, co-evolution has contributed little to the evolution of their communities of trematodes.

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.

Spoilage patterns of skim and whole milks

The reason for the reported difference in spoilage behaviour of skim and whole pasteurised milks was investigated The rates of growth of psychrotrophic bacteria were not significantly different in the two milks and the bacterial types. till pseudomonad, present at spoilage were also similar. However. when representative spoilage organisms were cultured into freshly pasteurised skim and whole milks, skim milks exhibited predominantly bitter flavours while whole milk showed mostly sour flavours. The different spoilage, behaviours can be largely explained by greater proteolysis in skim milk than in whole milk. caused by, higher production of protease and greater susceptibility of the protein to protease attack. In addition, lipolysis in whole milk, caused by the substantial quantities of lipase produced by spoilage pseudomonads in this milk. also contributes to the different flavours produced during cold storage of these milk types.

The morals of metaphysics: Kant's 'Groundwork' as intellectual paideia

To approach philosophy as a way of working on the self means to begin not with the experience it clarifies and the subject it discovers, but with the acts of self‐transformation it requires and the subjectivity it seeks to fashion. Commenting on the variety of spiritual exercises to be found in the ancient schools, Pierre Hadot remarks that: Some, like Plutarch’s ethismoi, designed to curb curiosity, anger or gossip, were only practices intended to ensure good moral habits. Others, particularly the meditations of the Platonic tradition, demanded a high degree of mental concentration. Some, like the contemplation of nature as practiced in all philosophical schools, turned the soul toward the cosmos, while still others—rare and exceptional—led to a transfiguration of the personality, as in the experiences of Plotinus. We also saw that the emotional tone and notional content of these exercises varied widely from one philosophical school to another: from the mobilization of energy and consent to destiny of the Stoics, to the relaxation and detachment of the Epicureans, to the mental concentration and renunciation of the sensible world among the Platonists.1 While successfully applied to ancient philosophy,2 this approach has not been widely exploited in the history of philosophy more broadly. There is, however, at least one study of medieval metaphysics in these terms,3 and there are some important discussions of early modern Stoicism and Epicureanism.4 And a recent study of Hume shows the fruitfulness of the approach for Enlightenment philosophy.5 It is all the more surprising then that there seems to have been no serious attempt to approach Kant’s moral philosophy in this way.

Axonal regeneration of retinal ganglion cells after optic nerve pre-lesions and attachment of normal or pre-degenerated peripheral nerve grafts

Axonal regeneration of retinal ganglion cells (RGCs) into a normal or pre-degenerated peripheral nerve graft after an optic nerve pre-lesion was investigated. A pre-lesion performed 1-2 weeks before a second lesion has been shown to enhance axonal regeneration in peripheral nerves (PN) but not in optic nerves (ON) in mammals. The lack of such a beneficial pre-lesion effect may be due to the long delay (1-6 weeks) between the two lesions since RGCs and their axons degenerate rapidly 1-2 weeks following axotomy in adult rodents. The present study examined the effects of the proximal and distal ON pre-lesions with a shortened delay (0-8 days) on axonal regeneration of RGCs through a normal or pre-degenerated PN graft. The ON of adult hamsters was transected intraorbitallv at 2 mm. (proximal lesion) or intracranially at 7 mm (distal lesion) from the optic disc. The pre-lesioned ON was re-transected at 0.5 mm from the disc after 0, 1, 2, 4, or 8 days and a normal or a pre-degenerated PN graft was attached onto the ocular stump. The number of RGCs regenerating their injured axons into the PN graft was estimated by retrograde labeling with FluoroGold 4 weeks after grafting. The number of regenerating RGCs decreased significantly when the delay-time increased in animals with both the ON pre-lesions (proximal or distal) compared to control animals without an ON pre-lesion. The proximal ON pre-lesion significantly reduced the number of regenerating RGCs after a delay of 8 days in comparison with the distal lesion. However, this adverse effect can be overcome, to some degree, by a pre-degenerated PN graft applied 2, 4, or 8 days after the distal ON pre-lesion enhanced more RGCs to regenerate than the normal PN graft. Thus, in order to obtain the highest number of regenerating RGCs, a pre-degenerated PN should be grafted immediately after an ON lesion.

Genotypic variation in proanthocyanidin status in the Leucaena genus

The proanthocyanidin (PA) status of 116 accessions from the Leucaena genus representing 21 species, 6 subspecies, 3 varieties and 4 interspecific hybrids was evaluated under uniform environmental and experimental conditions at Redland Bay, Queensland, Australia in October 1997. The PA content of lyophilized youngest fully expanded leaves was measured spectrophotometrically by the butanol/HCl assay referenced to L. leucocephala ssp. glabrata standard PA and expressed as L. leucocephala ssp. glabrata PA equivalents (LLPAE). Considerable interspecific variation in PA concentration existed within the genus, ranging from 0-339 g LLPAE/kg dry matter (DM). Taxa including L. confertiflora, L. cuspidata, L. esculenta and L. greggii contained very high (> 180 g LLPAE/kg DM) PA concentrations. Similarly, many agronomically superior accessions from L. diversifolia, L. pallida and L. trichandra contained extremely high (up to 250 g LLPAE/kg DM) PA concentrations, although these taxa exhibited wide intraspecific variation in PA content offering the potential to select accessions with lower (120-160 g LLPAE/kg DM) PA content. Commercial cultivars of L. leucocephala ssp. glabrata, known to produce forage of superior quality, contained low amounts of PA (33-39 g LLPAE/kg DM). Artificial interspecific hybrids had PA contents intermediate to those of both parents, Lesser-known taxa. including L. collinsii, L. lanceolata, L. lempirana, L. macrophylla, L. magnifica, L. multicapitula, L. salvadorensis and L. trichodes, contained undetectable to low (0-36 g LLPAE/kg DM) quantities of PA and have potential as parents to breed interspecific hybrids of low PA status and superior forage quality. Extractable PA was the dominant PA component, accounting for 91% of total PA within the genus. Regression analysis of accession ranks from different experiments compared to these results indicated that genetic regulation of Leucaena spp. PA content was consistent (P < 0.01) under different edapho-climatic environments. The distribution of PA within the Leucaena genus did not concur with the predictions of various evolutionary and phylogenetic plant defence theories.

Erotic Literature in Nineteenth-Century Bali

Two nineteenth-century Balinese genres in which the erotic predominates are epic kakawin poetry and tutur (religious manuals) on sexual yoga. The article points to the strong intertextual links between these diverse genres. Through their focus on practical sexual matters and on the pursuit of sexual pleasure as integral to spiritual growth, tutur and kakawin also offer insight into notions of gender and sexuality in nineteenth-century Bali.

Input-driven Language Learning

Input-driven models provide an explicit and readily testable account of language learning. Although we share Ellis's view that the statistical structure of the linguistic environment is a crucial and, until recently, relatively neglected variable in language learning, we also recognize that the approach makes three assumptions about cognition and language learning that are not universally shared. The three assumptions concern (a) the language learner as an intuitive statistician, (b) the constraints on what constitute relevant surface cues, and (c) the redescription problem faced by any system that seeks to derive abstract grammatical relations from the frequency of co-occurring surface forms and functions. These are significant assumptions that must be established if input-driven models are to gain wider acceptance. We comment on these issues and briefly describe a distributed, instance-based approach that retains the key features of the input-driven account advocated by Ellis but that also addresses shortcomings of the current approaches.

Comparison between human and animal isolates of Shiga toxin-producing Escherichia coli O157 from Australia

There is very little human disease associated with enterohaemorrhagic Escherichia coli O157 in Australia even though these organisms are present in the animal population. A group of Australian isolates of E. coli O157:H7 and O157:H- from human and animal sources were tested for the presence of virulence markers and compared by XbaI DNA macrorestriction analysis using pulsed-field gel electrophoresis (PFGE). Each of 102 isolates tested contained the gene eae which encodes the E. coli attaching and effacing factor and all but one carried the enterohaemolysin gene, ehxA, found on the EHEC plasmid. The most common Shiga toxin gene carried was stx(2c), either alone (16%) or in combination with stx(1) (74%) or stx(2) (3%) PFGE grouped the isolates based on H serotype and some clusters were source specific. Australian E. coli O157:H7 and H- isolates from human, animal and meat sources carry all the virulence markers associated with EHEC disease in humans therefore other factors must be responsible for the low rates of human infection in Australia.

The Relative Frequency of the Synthetic End Composite Futures in the Newspaper Quest-France and some Observations on Distribution

Figures on the relative frequency of synthetic and composite future forms in Ouest-France are presented and compared with those of earlier studies on the passé simple and passé composé. The synthetic future is found to be dominant. Possible formal explanations for distribution are found to be inconclusive. Distribution across different text-types is found to be more promising, since contrastive functions of the two forms can be identified in texts where they co-occur. The composite future typically reports new proposals or plans as current news, while the synthetic future outlines details that will be realised at the time of implementation. Both functions are important in dailies, but current news is more often expressed in the present tense at the expense of the composite future.