Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change

Upright Versus Lying Down Position in Second Stage of Labour in Nulliparous Women With Low Dose Epidural: BUMPES Randomised Controlled Trial

INTERVENTIONS Women were allocated to an upright or lying down position, using a secure web based randomisation service, stratified by centre, with no masking of participants or clinicians to the trial interventions. MAIN OUTCOME MEASURES The primary outcome was spontaneous vaginal birth. Women were analysed in the groups into which they were randomly allocated, regardless of position recorded at any time during the second stage of labour (excluding women with no valid consent, who withdrew, or who did not reach second stage before delivery). Secondary outcomes included mode of birth, perineal trauma, infant Apgar, delivery (adjusted risk ratio 1.08, 99% confidence interval 0.99 to 1.18), obstetric anal sphincter injury (1.27, 0.88 to 1.84), infant Apgar score <4 at five minutes (0.66, 0.06 to 6.88), and maternal faecal incontinence at one year (1.18, 0.61 to 2.28). CONCLUSIONS Evidence shows that lying down in the second stage of labour results in more spontaneous vaginal births in nulliparous women with epidural analgesia, with no apparent disadvantages in relation to short or longer term outcomes for mother or baby

Knowledge-Based Synthesis of Distributed Systems Using Event Structures

To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if the specifications are written in a high-level language that makes it easy for designers to specify their goals. We consider a high-level specification language that results from adding knowledge to a fragment of Nuprl specifically tailored for specifying distributed protocols, called event theory. We then show how high-level knowledge-based programs can be synthesized from the knowledge-based specifications using a proof development system such as Nuprl. Methods of Halpern and Zuck then apply to convert these knowledge-based protocols to ordinary protocols. These methods can be expressed as heuristic transformation tactics in Nuprl.Comment: A preliminary version of this paper appeared in Proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004, pp. 449-46

Migratory Urge and Gill Na(+),K(+)-ATPase Activity of Hatchery-Reared Atlantic Salmon Smolts from the Dennys and Penobscot River Stocks, Maine

Hatchery-reared Atlantic salmon Salmo salar smolts produced from captive-reared Dennys River and sea-run Penobscot River broodstock are released into their source rivers in Maine. The adult return rate of Dennys smolts is comparatively low, and disparity in smolt quality between stocks resulting from genetic or broodstock rearing effects is plausible. Smolt behavior and physiology were assessed during sequential 14-d trials conducted in seminatural annular tanks with circular flow. Migratory urge\u27\u27 (downstream movement) was monitored remotely using passive integrated transponder tags, and gill Na(+),K(+)-ATPase activity was measured at the beginning and end of the trials to provide an index of smolt development. The migratory urge of both stocks was low in early April, increased 20-fold through late May, and declined by the end of June. The frequency and seasonal distribution of downstream movement were independent of stock. In March and April, initial gill Na(+),K(+)-ATPase activities of Penobscot River smolts were lower than those of Dennys River smolts. For these trials, however, Penobscot River smolts increased enzyme activity after exposure to the tank, whereas Dennys River smolts did not, resulting in similar activities between stocks at the end of all trials. There was no clear relationship between migratory urge and gill Na(+),K(+)-ATPase activity. Gill Na(+),K(+)-ATPase activity of both stocks increased in advance of migratory urge and then declined while migratory urge was increasing. Maximum movement was observed from 2 h after sunset through 1 h after sunrise but varied seasonally. Dennys River smolts were slightly more nocturnal than Penobscot River smolts. These data suggest that Dennys and Penobscot River stocks are not markedly different in either physiological or behavioral expression of smolting

Association between weight perception and socioeconomic status among adults in the Seychelles

BACKGROUND: Few studies have examined the association between weight perception and socioeconomic status (SES) in sub-Saharan Africa, and none made this association based on education, occupation and income simultaneously. METHODS: Based on a population-based survey (n = 1255) in the Seychelles, weight and height were measured and self-perception of one's own body weight, education, occupation, and income were assessed by a questionnaire. Individuals were considered to have appropriate weight perception when their self-perceived weight matched their actual body weight. RESULTS: The prevalence of overweight and obesity was 35% and 28%, respectively. Multivariate analysis among overweight/obese persons showed that appropriate weight perception was directly associated with actual weight, education, occupation and income, and that it was more frequent among women than among men. In a model using all three SES indicators together, only education (OR = 2.5; 95% CI: 1.3-4.8) and occupation (OR = 2.3; 95% CI: 1.2-4.5) were independently associated with appropriate perception of being overweight. The OR reached 6.9 [95% CI: 3.4-14.1] when comparing the highest vs. lowest categories of SES based on a score including all SES indicators and 6.1 [95% CI: 3.0-12.1] for a score based on education and occupation. CONCLUSIONS: Appropriately perceiving one's weight as too high was associated with different SES indicators, female sex and being actually overweight. These findings suggest means and targets for clinical and population-based interventions for weight control. Further studies should examine whether these differences in weight perception underlie differences in cognitive skills, healthy weight norms, or body size ideals

Health inequalities in Germany: do regional-level variables explain differentials in cardiovascular risk?

Breckenkamp J, Mielck A, Razum O. Health inequalities in Germany: do regional-level variables explain differentials in cardiovascular risk? BMC Public Health. 2007;7(1): 132.Background: Socioeconomic status is a predictor not only of mortality, but also of cardiovascular risk and morbidity. An ongoing debate in the field of social inequalities and health focuses on two questions: 1) Is individual health status associated with individual income as well as with income inequality at the aggregate (e. g. regional) level? 2) If there is such an association, does it operate via a psychosocial pathway (e.g. stress) or via a ´´neo-materialistic´´ pathway (e.g. systematic under-investment in societal infrastructures)? For the first time in Germany, we here investigate the association between cardiovascular health status and income inequality at the area level, controlling for individual socio-economic status. Methods: Individual-level explanatory variables (age, socio-economic status) and outcome data (body mass index, blood pressure, cholesterol level) as well as the regional-level variable (proportion of relative poverty) were taken from the baseline survey of the German Cardiovascular Prevention Study, a cross-sectional, community-based, multi-center intervention study, comprising six socio-economically diverse intervention regions, each with about 1800 participants aged 25–69 years. Multilevel modeling was used to examine the effects of individual and regional level variables. Results: Regional effects are small compared to individual effects for all risk factors analyzed. Most of the total variance is explained at the individual level. Only for diastolic blood pressure in men and for cholesterol in both men and women is a statistically significant effect visible at the regional level. Conclusion: Our analysis does not support the assumption that in Germany cardiovascular risk factors were to a large extent associated with income inequality at regional level

Tropical biogeomorphic seagrass landscapes for coastal protection:Persistence and wave attenuation during major storms events

The intensity of major storm events generated within the Atlantic Basin is projected to rise with the warming of the oceans, which is likely to exacerbate coastal erosion. Nature-based flood defence has been proposed as a sustainable and effective solution to protect coastlines. However, the ability of natural ecosystems to withstand major storms like tropical hurricanes has yet to be thoroughly tested. Seagrass meadows both stabilise sediment and attenuate waves, providing effective coastal protection services for sandy beaches. To examine the tolerance of Caribbean seagrass meadows to extreme storm events, and to investigate the extent of protection they deliver to beaches, we employed a combination of field surveys, biomechanical measurements and wave modelling simulations. Field surveys of sea- grass meadows before and after a direct hit by the category 5 Hurricane Irma documented that estab- lished seagrass meadows of Thalassia testudinum re- mained unaltered after the extreme storm event. The flexible leaves and thalli of seagrass and calci- fying macroalgae inhabiting the meadows were shown to sustain the wave forces that they are likely to experience during hurricanes. In addition, the seagrass canopy and the complex biogeomorphic landscape built by the seagrass meadows combine to significantly dissipate extreme wave forces, ensuring that erosion is minimised within sandy beach fore- shores. The persistence of the Caribbean seagrass meadows and their coastal protection services dur- ing extreme storm events ensures that a stable coastal ecosystem and beach foreshore is maintained in tropical regions

‘More willing to carry on in the face of adversity’: how beginner teachers facing challenging circumstances experience positive psychology coaching. An interpretative phenomenological analysis

Positive psychology coaching (PPC) is defined as activating positive psychology (PP) in an applied and systematic way through coaching (Passmore, J., & Oades, P. (2014). Positive psychology coaching – A model for coaching practice. The Coaching Psychologist, 10(2), 68–70). Currently studies looking at how PPC is experienced by coachees are limited. While there has been some early success cited in using a PPC approach in professional development in education with adults (Zwart, R. C., Korthagen, F. A. J., & Attema-Noordewier, S. (2014). A strength-based approach to teacher professional development. Professional Development in Education, 41(3), 579–596. https://doi.org/10.1080/19415257.2014.919341) it is not yet known how teachers experience PPC. The purpose of this paper was to gain an understanding of how PPC is experienced by beginner teachers undergoing challenging circumstances. This initial explorative study adopted a qualitative approach using Interpretative Phenomenological Analysis (IPA) (Smith, J., Flowers, P., & Larkin, M. (2009). Interpretative phenomenological analysis: Theory, method and research. Sage). Four superordinate themes emerged: ‘perfectly normal to feel this way’; making sense and ‘joining the dots’; increased positive emotion; and, time to think ‘in an easy-going environment’. Further studies of the application of PPC in educational settings are needed

Area variations in multiple morbidity using a life table methodology.

Analysis of healthy life expectancy is typically based on a binary distinction between health and ill-health. By contrast, this paper considers spatial modelling of disease free life expectancy taking account of the number of chronic conditions. Thus the analysis is based on population sub-groups with no disease, those with one disease only, and those with two or more diseases (multiple morbidity). Data on health status is accordingly modelled using a multinomial likelihood. The analysis uses data for 258 small areas in north London, and shows wide differences in the disease burden related to multiple morbidity. Strong associations between area socioeconomic deprivation and multiple morbidity are demonstrated, as well as strong spatial clustering