Graph-Based Shape Analysis Beyond Context-Freeness

We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to guide concretization and abstraction. This novel extension of context-free graph grammars is powerful enough to model complex data structures such as balanced binary trees with parent pointers, while preserving most desirable properties of context-free graph grammars. One strength of our analysis is that no artifacts apart from grammars are required from the user; it thus offers a high degree of automation. We implemented our analysis and successfully applied it to various programs manipulating AVL trees, (doubly-linked) lists, and combinations of both

Monitoring wild animal communities with arrays of motion sensitive camera traps

Studying animal movement and distribution is of critical importance to addressing environmental challenges including invasive species, infectious diseases, climate and land-use change. Motion sensitive camera traps offer a visual sensor to record the presence of a broad range of species providing location -specific information on movement and behavior. Modern digital camera traps that record video present new analytical opportunities, but also new data management challenges. This paper describes our experience with a terrestrial animal monitoring system at Barro Colorado Island, Panama. Our camera network captured the spatio-temporal dynamics of terrestrial bird and mammal activity at the site - data relevant to immediate science questions, and long-term conservation issues. We believe that the experience gained and lessons learned during our year long deployment and testing of the camera traps as well as the developed solutions are applicable to broader sensor network applications and are valuable for the advancement of the sensor network research. We suggest that the continued development of these hardware, software, and analytical tools, in concert, offer an exciting sensor-network solution to monitoring of animal populations which could realistically scale over larger areas and time spans

Quantifying levels of animal activity using camera-trap data

1. Activity level (the proportion of time that animals spend active) is a behavioural and ecological metric that can provide an indicator of energetics, foraging effort and exposure to risk. However, activity level is poorly known for free-living animals because it is difficult to quantify activity in the field in a consistent, cost-effective and non-invasive way. 2. This paper presents a new method to estimate activity level with time-of-detection data from camera-traps (or more generally any remote sensors), fitting a flexible circular distribution to these data in order to describe the underlying activity schedule, and calculating overall proportion of time active from this. 3. Using simulations and a case study for a range of small to medium-sized mammal species, we find that activity level can reliably be estimated using the new method. 4. The method depends on the key assumption that all individuals in the sampled population are active at the peak of the daily activity cycle. We provide theoretical and empirical evidence suggesting that this assumption is likely to be met for many species, but may be less likely in large predators, or in high latitude winters. Further research is needed to establish stronger evidence on the validity of this assumption in specific cases, however, the approach has the potential to provide an effective, non invasive alternative to existing methods for quantifying population activity levels

A randomised controlled trial of oxygen therapy on growth and development of preterm infants

Background: Physiological studies have shown that many preterm infants and infants with chronic lung disease may suffer chronic hypoxaemia, which possibly leads to poor growth and development. Anecdotal reports indicate that there is a drive to increase the oxygen saturation target range to a higher level in these infants due primarily to perceived benefits derived from clinical experience and from uncontrolled observational studies of babies discharged on home oxygen. Objective The BOOST (Benefits Of Oxygen Saturation Targeting) trial is the first randomised trial to assess the long-term benefits and harms of two different oxygen saturation target ranges. Methods: BOOST was a multicentre, double blinded, randomised controlled trial that enrolled 358 infants born at less than 30 weeks� gestation who remained oxygen-dependent at 32 weeks postmenstrual age. They were randomly assigned to target either a functional oxygen saturation range of 91-94% (standard or control group) or 95-98% (higher or treatment group). The primary outcomes were growth and neurodevelopmental measures at 12 months corrected age. Secondary outcomes included length of hospital stay, retinopathy of prematurity, health service utilisation, parental stress, and infant temperament. Results: Prognostic baseline characteristics did not differ between the two groups. Mean birth weight and gestational age of enrolled infants was 917g and 26.5 weeks respectively. The rate of antenatal corticosteroid use was 83%

Carotid stenting: is there an operator effect? A pooled analysis from the carotid stenting trialists' collaboration.

BACKGROUND AND PURPOSE: Randomized clinical trials show higher 30-day risk of stroke or death after carotid artery stenting compared with surgery. We examined whether operator experience is associated with 30-day risk of stroke or death in the Carotid Stenting Trialists' Collaboration database. METHODS: The Carotid Stenting Trialists' Collaboration is a pooled individual patient database including all patients recruited in 3 randomized trials of stenting versus endarterectomy for symptomatic carotid stenosis (Endarterectomy Versus Angioplasty in patients with Symptomatic Severe Carotid Stenosis trial, Stent-Protected Angioplasty versus Carotid Endarterectomy trial, and International Carotid Stenting Study). Lifetime carotid artery stenting experience, lifetime experience in stenting procedures excluding the carotid, and annual number of procedures performed within the trial (in-trial volume), divided into tertiles, were used to measure operator experience. The outcome event was the occurrence of any stroke or death within 30 days of the procedure. The analysis was done per protocol. RESULTS: Among 1546 patients who underwent carotid artery stenting, 120 (7.8%) had a stroke or death within 30 days of the procedure. The 30-day risk of stroke or death did not differ according to operator lifetime carotid artery stenting experience (P=0.8) or operator lifetime stenting experience excluding the carotid (P=0.7). In contrast, the 30-day risk of stroke or death was significantly higher in patients treated by operators with low (mean ≤3.2 procedures/y; risk 10.1%; adjusted risk ratio=2.30 [1.36-3.87]) and intermediate annual in-trial volumes (3.2-5.6 procedures/y; 8.4%; adjusted risk ratio=1.93 [1.14-3.27]) compared with patients treated by high annual in-trial volume operators (>5.6 procedures/y; 5.1%). CONCLUSIONS: Carotid stenting should only be performed by operators with annual procedure volume ≥6 cases per year

Whole home exercise intervention for depression in older care home residents (the OPERA study) : a process evaluation

Background: The ‘Older People’s Exercise intervention in Residential and nursing Accommodation’ (OPERA) cluster randomised trial evaluated the impact of training for care home staff together with twice-weekly, physiotherapist-led exercise classes on depressive symptoms in care home residents, but found no effect. We report a process evaluation exploring potential explanations for the lack of effect. Methods: The OPERA trial included over 1,000 residents in 78 care homes in the UK. We used a mixed methods approach including quantitative data collected from all homes. In eight case study homes, we carried out repeated periods of observation and interviews with residents, care staff and managers. At the end of the intervention, we held focus groups with OPERA research staff. We reported our first findings before the trial outcome was known. Results: Homes showed large variations in activity at baseline and throughout the trial. Overall attendance rate at the group exercise sessions was low (50%). We considered two issues that might explain the negative outcome: whether the intervention changed the culture of the homes, and whether the residents engaged with the intervention. We found low levels of staff training, few home champions for the intervention and a culture that prioritised protecting residents from harm over encouraging activity. The trial team delivered 3,191 exercise groups but only 36% of participants attended at least 1 group per week and depressed residents attended significantly fewer groups than those who were not depressed. Residents were very frail and therefore most groups only included seated exercises. Conclusions: The intervention did not change the culture of the homes and, in the case study homes, activity levels did not change outside the exercise groups. Residents did not engage in the exercise groups at a sufficient level, and this was particularly true for those with depressive symptoms at baseline. The physical and mental frailty of care home residents may make it impossible to deliver a sufficiently intense exercise intervention to impact on depressive symptoms

Communication in production animal medicine: modelling a complex interaction with the example of dairy herd health medicine

<p>Abstract</p> <p>Background</p> <p>The importance of communication skills in veterinary medicine is increasingly recognised. Appropriate communication skills towards the client are of utmost importance in both companion animal practice and production animal field and consultancy work. The need for building a relationship with the client, alongside developing a structure for the consultation is widely recognised and applies to both types of veterinary practice.</p> <p>Results</p> <p>Veterinary advisory practice in production animal medicine is, however, characterised by a more complex communication on different levels. While the person-orientated communication is a permanent process between veterinarian and client with a rather personal perspective and defines the roles of interaction, the problem-orientated communication deals with emerging difficulties; the objective is to solve an acute health problem. The solution - orientated communication is a form of communication in which both veterinarian and client address longstanding situations or problems with the objective to improve herd health and subsequently productivity performance. All three forms of communication overlap.</p> <p>Conclusions</p> <p>Based on this model, it appears useful for a veterinary practice to offer both a curative and an advisory service, but to keep these two separated when deemed appropriate. In veterinary education, the strategies and techniques necessary for solution orientated communication should be included in the teaching of communication skills.</p