A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise execution models that successfully realise their abstractions without forfeiting performance or introducing unintended behaviours. This is exemplified by SCOOP---a concurrent object-oriented message-passing language---which has seen multiple semantics proposed and implemented over its evolution. We propose a "semantics workbench" with fully and semi-automatic tools for SCOOP, that can be used to analyse and compare programs with respect to different execution models. We demonstrate its use in checking the consistency of semantics by applying it to a set of representative programs, and highlighting a deadlock-related discrepancy between the principal execution models of the language. Our workbench is based on a modular and parameterisable graph transformation semantics implemented in the GROOVE tool. We discuss how graph transformations are leveraged to atomically model intricate language abstractions, and how the visual yet algebraic nature of the model can be used to ascertain soundness.Comment: Accepted for publication in the proceedings of FASE 2016 (to appear

Behavioral Problems In The Utilization Of New Technology To Control Caries: Patients And Provider Readiness And Motivation

New research developments frequently are neither adopted by providers nor utilized by patients. This dual problem of impacting the behaviors of providers and patients presents a challenge. This paper will present behavioral theories and technologies that can be utilized to impact both provider and patient behaviors

Estimation of In Vivo Water Content of the Stratum Corneum from Electrical Measurements

In vivo water content in the epidermal stratum corneum can be estimated by means of low frequency susceptance measurements. In the in vitro calibration necessary to find the in vivo water content, the stratum corneum will have a uniform distribution of water across its thickness. However, in vivo stratum corneum has an increasing water concentration profile from the outermost towards the innermost parts. This paper will investigate the possibility of estimating the equilibrium water content in the in vivo stratum corneum non-invasively from electrical susceptance measurements. Given a known shape of the water concentration profile in the in vivo stratum corneum and the dependence of susceptance on the water content, it is possible to calculate the water content in vivo based on analytically derived expressions for the water concentration profile. A correspondence between in vivo and in vitro water content needed for this purpose is also established

Clinicians' management strategies for patients with dyspepsia: a qualitative approach

BACKGROUND: Symptoms from the upper gastrointestinal tract are frequently encountered in clinical practice and may be of either organic or functional origin. For some of these conditions, according to the literature, certain management strategies can be recommended. For other conditions, the evidence is more ambiguous. The hypothesis that guided our study design was twofold: Management strategies and treatments suggested by different clinicians vary considerably, even when optimal treatment is clear-cut, as documented by evidence in the literature. Clinicians believe that the management strategies of their colleagues are similar to their own. METHODS: Simulated case histories of four patients with symptoms from the upper gastrointestinal tract were presented to 27 Swedish clinicians who were specialists in medical gastroenterology, surgery, and general practice and worked at three hospitals in the southern part of Sweden. The patients' histories contained information on the patient's sex and age and the localisation of the symptoms, but descriptions of subjective symptoms and findings from examinations differed from history to history. Interviews containing open-ended questions were conducted. RESULTS: For the same patient, the management strategies and treatments suggested by the clinicians varied widely, as did the strategies suggested by clinicians in the same speciality. Variation was more pronounced if the case history noted symptoms but no organic findings than if the case history noted unambiguous findings and symptoms. However, even in cases with a consensus in the scientific literature on treatment, the variations in clinicians' opinion on management were pronounced. CONCLUSION: Despite these variations, the clinicians believed that the decisions made by their colleagues would be similar to their own. The overall results of this study indicate that we as researchers must make scientific evidence comprehensible and communicate evidence so that clinicians are able to interpret and implement it in practice. Of particular significance is that scientific evidence leads to an evidence-based care which is effective clinical practice and to the promotion of health from the perspective of the patient, together with cost-effectiveness as a priority

Infant and child feeding practices: a preliminary investigation

The document attached has been archived with permission from the Australian Dental Association. An external link to the publisher’s copy is included.The objective of this preliminary investigation was to examine the feeding practices of infants and pre-school children in Adelaide, and thereby contribute to the development of appropriate preventive dental strategies. A stratified random sample of 160 two year old and three year old pre-school children in the Adelaide Statistical District was obtained. Information about feeding practices and use of comforters or ‘dummies’ was obtained through a self-administered questionnaire completed by parents of the selected children. Information was collected for the age periods of 0–3 months, 4–6 months, 7–12 months, 13–24 months and 25–36 months. Most of the children (81.8 per cent) were breast-fed at some stage. However the percentage of children being breast-fed decreased markedly across age periods, particularly to 13–24 months, when only 15.9 per cent of children were being breast-fed. Over half of the children had been bottle-fed with infant formula at some stage. The highest percentage of children being bottle-fed with infant formula occurred in the 4–6 months (42.6 per cent) closely followed by the 7–12 months age period (37.4 per cent). Nearly two-thirds of children were bottle-fed with cow's milk at some stage. The highest percentage of children being bottle-fed with cow's milk occurred in the 13–24 months age period (49.6 per cent). A quarter (24.5 per cent) of the children were put to bed at some stage with a bottle containing cariogenic fluids. The majority of children used a ‘dummy’ at some stage during both day-time and night-time. Parents are in need of advice on appropriate feeding patterns for infants and young children.Amjad H. Wyne,A. John Spencer and Fearnley S. Szuste

Stepwise screening for diabetes identifies people with high but modifiable coronary heart disease risk. The ADDITION study

AIMS/HYPOTHESIS: The Anglo-Danish-Dutch study of intensive treatment in people with screen-detected diabetes in primary care (ADDITION) is a pragmatic randomised controlled trial of the effectiveness of intensified multi-factorial treatment on 5 year cardiovascular morbidity and mortality rates in people with screen-detected type 2 diabetes in the Netherlands, UK and Denmark. This paper describes the baseline characteristics of the study population, their estimated risk of coronary heart disease and the extent to which that risk is potentially modifiable. METHODS: Stepwise screening strategies were performed using risk questionnaires and routine general practice data plus random blood glucose, HbA(1c) and fasting blood glucose measurement. Diabetes was diagnosed using the 1999 World Health Organization criteria and estimated 10 year coronary heart disease risk was calculated using the UK Prospective Diabetes Study risk engine. RESULTS: Between April 2001 and December 2006, 3,057 people with screen-detected diabetes were recruited to the study (mean age 59.7 years, 58% men) after a stepwise screening programme involving 76,308 people screened in 334 general practices in three countries. Their median estimated 10 year risk of coronary heart disease was 11% in women (interquartile range 7-16%) and 21% (15-30%) in men. There were differences in the distribution of risk factors by country, linked to differences in approaches to screening and the extent to which risk factors had already been detected and treated. The mean HbA(1c) at recruitment was 7.0% (SD 1.6%). Of the people recruited, 73% had a blood pressure >/=140/90 and of these 58% were not on antihypertensive medication. Cholesterol levels were above 5.0 mmol/l in 70% of participants, 91% of whom were not being treated with lipid-lowering drugs. CONCLUSIONS/INTERPRETATION: People with type 2 diabetes detected by screening and included in the ADDITION study have a raised and potentially modifiable risk of CHD. ClinicalTrials.gov ID no.: NCT 00237549

Expression of the blood-group-related glycosyltransferase B4galnt2 influences the intestinal microbiota in mice

Glycans on mucosal surfaces have an important role in host–microbe interactions. The locus encoding the blood-group-related glycosyltransferase β-1,4-N-acetylgalactosaminyltransferase 2 (B4galnt2) is subject to strong selective forces in natural house-mouse populations that contain a common allelic variant that confers loss of B4galnt2 gene expression in the gastrointestinal (GI) tract. We reasoned that altered glycan-dependent intestinal host–microbe interactions may underlie these signatures of selection. To determine whether B4galnt2 influences the intestinal microbial ecology, we profiled the microbiota of wild-type and B4galnt2-deficient siblings throughout the GI tract using 16S rRNA gene pyrosequencing. This revealed both distinct communities at different anatomic sites and significant changes in composition with respect to genotype, indicating a previously unappreciated role of B4galnt2 in host–microbial homeostasis. Among the numerous B4galnt2-dependent differences identified in the abundance of specific bacterial taxa, we unexpectedly detected a difference in the pathogenic genus, Helicobacter, suggesting Helicobacter spp. also interact with B4galnt2 glycans. In contrast to other glycosyltransferases, we found that the host intestinal B4galnt2 expression is not dependent on presence of the microbiota. Given the long-term maintenance of alleles influencing B4galnt2 expression by natural selection and the GI phenotypes presented here, we suggest that variation in B4galnt2 GI expression may alter susceptibility to GI diseases such as infectious gastroenteritis

Horizontal DNA transfer mechanisms of bacteria as weapons of intragenomic conflict

Horizontal DNA transfer (HDT) is a pervasive mechanism of diversification in many microbial species, but its primary evolutionary role remains controversial. Much recent research has emphasised the adaptive benefit of acquiring novel DNA, but here we argue instead that intragenomic conflict provides a coherent framework for understanding the evolutionary origins of HDT. To test this hypothesis, we developed a mathematical model of a clonally descended bacterial population undergoing HDT through transmission of mobile genetic elements (MGEs) and genetic transformation. Including the known bias of transformation toward the acquisition of shorter alleles into the model suggested it could be an effective means of counteracting the spread of MGEs. Both constitutive and transient competence for transformation were found to provide an effective defence against parasitic MGEs; transient competence could also be effective at permitting the selective spread of MGEs conferring a benefit on their host bacterium. The coordination of transient competence with cell-cell killing, observed in multiple species, was found to result in synergistic blocking of MGE transmission through releasing genomic DNA for homologous recombination while simultaneously reducing horizontal MGE spread by lowering the local cell density. To evaluate the feasibility of the functions suggested by the modelling analysis, we analysed genomic data from longitudinal sampling of individuals carrying Streptococcus pneumoniae. This revealed the frequent within-host coexistence of clonally descended cells that differed in their MGE infection status, a necessary condition for the proposed mechanism to operate. Additionally, we found multiple examples of MGEs inhibiting transformation through integrative disruption of genes encoding the competence machinery across many species, providing evidence of an ongoing "arms race." Reduced rates of transformation have also been observed in cells infected by MGEs that reduce the concentration of extracellular DNA through secretion of DNases. Simulations predicted that either mechanism of limiting transformation would benefit individual MGEs, but also that this tactic's effectiveness was limited by competition with other MGEs coinfecting the same cell. A further observed behaviour we hypothesised to reduce elimination by transformation was MGE activation when cells become competent. Our model predicted that this response was effective at counteracting transformation independently of competing MGEs. Therefore, this framework is able to explain both common properties of MGEs, and the seemingly paradoxical bacterial behaviours of transformation and cell-cell killing within clonally related populations, as the consequences of intragenomic conflict between self-replicating chromosomes and parasitic MGEs. The antagonistic nature of the different mechanisms of HDT over short timescales means their contribution to bacterial evolution is likely to be substantially greater than previously appreciated

Evoked potentials in the Atlantic cod following putatively innocuous and putatively noxious electrical stimulation: a minimally invasive approach

Aspects of peripheral and central nociception have previously been studied through recording of somatosensory evoked potentials (SEPs) to putative noxious stimuli in specific brain regions in a few freshwater fish species. In the present study, we describe a novel, minimally invasive method for recording SEPs from the central nervous system of the Atlantic cod (Gadus morhua). Cutaneous electric stimulation of the tail in 15 fish elicited SEPs at all stimulus intensities (2, 5, 10 and 20 mA) with quantitative properties corresponding to stimulus intensity. In contrast to previous fish studies, the methodological approach used in Atlantic cod in the current study uncovered a number of additional responses that could originate from multiple brain regions. Several of these responses were specific to stimulation at the highest stimulus intensities, possibly representing qualitative differences in central processing between somatosensory and nociceptive stimuli

Long term effects of micro-surgical testicular sperm extraction on androgen status in patients with non obstructive azoospermia

BACKGROUND: The aim of our study was to review the results of microsurgically performed testicular sperm extraction (TESE) and to evaluate its possible long term effects on serum testosterone (T). METHODS: We operated on 48 men (35 +/- 8 years) with non-obstructive azoospermia (NOA). If no spermatozoa were found following a micro epididymal sperm extraction (Silber et al., 1994) and testicular biopsy, testicular microdissection was performed or multiple microsurgical testicular biopsies were taken. The mean follow-up of the serum T was 2.4 +/- 1.1 years. RESULTS: Sperm was retrieved in 17/48 (35%) of the men. The per couple take home baby rate if sperm was retrieved was 4/17 (24%). Serum T decreased significantly at follow-up (p < 0.05) and 5/31 (16%) de novo androgen deficiencies developed CONCLUSION: In patients with non-obstructive azoospermia in whom no spermatozoa were found following a micro epididymal sperm aspiration and a simple testicular biopsy, we were able to retrieve spermatozoa in 35% of the men. The take home baby rate was 24% among couples with spermatozoa present upon TESE. De novo androgen deficiency occurred in 16% of the male patients following TESE indicating that, in men with NOA, long term hormonal follow up is recommended after TESE