Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks

The ever increasing number and complexity of energy-bound devices (such as the ones used in Internet of Things applications, smart phones, and mission critical systems) pose an important challenge on techniques to optimize their energy consumption and to verify that they will perform their function within the available energy budget. In this work we address this challenge from the software point of view and propose a novel parametric approach to estimating tight bounds on the energy consumed by program executions that are practical for their application to energy verification and optimization. Our approach divides a program into basic (branchless) blocks and estimates the maximal and minimal energy consumption for each block using an evolutionary algorithm. Then it combines the obtained values according to the program control flow, using static analysis, to infer functions that give both upper and lower bounds on the energy consumption of the whole program and its procedures as functions on input data sizes. We have tested our approach on (C-like) embedded programs running on the XMOS hardware platform. However, our method is general enough to be applied to other microprocessor architectures and programming languages. The bounds obtained by our prototype implementation can be tight while remaining on the safe side of budgets in practice, as shown by our experimental evaluation.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854). Improved version of the one presented at the HIP3ES 2016 workshop (v1): more experimental results (added benchmark to Table 1, added figure for new benchmark, added Table 3), improved Fig. 1, added Fig.

Shallow water marine sediment bacterial community shifts along a natural CO2 gradient in the Mediterranean Sea off Vulcano, Italy.

The effects of increasing atmospheric CO(2) on ocean ecosystems are a major environmental concern, as rapid shoaling of the carbonate saturation horizon is exposing vast areas of marine sediments to corrosive waters worldwide. Natural CO(2) gradients off Vulcano, Italy, have revealed profound ecosystem changes along rocky shore habitats as carbonate saturation levels decrease, but no investigations have yet been made of the sedimentary habitat. Here, we sampled the upper 2 cm of volcanic sand in three zones, ambient (median pCO(2) 419 μatm, minimum Ω(arag) 3.77), moderately CO(2)-enriched (median pCO(2) 592 μatm, minimum Ω(arag) 2.96), and highly CO(2)-enriched (median pCO(2) 1611 μatm, minimum Ω(arag) 0.35). We tested the hypothesis that increasing levels of seawater pCO(2) would cause significant shifts in sediment bacterial community composition, as shown recently in epilithic biofilms at the study site. In this study, 454 pyrosequencing of the V1 to V3 region of the 16S rRNA gene revealed a shift in community composition with increasing pCO(2). The relative abundances of most of the dominant genera were unaffected by the pCO(2) gradient, although there were significant differences for some 5 % of the genera present (viz. Georgenia, Lutibacter, Photobacterium, Acinetobacter, and Paenibacillus), and Shannon Diversity was greatest in sediments subject to long-term acidification (>100 years). Overall, this supports the view that globally increased ocean pCO(2) will be associated with changes in sediment bacterial community composition but that most of these organisms are resilient. However, further work is required to assess whether these results apply to other types of coastal sediments and whether the changes in relative abundance of bacterial taxa that we observed can significantly alter the biogeochemical functions of marine sediments

Exploring the equity of GP practice prescribing rates for selected coronary heart disease drugs: a multiple regression analysis with proxies of healthcare need

Background There is a small, but growing body of literature highlighting inequities in GP practice prescribing rates for many drug therapies. The aim of this paper is to further explore the equity of prescribing for five major CHD drug groups and to explain the amount of variation in GP practice prescribing rates that can be explained by a range of healthcare needs indicators (HCNIs). Methods The study involved a cross-sectional secondary analysis in four primary care trusts (PCTs 1–4) in the North West of England, including 132 GP practices. Prescribing rates (average daily quantities per registered patient aged over 35 years) and HCNIs were developed for all GP practices. Analysis was undertaken using multiple linear regression. Results Between 22–25% of the variation in prescribing rates for statins, beta-blockers and bendrofluazide was explained in the multiple regression models. Slightly more variation was explained for ACE inhibitors (31.6%) and considerably more for aspirin (51.2%). Prescribing rates were positively associated with CHD hospital diagnoses and procedures for all drug groups other than ACE inhibitors. The proportion of patients aged 55–74 years was positively related to all prescribing rates other than aspirin, where they were positively related to the proportion of patients aged >75 years. However, prescribing rates for statins and ACE inhibitors were negatively associated with the proportion of patients aged >75 years in addition to the proportion of patients from minority ethnic groups. Prescribing rates for aspirin, bendrofluazide and all CHD drugs combined were negatively associated with deprivation. Conclusion Although around 25–50% of the variation in prescribing rates was explained by HCNIs, this varied markedly between PCTs and drug groups. Prescribing rates were generally characterised by both positive and negative associations with HCNIs, suggesting possible inequities in prescribing rates on the basis of ethnicity, deprivation and the proportion of patients aged over 75 years (for statins and ACE inhibitors, but not for aspirin)

Potential process 'hurdles' in the use of macroalgae as feedstock for biofuel production in the British Isles

This review examines the potential technical and energy balance hurdles in the production of seaweed biofuel, and particular for the MacroBioCrude processing pipeline for the sustainable manufacture of liquid hydrocarbon fuels from seaweed in the UK. The production of biofuel from seaweed is economically, energetically and technically challenging at scale. Any successful process appears to require both a method of preserving the seaweed for continuous feedstock availability and a method exploiting the entire biomass. Ensiling and gasification offer a potential solution to these two requirements. However there is need for more data particularly at a commercial scal

Context, mechanisms and outcomes in end of life care for people with advanced dementia

yesBackground: The majority of people with dementia in the UK die in care homes. The quality of end of life care in these environments is often suboptimal. The aim of the present study was to explore the context, mechanisms and outcomes for providing good palliative care to people with advanced dementia residing in UK care homes from the perspective of health and social care providers. Method: The design of the study was qualitative which involved purposive sampling of health care professionals to undertake interactive interviews within a realist framework. Interviews were completed between September 2012 and October 2013 and were thematically analysed and then conceptualised according to context, mechanisms and outcomes. The settings were private care homes and services provided by the National Health Service including memory clinics, mental health and commissioning services in London, United Kingdom. The participants included 14 health and social care professionals including health care assistants, care home managers, commissioners for older adults’ services and nursing staff. Results: Good palliative care for people with advanced dementia is underpinned by the prioritisation of psychosocial and spiritual care, developing relationships with family carers, addressing physical needs including symptom management and continuous, integrated care provided by a multidisciplinary team. Contextual factors that detract from good end of life care included: an emphasis on financial efficiency over person-centred care; a complex health and social care system, societal and family attitudes towards staff; staff training and experience, governance and bureaucratisation; complexity of dementia; advance care planning and staff characteristics. Mechanisms that influence the quality of end of life care include: level of health care professionals’ confidence, family uncertainty about end of life care, resources for improving end of life care and supporting families, and uncertainty about whether dementia specific palliative care is required. Conclusions: Contextual factors regarding the care home environment may be obdurate and tend to negatively impact on the quality of end of life dementia care. Local level mechanisms may be more amenable to improvement. However, systemic changes to the care home environment are necessary to promote consistent, equitable and sustainable high quality end of life dementia care across the UK care home secto

The influence of online resources on student–lecturer relationship in higher education: a comparison study

The internet has become a key resource for students’ higher education studies due to both its availability and currency. Previously within higher education, lectures, books and course materials were the only sources of information. This change, to more open access to information and more online materials being accessed outside of those provided by lecturers, and indeed institutions, is likely to accelerate and change the way students are learning. This study aims to help institutions understand better the impact of these changes on the student–lecturer relationship by exploring students’ perceptions of their studies in terms of power and students’ academic engagement in the classroom. The importance of the internet (online learning resources) to students’ achievements, the importance of lecturers and the student–lecturer relationship have all been widely investigated. However, limited research has been undertaken examining the impact of students’ use of the internet on the student–lecturer relationship, or comparing this across different countries and cultures. To address this, data were collected via semi- structured questionnaires distributed to undergraduate students from three countries: United Kingdom, Saudi Arabia and Kenya. Quantitative data were analysed using a simple statistical analysis approach and qualitative data were analysed using a thematic analysis approach. The results showed that students’ use of the internet has improved students’ academic self-confidence, academic self-reliance and student– lecturer connectedness, but students’ use of the internet has increased the gap in the student–lecturer expert relationship and referent relationship. The impact and rea- sons for this differed between the countries involved in this study

Research priorities for managing the impacts and dependencies of business upon food, energy, water and the environment

Delivering access to sufficient food, energy and water resources to ensure human wellbeing is a major concern for governments worldwide. However, it is crucial to account for the ‘nexus’ of interactions between these natural resources and the consequent implications for human wellbeing. The private sector has a critical role in driving positive change towards more sustainable nexus management and could reap considerable benefits from collaboration with researchers to devise solutions to some of the foremost sustainability challenges of today. Yet opportunities are missed because the private sector is rarely involved in the formulation of deliverable research priorities. We convened senior research scientists and influential business leaders to collaboratively identify the top forty questions that, if answered, would best help companies understand and manage their food-energy-water-environment nexus dependencies and impacts. Codification of the top order nexus themes highlighted research priorities around development of pragmatic yet credible tools that allow businesses to incorporate nexus interactions into their decision-making; demonstration of the business case for more sustainable nexus management; identification of the most effective levers for behaviour change; and understanding incentives or circumstances that allow individuals and businesses to take a leadership stance. Greater investment in the complex but productive relations between the private sector and research community will create deeper and more meaningful collaboration and cooperation.This work was supportedby the Economic and Social Research Council [Grant Number ES/L01632X/1] and is part of the Nexus Network Initiative. WJS is funded by Arcadia

Acclimatization of the crustose coralline alga Porolithon onkodes to variable pCO2

Ocean acidification (OA) has important implications for the persistence of coral reef ecosystems, due to potentially negative effects on biomineralization. Many coral reefs are dynamic with respect to carbonate chemistry, and experience fluctuations in pCO2 that exceed OA projections for the near future. To understand the influence of dynamic pCO2 on an important reef calcifier, we tested the response of the crustose coralline alga Porolithon onkodes to oscillating pCO2. Individuals were exposed to ambient (400 ??atm), high (660 ??atm), or variable pCO2 (oscillating between 400/660 ??atm) treatments for 14 days. To explore the potential for coralline acclimatization, we collected individuals from low and high pCO2 variability sites (upstream and downstream respectively) on a back reef characterized by unidirectional water flow in Moorea, French Polynesia. We quantified the effects of treatment on algal calcification by measuring the change in buoyant weight, and on algal metabolism by conducting sealed incubations to measure rates of photosynthesis and respiration. Net photosynthesis was higher in the ambient treatment than the variable treatment, regardless of habitat origin, and there was no effect on respiration or gross photosynthesis. Exposure to high pCO2 decreased P. onkodes calcification by >70%, regardless of the original habitat. In the variable treatment, corallines from the high variability habitat calcified 42% more than corallines from the low variability habitat. The significance of the original habitat for the coralline calcification response to variable, high pCO2 indicates that individuals existing in dynamic pCO2 habitats may be acclimatized to OA within the scope of in situ variability. These results highlight the importance of accounting for natural pCO2 variability in OA manipulations, and provide insight into the potential for plasticity in habitat and species-specific responses to changing ocean chemistry.Funding was provided by grants from the National Science Foundation (OCE-0417412, OCE-10-26852, OCE-1041270) and gifts from the Gordon and Betty Moore Foundation. The funders had no role in the study design, data collection and analysis, decision to publish, or preparation of the manuscript

Rare coding variants and X-linked loci associated with age at menarche

More than 100 loci have been identified for age at menarche by genome-wide association studies; however, collectively these explain only similar to 3% of the trait variance. Here we test two overlooked sources of variation in 192,974 European ancestry women: low-frequency proteincoding variants and X-chromosome variants. Five missense/nonsense variants (in ALMS1/LAMB2/TNRC6A/TACR3/PRKAG1) are associated with age at menarche (minor allele frequencies 0.08-4.6%; effect sizes 0.08-1.25 years per allele; P<5 x 10(-8)). In addition, we identify common X-chromosome loci at IGSF1 (rs762080, P = 9.4 x 10(-13)) and FAAH2 (rs5914101, P = 4.9 x 10(-10)). Highlighted genes implicate cellular energy homeostasis, post-transcriptional gene silencing and fatty-acid amide signalling. A frequently reported mutation in TACR3 for idiopathic hypogonatrophic hypogonadism (p.W275X) is associated with 1.25-year-later menarche (P = 2.8 x 10(-11)), illustrating the utility of population studies to estimate the penetrance of reportedly pathogenic mutations. Collectively, these novel variants explain similar to 0.5% variance, indicating that these overlooked sources of variation do not substantially explain the 'missing heritability' of this complex trait