Probabilistic program analysis for parallelizing compilers

Parallelizing compilers have difficulty analysing and optimising complex code. To address this, some analysis may be delayed until run-time, and techniques such as speculative execution used. Furthermore, to enhance performance, a feedback loop may be setup between the compile time and run-time analysis systems, as in iterative compilation. To extend this, it is proposed that the run-time analysis collects information about the values of variables not already determined, and estimates a probability measure for the sampled values. These measures may be used to guide optimisations in further analyses of the program. To address the problem of variables with measures as values, this paper also presents an outline of a novel combination of previous probabilistic denotational semantics models, applied to a simple imperative language.

A healthy settings framework: an evaluation and comparison of midwives' responses to addressing domestic violence

Objectives: to compare and contrast how midwives working in either hospital- or community-based settings address domestic violence by evaluating their views on: prevalence of domestic violence; their role in addressing domestic violence; the acceptability of routine enquiry; and barriers encountered in asking clients questions about violence and abuse in pregnancy. Design: a postal survey questionnaire. Setting: Northern Ireland. Study population: 983 hospital and community midwives. Findings: overall, 488 midwives returned a completed questionnaire; a 57% response rate. Comparisons were made using descriptive, inferential statistics and cross-tabulation. Although there were significant differences between hospital- and community-based midwives in relation to domestic violence, both groups of midwives tended to underestimate its prevalence. Key conclusions: the findings suggest that midwives per se identify and respond to a fraction of the cases of domestic abuse in pregnancy, due to lack of confidence, education and training. This reinforces the need for both hospital and community midwives to gain further confidence and an understanding of the many psychosocial factors that surround domestic violence. Implications for practice: healthy settings theory can be used effectively to identify good practice with women who experience domestic violence. Effective investment for health care requires the gaps between hospital- and community-based practice to be bridged, and for work to be integrated.

Parasite diversity, patterns of MHC II variation and olfactory based mate choice in diverging three-spined stickleback ecotypes

Ecological speciation has been the subject of intense research in evolutionary biology but the genetic basis of the actual mechanism driving reproductive isolation has rarely been identified. The extreme polymorphism of the major histocompatibility complex (MHC), probably maintained by parasite-mediated selection, has been proposed as a potential driver of population divergence. We performed an integrative field and experimental study using three-spined stickleback river and lake ecotypes. We characterized their parasite load and variation at MHC class II loci. Fish from lakes and rivers harbor contrasting parasite communities and populations possess different MHC allele pools that could be the result of a combined action of genetic drift and parasite-mediated selection. We show that individual MHC class II diversity varies among populations and is lower in river ecotypes. Our results suggest the action of homogenizing selection within habitat type and diverging selection between habitat types. Finally, reproductive isolation was suggested by experimental evidence: in a flow channel design females preferred assortatively the odor of their sympatric male. This demonstrates the role of olfactory cues in maintaining reproductive isolation between diverging fish ecotypes.

Heritability of immune function in the caterpillar Spodoptera littoralis

Phenoloxidase (PO) is believed to be a key mediator of immune function in insects and has been implicated both in non-self recognition and in resistance to a variety of parasites and pathogens, including baculoviruses and parasitoids. Using larvae of the Egyptian cotton leafworm, Spodoptera littoralis, we found that despite its apparent importance, haemolymph PO activity varied markedly between individuals, even amongst insects reared under apparently identical conditions. Sib-analysis methods were used to determine whether individuals varied genetically in their PO activity, and hence in one aspect of immune function. The heritability estimate of haemolymph PO activity was high (h 2 = 0.690 +/- 0.069), and PO activity in the haemolymph was strongly correlated with PO activity in both the cuticle and midgut; the sites of entry for most parasites and pathogens. Haemolymph PO activity was also strongly correlated with the degree to which a synthetic parasite (a small piece of nylon monofilament) was encapsulated and melanized (r = 0.622 +/- 0.142), suggesting that the encapsulation response is also heritable. The mechanism maintaining this genetic variation has yet to be elucidated.

Genetic differentiation across the social transition in a socially polymorphic sweat bee, Halictus rubicundus

Eusociality is widely considered a major evolutionary transition. The socially polymorphic sweat bee Halictus rubicundus, solitary in cooler regions of its holarctic range and eusocial in warmer parts, is an excellent model organism to address this transition, and specifically the question of whether sociality is associated with a strong barrier to gene flow between phenotypically divergent populations. Mitochondrial DNA (COI) from specimens collected across the British Isles, where both solitary and social phenotypes are represented, displayed limited variation, but placed all specimens in the same European lineage; haplotype network analysis failed to differentiate solitary and social lineages. Microsatellite genetic variability was high and enabled us to quantify genetic differentiation among populations and social phenotypes across Great Britain and Ireland. Results from conceptually different analyses consistently showed greater genetic differentiation between geographically distant populations, independently of their social phenotype, suggesting that the two social forms are not reproductively isolated. A landscape genetic approach revealed significant isolation by distance (Mantel test r = 0.622, p

Molecular dissection of Meis1 reveals 2 domains required for leukemia induction and a key role for Hoxa gene activation

The Hoxa9 and Meis1 genes represent important oncogenic collaborators activated in a significant proportion of human leukemias with genetic alterations in the MLL gene. In this study, we show that the transforming property of Meis1 is modulated by 3 conserved domains, namely the Pbx interaction motif (PIM), the homeodomain, and the C-terminal region recently described to possess transactivating properties. Meis1 and Pbx1 interaction domain-swapping mutants are dysfunctional separately, but restore the full oncogenic activity of Meis1 when cotransduced in primary cells engineered to overexpress Hoxa9, thus implying a modular nature for PIM in Meis1-accelerated transformation. Moreover, we show that the transactivating domain of VP16 can restore, and even enhance, the oncogenic potential of the Meis1 mutant lacking the C-terminal 49 amino acids. In contrast to Meis1, the fusion VP16-Meis1 is spontaneously oncogenic, and all leukemias harbor genetic activation of endogenous Hoxa9 and/or Hoxa7, suggesting that Hoxa gene activation represents a key event required for the oncogenic activity of VP16-Meis1.