Free healthy breakfasts in primary schools: A cluster randomised controlled trial of a policy intervention in Wales, UK

Objective: The present study evaluated the impact of a national school programme of universal free healthy breakfast provision in Wales, UK. Design: A cluster randomised controlled trial with repeated cross-sectional design and a 12-month follow-up. Primary outcomes were breakfast skipping, breakfast diet and episodic memory. Secondary outcomes were frequency of eating breakfast at home and at school, breakfast attitudes, rest-of-day diet and class behaviour. Setting: Primary schools in nine local education authority areas. Subjects: A total of 4350 students (aged 9–11 years) at baseline and 4472 at follow-up in 111 schools. Results: Students in intervention schools reported significantly higher numbers of healthy food items consumed at breakfast and more positive attitudes towards breakfast eating at 12 months. Parents in intervention schools reported significantly higher rates of consumption of breakfast at school and correspondingly lower rates of breakfast consumption at home. No other significant differences were found. Conclusions: The intervention did not reduce breakfast skipping; rather, pupils substituted breakfast at home for breakfast at school. However, there were improvements in children’s nutritional intake at breakfast time, if not the rest of the day, and more positive attitudes to breakfast, which may have implications for life-course dietary behaviours. There was no impact on episodic memory or classroom behaviour, which may require targeting breakfast skippers

Causally simple inextendible spacetimes are hole-free

It is shown that causally simple inextendible spacetimes are hole-free, thus confirming the expectation that causal simplicity removes holes from spacetime. This result is optimal in the sense that causal simplicity cannot be weakened to causal continuity. Physically, it means that if there is some partial Cauchy hypersurface which, for some reason, does not fully develop its influence, then there is some discontinuity in the causal relation.Comment: Revtex4, 9 pages. v2: minor correction

Non-spherical collapse of a two fluid star

We obtain the analogue of collapsing Vaidya-like solution to include both a null fluid and a string fluid, with a linear equation of state ($p_{\bot} = k \rho$), in non-spherical (plane symmetric and cylindrically symmetric) anti-de Sitter space-timess. It turns out that the non-spherical collapse of two fluid in anti-de Sitter space-times, in accordance with cosmic censorship, proceed to form black holes, i.e., on naked singularity ever forms, violating hoop conjecture.Comment: 7 pages, RevTeX 4, minor correction

Inhomogeneous Dust Collapse in 5D Einstein-Gauss-Bonnet Gravity

We consider a Lemaitre - Tolman - Bondi type space-time in Einstein gravity with the Gauss-Bonnet combination of quadratic curvature terms, and present exact solution in closed form. It turns out that the presence of the coupling constant of the Gauss-Bonnet terms alpha > 0 completely changes the causal structure of the singularities from the analogous general relativistic case. The gravitational collapse of inhomogeneous dust in the five-dimensional Gauss-Bonnet extended Einstein equations leads to formation of a massive, but weak, timelike singularity which is forbidden in general relativity. Interestingly, this is a counterexample to three conjecture viz. cosmic censorship conjecture, hoop conjecture and Seifert's conjecture.Comment: 8 Latex Pages, 2 EPS figure

Concentric left ventricular remodeling and aortic stiffness: A comparison of obesity and hypertension

Licensed under the Creative Commons Attribution Non-Commercial No Derivatives Licens

Learning a Static Analyzer from Data

To be practically useful, modern static analyzers must precisely model the effect of both, statements in the programming language as well as frameworks used by the program under analysis. While important, manually addressing these challenges is difficult for at least two reasons: (i) the effects on the overall analysis can be non-trivial, and (ii) as the size and complexity of modern libraries increase, so is the number of cases the analysis must handle. In this paper we present a new, automated approach for creating static analyzers: instead of manually providing the various inference rules of the analyzer, the key idea is to learn these rules from a dataset of programs. Our method consists of two ingredients: (i) a synthesis algorithm capable of learning a candidate analyzer from a given dataset, and (ii) a counter-example guided learning procedure which generates new programs beyond those in the initial dataset, critical for discovering corner cases and ensuring the learned analysis generalizes to unseen programs. We implemented and instantiated our approach to the task of learning JavaScript static analysis rules for a subset of points-to analysis and for allocation sites analysis. These are challenging yet important problems that have received significant research attention. We show that our approach is effective: our system automatically discovered practical and useful inference rules for many cases that are tricky to manually identify and are missed by state-of-the-art, manually tuned analyzers

Absorbent products for urinary/faecal incontinence: a comparative evaluation of key product designs

Background: The UK health service, nursing homes and public spend around £94 million per year on incontinence pads (absorbent products) to contain urine and/or faeces, but the research base for making informed choices between different product designs is very weak.Objectives: The aim of this trial was to compare the performance and cost-effectiveness of the key absorbent product designs to provide a more solid basis for guiding selection and purchase.A further aim was to carry out the first stage in the development of a quality of life instrument for measuring the impact of absorbent product use on users' lives.Design: The work involved three clinical trials focusing on the three biggest market sectors. Each trial had a similar crossover design in which each participant tested all products within their group in random order.Settings, participants and methods: In Trial 1, 85 women with light urinary incontinence living in the community tested three products from each of the four design categories available (total of 12 test products): disposable inserts (pads); menstrual pads; washable pants with integral pad; and washable inserts. In Trial 2a, 85 moderate/heavily incontinent adults (urinary or urinary/faecal) living in the community (49 men and 36 women) tested three (or two) products from each of the five design categories available (total of 14 test products): disposable inserts (with mesh pants); disposable diapers (nappies); disposable pull-ups (similar to toddlers' trainer pants); disposable T-shaped diapers (nappies with waist-band); and washable diapers. All products were provided in a daytime and a (mostly more absorbent) night-time variant. In these first two trials, the test products were selected on the basis of data from pilot studies. In Trial 2b, 100 moderate/heavily incontinent adults (urinary or urinary/faecal) living in 10 nursing homes (27 men and 73 women) evaluated one product from each of the four disposable design categories from Trial 2a. Products were selected on the basis of product performance in Trial 2a and, again, daytime and night-time variants were provided. The first phase of work to develop a quality of life tool for measuring the impact of using different pad designs was carried out by interviewing participants from Trials 1 and 2a.Outcome measures: Product performance was characterised using validated questionnaires, which asked the participants (in Trials 1 and 2a) or carers (all participants in Trial 2b, except for the few who could report for themselves) to evaluate various aspects of pad performance (leakage, ease of putting on, discreetness, etc.) using a five-point scale (very good–very poor) at the end of the week (or 2 weeks for Trial 2b) of product testing. In addition, participants/carers were asked to save individual used pads in bags for weighing and to indicate the severity of any leakage from them on a three-point scale (none, a little, a lot). These data were used to determine differences in leakage performance. Numbers of laundry items and pads used were recorded to estimate costs, and skin health changes were recorded by the participant or by the researchers (Trial 2b). At the end of testing, participants were interviewed and ranked their preferences (with and without costs), stated the acceptability of each design (highly acceptable–totally unacceptable) and recorded their overall opinion on a visual analogue scale (VAS) of 0–100 points (worst design–best design). This VAS score was used with product costs to estimate cost-effectiveness. In addition, a timed pad changing exercise was conducted with 10 women from Trial 2b to determine any differences between product designs.Results: Results presented are for statistically and clinically significant findings.<br/

Co-creating “smart” sustainable food futures with urban food growers

The futuristic visions, infrastructures, and developments of smart cities continue to gather pace, with municipal authorities and businesses in the UK investing increasing amounts of resources into their manifestation. At the same time local communities continue to be hard hit by austerity, with more local services being affected by government cuts, with the North-East of England being particularly affected. In this paper we report on a case study that aimed to explore how the top-down, technocentric, and corporate visions of smart cities stand in contrast to the reality of grassroots communities who are dealing with the consequences of austerity. Our case study focuses on a community of urban food growers. We describe our speculative and participatory approach that we devised for co-designing “smart” urban food-growing futures from the bottom-up with local residents in a deprived neighbourhood of Newcastle upon Tyne, and reflect on how they elicited realities and future visions that stand as a counterpoint to the corporate visions of future cities