Resolution in Solving Graph Problems

International audienceResolution is a proof-search method for proving unsatisfia-bility problems. Various refinements have been proposed to improve the efficiency of this method. However, when we try to prove some graph properties, it seems that none of the refinements have an efficiency comparable with traditional graph traversal algorithms. In this paper we propose a way of encoding some graph problems as resolution. We define a selection function and a new subsumption rule to avoid redundancies while solving such problems

A new hammer to crack an old nut : interspecific competitive resource capture by plants is regulated by nutrient supply, not climate

Peer reviewedPublisher PD

Critical research gaps and translational priorities for the successful prevention and treatment of breast cancer

INTRODUCTION Breast cancer remains a significant scientific, clinical and societal challenge. This gap analysis has reviewed and critically assessed enduring issues and new challenges emerging from recent research, and proposes strategies for translating solutions into practice. METHODS More than 100 internationally recognised specialist breast cancer scientists, clinicians and healthcare professionals collaborated to address nine thematic areas: genetics, epigenetics and epidemiology; molecular pathology and cell biology; hormonal influences and endocrine therapy; imaging, detection and screening; current/novel therapies and biomarkers; drug resistance; metastasis, angiogenesis, circulating tumour cells, cancer 'stem' cells; risk and prevention; living with and managing breast cancer and its treatment. The groups developed summary papers through an iterative process which, following further appraisal from experts and patients, were melded into this summary account. RESULTS The 10 major gaps identified were: (1) understanding the functions and contextual interactions of genetic and epigenetic changes in normal breast development and during malignant transformation; (2) how to implement sustainable lifestyle changes (diet, exercise and weight) and chemopreventive strategies; (3) the need for tailored screening approaches including clinically actionable tests; (4) enhancing knowledge of molecular drivers behind breast cancer subtypes, progression and metastasis; (5) understanding the molecular mechanisms of tumour heterogeneity, dormancy, de novo or acquired resistance and how to target key nodes in these dynamic processes; (6) developing validated markers for chemosensitivity and radiosensitivity; (7) understanding the optimal duration, sequencing and rational combinations of treatment for improved personalised therapy; (8) validating multimodality imaging biomarkers for minimally invasive diagnosis and monitoring of responses in primary and metastatic disease; (9) developing interventions and support to improve the survivorship experience; (10) a continuing need for clinical material for translational research derived from normal breast, blood, primary, relapsed, metastatic and drug-resistant cancers with expert bioinformatics support to maximise its utility. The proposed infrastructural enablers include enhanced resources to support clinically relevant in vitro and in vivo tumour models; improved access to appropriate, fully annotated clinical samples; extended biomarker discovery, validation and standardisation; and facilitated cross-discipline working. CONCLUSIONS With resources to conduct further high-quality targeted research focusing on the gaps identified, increased knowledge translating into improved clinical care should be achievable within five years

Assessing Fish and Motile Fauna around Offshore Windfarms Using Stereo Baited Video

There remains limited knowledge of how offshore windfarm developments influence fish assemblages, particularly at a local scale around the turbine structures. Considering the existing levels of anthropogenic pressures on coastal fish populations it is becoming increasingly important for developers and environmental regulators to gain a more comprehensive understanding of the factors influencing fish assemblages. Improving our ability to assess such fish populations in close proximity to structures will assist in increasing this knowledge. In the present study we provide the first trial use of Baited Remote Underwater Stereo-Video systems (stereo BRUVs) for the quantification of motile fauna in close proximity to offshore wind turbines. The study was conducted in the Irish Sea and finds the technique to be a viable means of assessing the motile fauna of such environments. The present study found a mixture of species including bottom dwellers, motile crustaceans and large predatory fish. The majority of taxa observed were found to be immature individuals with few adult individuals recorded. The most abundant species were the angular crab (Goneplax rhomboides) and the small-spotted catshark (Scyliorhinus canicula). Of note in this study was the generally low abundance and diversity of taxa recorded across all samples, we hypothesise that this reflects the generally poor state of the local fauna of the Irish Sea. The faunal assemblages sampled in close proximity to turbines were observed to alter with increasing distance from the structure, species more characteristic of hard bottom environments were in abundance at the turbines (e.g. Homarus gammarus, Cancer pagarus, Scyliorhinus spp.) and those further away more characteristic of soft bottoms (e.g. Norwegian Lobster). This study highlights the need for the environmental impacts of offshore renewables on motile fauna to be assessed using targeted and appropriate tools. Stereo BRUVs provide one of those tools, but like the majority of methods for sampling marine biota, they have limitations. We conclude our paper by providing a discussion of the benefits and limitations of using this BRUV technique for assessing fauna within areas close to offshore windfarms

Feasibility, reliability, and validity of the EQ-5D-Y: results from a multinational study

Ravens-Sieberer U, Wille N, Badia X, et al. Feasibility, reliability, and validity of the EQ-5D-Y: results from a multinational study. QUALITY OF LIFE RESEARCH. 2010;19(6):887-897.To examine the feasibility, reliability, and validity of the newly developed EQ-5D-Y. The EQ-5D-Y was administered in population samples of children and adolescents in Germany, Italy, South Africa, Spain, and Sweden. Percentages of missing values and reported problems were calculated. Test-retest reliability was determined. Spearman's rank correlation coefficients with other generic measures of HRQOL were calculated. Known groups' validity was examined by comparing groups with a priori expected differences in HRQOL. Between 91 and 100% of the respondents provided valid scorings. Sweden had the lowest proportion of reported problems (1-24.9% across EQ-5D-Y dimensions), with the highest proportions in South Africa (2.8-47.3%) and Italy (4.3-39.0%). Percentages of agreement in test-retest reliability ranged between 69.8 and 99.7% in the EQ-5D-Y dimensions; Kappa coefficients were up to 0.67. Correlation coefficients with other measures of self-rated health indicated convergent validity (up to r = -0.56). Differences between groups classified according to presence of chronic conditions, self-rated overall health and psychological problems provided preliminary evidence of known groups' validity. Results provide preliminary evidence of the instrument's feasibility, reliability and validity. Further study is required in clinical samples and for possible future applications in economic analyses

The genomes of two key bumblebee species with primitive eusocial organization

Background: The shift from solitary to social behavior is one of the major evolutionary transitions. Primitively eusocial bumblebees are uniquely placed to illuminate the evolution of highly eusocial insect societies. Bumblebees are also invaluable natural and agricultural pollinators, and there is widespread concern over recent population declines in some species. High-quality genomic data will inform key aspects of bumblebee biology, including susceptibility to implicated population viability threats. Results: We report the high quality draft genome sequences of Bombus terrestris and Bombus impatiens, two ecologically dominant bumblebees and widely utilized study species. Comparing these new genomes to those of the highly eusocial honeybee Apis mellifera and other Hymenoptera, we identify deeply conserved similarities, as well as novelties key to the biology of these organisms. Some honeybee genome features thought to underpin advanced eusociality are also present in bumblebees, indicating an earlier evolution in the bee lineage. Xenobiotic detoxification and immune genes are similarly depauperate in bumblebees and honeybees, and multiple categories of genes linked to social organization, including development and behavior, show high conservation. Key differences identified include a bias in bumblebee chemoreception towards gustation from olfaction, and striking differences in microRNAs, potentially responsible for gene regulation underlying social and other traits. Conclusions: These two bumblebee genomes provide a foundation for post-genomic research on these key pollinators and insect societies. Overall, gene repertoires suggest that the route to advanced eusociality in bees was mediated by many small changes in many genes and processes, and not by notable expansion or depauperation

Metabolic suppression in thecosomatous pteropods as an effect of low temperature and hypoxia in the eastern tropical North Pacific

Author Posting. © The Author(s), 2011. This is the author's version of the work. It is posted here by permission of Springer for personal use, not for redistribution. The definitive version was published in Marine Biology 159 (2012): 1955-1967, doi:10.1007/s00227-012-1982-x.Many pteropod species in the eastern tropical north Pacific Ocean migrate vertically each day, transporting organic matter and respiratory carbon below the thermocline. These migrations take species into cold (15-10ºC) hypoxic water (< 20 µmol O2 kg-1) at depth. We measured the vertical distribution, oxygen consumption and ammonia excretion for seven species of pteropod, some of which migrate and some which remain in oxygenated surface waters throughout the day. Within the upper 200 meters of the water column, changes in water temperature result in a ~60-75% reduction in respiration for most species. All three species tested under hypoxic conditions responded to low O2 with an additional ~35-50% reduction in respiratory rate. Combined, low temperature and hypoxia suppress the metabolic rate of pteropods by ~80-90%. These results shed light on the ways in which expanding regions of hypoxia and surface ocean warming may impact pelagic ecology.This work was funded by National Science Foundation grants to K. Wishner and B. Seibel (OCE – 0526502 and OCE – 0851043) and to K. Daly (OCE – 0526545), the University of Rhode Island, and the Rhode Island Experimental Program to Stimulate Competitive Research Fellowship program.2013-06-3

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Unhealthy Gambling Amongst New Zealand Secondary School Students: An Exploration of Risk and Protective Factors

This study sought to determine the prevalence of gambling and unhealthy gambling behaviour and describe risk and protective factors associated with these behaviours amongst a nationally representative sample of New Zealand secondary school students (n = 8,500). Factor analysis and item response theory were used to develop a model to provide a measure of ‘unhealthy gambling’. Logistic regressions and multiple logistic regression models were used to investigate associations between unhealthy gambling behaviour and selected outcomes. Approximately one-quarter (24.2 %) of students had gambled in the last year, and 4.8 % had two or more indicators of unhealthy gambling. Multivariate analyses found that unhealthy gambling was associated with four main factors: more accepting attitudes towards gambling (pp = 0.0061); being worried about and/or trying to cut down on gambling (p p = 0.0009). Unhealthy gambling is a significant health issue for young people in New Zealand. Ethnic and social inequalities were apparent and these disparities need to be addressed