Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization of) conflict-driven clause learning.Comment: Published at CADE 201

Exploring Protein-Protein Interactions as Drug Targets for Anti-cancer Therapy with In Silico Workflows

We describe a computational protocol to aid the design of small molecule and peptide drugs that target protein-protein interactions, particularly for anti-cancer therapy. To achieve this goal, we explore multiple strategies, including finding binding hot spots, incorporating chemical similarity and bioactivity data, and sampling similar binding sites from homologous protein complexes. We demonstrate how to combine existing interdisciplinary resources with examples of semi-automated workflows. Finally, we discuss several major problems, including the occurrence of drug-resistant mutations, drug promiscuity, and the design of dual-effect inhibitors.Fil: Goncearenco, Alexander. National Institutes of Health; Estados UnidosFil: Li, Minghui. Soochow University; China. National Institutes of Health; Estados UnidosFil: Simonetti, Franco Lucio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Shoemaker, Benjamin A. National Institutes of Health; Estados UnidosFil: Panchenko, Anna R. National Institutes of Health; Estados Unido

Patient perspectives of managing fatigue in ankylosing spondylitis, and views on potential interventions: a qualitative study

<p>Background: Fatigue is a major component of living with ankylosing spondylitis (AS), though it has been largely over-looked, and currently there are no specific agreed management strategies.</p> <p>Methods: This qualitative exploratory study involved participants who are members of an existing population-based ankylosing spondylitis (PAS) cohort. Participants residing in South West Wales were invited to participate in a focus group to discuss; (1) effects of fatigue, (2) self-management strategies and (3) potential future interventions. The focus groups were audio-recorded and the transcripts were analysed using thematic analysis.</p> <p>Results: Participants consisted of 3 males/4 females (group 1) and 4 males/3 females (group 2), aged between 35 and 73 years (mean age 53 years). Three main themes were identified: (1) The effects of fatigue were multi-dimensional with participants expressing feelings of being ‘drained’ (physical), ‘upset’ (emotional) and experiencing ‘low-mood’ (psychological); (2) The most commonly reported self-management strategy for fatigue was a balanced combination of activity (exercise) and rest. Medication was reluctantly taken due to side-effects and worries over dependency; (3) Participants expressed a preference for psychological therapies rather than pharmacological for managing fatigue. Information on Mindfulness-Based Stress Reduction (MBSR) was received with interest, with recommendations for delivery in a group format with the option of distance-based delivery for people who were not able to attend a group course.</p> <p>Conclusions: Patients frequently try and manage their fatigue without any formal guidance or support. Our research indicates there is a need for future research to focus on psychological interventions to address the multi-faceted aspects of fatigue in AS.</p&gt

Structure of the TPR Domain of AIP: Lack of Client Protein Interaction with the C-Terminal alpha-7 Helix of the TPR Domain of AIP Is Sufficient for Pituitary Adenoma Predisposition

PMCID: PMC3534021This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

Why is it difficult to implement e-health initiatives? A qualitative study

<b>Background</b> The use of information and communication technologies in healthcare is seen as essential for high quality and cost-effective healthcare. However, implementation of e-health initiatives has often been problematic, with many failing to demonstrate predicted benefits. This study aimed to explore and understand the experiences of implementers - the senior managers and other staff charged with implementing e-health initiatives and their assessment of factors which promote or inhibit the successful implementation, embedding, and integration of e-health initiatives.<p></p> <b>Methods</b> We used a case study methodology, using semi-structured interviews with implementers for data collection. Case studies were selected to provide a range of healthcare contexts (primary, secondary, community care), e-health initiatives, and degrees of normalization. The initiatives studied were Picture Archiving and Communication System (PACS) in secondary care, a Community Nurse Information System (CNIS) in community care, and Choose and Book (C&B) across the primary-secondary care interface. Implementers were selected to provide a range of seniority, including chief executive officers, middle managers, and staff with 'on the ground' experience. Interview data were analyzed using a framework derived from Normalization Process Theory (NPT).<p></p> <b>Results</b> Twenty-three interviews were completed across the three case studies. There were wide differences in experiences of implementation and embedding across these case studies; these differences were well explained by collective action components of NPT. New technology was most likely to 'normalize' where implementers perceived that it had a positive impact on interactions between professionals and patients and between different professional groups, and fit well with the organisational goals and skill sets of existing staff. However, where implementers perceived problems in one or more of these areas, they also perceived a lower level of normalization.<p></p> <b>Conclusions</b> Implementers had rich understandings of barriers and facilitators to successful implementation of e-health initiatives, and their views should continue to be sought in future research. NPT can be used to explain observed variations in implementation processes, and may be useful in drawing planners' attention to potential problems with a view to addressing them during implementation planning

Species recovery in the united states: Increasing the effectiveness of the endangered species act

The Endangered Species Act (ESA) has succeeded in shielding hundreds of species from extinction and improving species recovery over time. However, recovery for most species officially protected by the ESA - i.e., listed species-has been harder to achieve than initially envisioned. Threats to species are persistent and pervasive, funding has been insufficient, the distribution of money among listed species is highly uneven, and at least 10 times more species than are actually listed probably qualify for listing. Moreover, many listed species will require ongoing management for the foreseeable future to protect them from persistent threats. Climate change will exacerbate this problem and increase both species risk and management uncertainty, requiring more intensive and controversial management strategies to prevent species from going extinct

The association of health literacy with adherence in older 2 adults, and its role in interventions: a systematic meta-review

Background: Low health literacy is a common problem among older adults. It is often suggested to be associated with poor adherence. This suggested association implies a need for effective adherence interventions in low health literate people. However, previous reviews show mixed results on the association between low health literacy and poor adherence. A systematic meta-review of systematic reviews was conducted to study the association between health literacy and adherence in adults above the age of 50. Evidence for the effectiveness of adherence interventions among adults in this older age group with low health literacy was also explored. Methods: Eight electronic databases (MEDLINE, ERIC, EMBASE, PsycINFO, CINAHL, DARE, the Cochrane Library, and Web of Knowledge) were searched using a variety of keywords regarding health literacy and adherence. Additionally, references of identified articles were checked. Systematic reviews were included if they assessed the association between health literacy and adherence or evaluated the effectiveness of interventions to improve adherence in adults with low health literacy. The AMSTAR tool was used to assess the quality of the included reviews. The selection procedure, data-extraction, and quality assessment were performed by two independent reviewers. Seventeen reviews were selected for inclusion. Results: Reviews varied widely in quality. Both reviews of high and low quality found only weak or mixed associations between health literacy and adherence among older adults. Reviews report on seven studies that assess the effectiveness of adherence interventions among low health literate older adults. The results suggest that some adherence interventions are effective for this group. The interventions described in the reviews focused mainly on education and on lowering the health literacy demands of adherence instructions. No conclusions could be drawn about which type of intervention could be most beneficial for this population. Conclusions: Evidence on the association between health literacy and adherence in older adults is relatively weak. Adherence interventions are potentially effective for the vulnerable population of older adults with low levels of health literacy, but the evidence on this topic is limited. Further research is needed on the association between health literacy and general health behavior, and on the effectiveness of interventions

Anesthesiologists' and surgeons' perceptions about routine pre-operative testing in low risk patients: application of the Theoretical Domains Framework to identify factors that influence physicians' decisions to order pre-operative tests

Background Routine pre-operative tests for anesthesia management are often ordered by both anesthesiologists and surgeons for healthy patients undergoing low-risk surgery. The Theoretical Domains Framework (TDF) was developed to investigate determinants of behaviour and identify potential behaviour change interventions. In this study, the TDF is used to explore anaesthesiologists’ and surgeons’ perceptions of ordering routine tests for healthy patients undergoing low-risk surgery. Conclusion We identified key factors that anesthesiologists and surgeons believe influence whether they order pre-operative tests routinely for anesthesia management for a healthy adults undergoing low-risk surgery. These beliefs identify potential individual, team, and organisation targets for behaviour change interventions to reduce unnecessary routine test ordering. Methods Sixteen clinicians (eleven anesthesiologists and five surgeons) throughout Ontario were recruited. An interview guide based on the TDF was developed to identify beliefs about preoperative testing practices. Content analysis of physicians’ statements into the relevant theoretical domains was performed. Specific beliefs were identified by grouping similar utterances of the interview participants. Relevant domains were identified by noting the frequencies of the beliefs reported, presence of conflicting beliefs, and perceived influence on the performance of the behaviour under investigation. Results Seven of the twelve domains were identified as likely relevant to changing clinicians’ behaviour about pre-operative test ordering for anesthesia management. Key beliefs were identified within these domains including: conflicting comments about who was responsible for the test-ordering (Social/professional role and identity); inability to cancel tests ordered by fellow physicians (Beliefs about capabilities and social influences); and the problem with tests being completed before the anesthesiologists see the patient (Beliefs about capabilities and Environmental context and resources). Often, tests were ordered by an anesthesiologist based on who may be the attending anesthesiologist on the day of surgery while surgeons ordered tests they thought anesthesiologists may need (Social influences). There were also conflicting comments about the potential consequences associated with reducing testing, from negative (delay or cancel patients’ surgeries), to indifference (little or no change in patient outcomes), to positive (save money, avoid unnecessary investigations) (Beliefs about consequences). Further, while most agreed that they are motivated to reduce ordering unnecessary tests (Motivation and goals), there was still a report of a gap between their motivation and practice (Behavioural regulation)

Expression and trans-specific polymorphism of self-incompatibility RNases in Coffea (Rubiaceae)

Self-incompatibility (SI) is widespread in the angiosperms, but identifying the biochemical components of SI mechanisms has proven to be difficult in most lineages. Coffea (coffee; Rubiaceae) is a genus of old-world tropical understory trees in which the vast majority of diploid species utilize a mechanism of gametophytic self-incompatibility (GSI). The S-RNase GSI system was one of the first SI mechanisms to be biochemically characterized, and likely represents the ancestral Eudicot condition as evidenced by its functional characterization in both asterid (Solanaceae, Plantaginaceae) and rosid (Rosaceae) lineages. The S-RNase GSI mechanism employs the activity of class III RNase T2 proteins to terminate the growth of "self" pollen tubes. Here, we investigate the mechanism of Coffea GSI and specifically examine the potential for homology to S-RNase GSI by sequencing class III RNase T2 genes in populations of 14 African and Madagascan Coffea species and the closely related self-compatible species Psilanthus ebracteolatus. Phylogenetic analyses of these sequences aligned to a diverse sample of plant RNase T2 genes show that the Coffea genome contains at least three class III RNase T2 genes. Patterns of tissue-specific gene expression identify one of these RNase T2 genes as the putative Coffea S-RNase gene. We show that populations of SI Coffea are remarkably polymorphic for putative S-RNase alleles, and exhibit a persistent pattern of trans-specific polymorphism characteristic of all S-RNase genes previously isolated from GSI Eudicot lineages. We thus conclude that Coffea GSI is most likely homologous to the classic Eudicot S-RNase system, which was retained since the divergence of the Rubiaceae lineage from an ancient SI Eudicot ancestor, nearly 90 million years ago.United States National Science Foundation [0849186]; Society of Systematic Biologists; American Society of Plant Taxonomists; Duke University Graduate Schoolinfo:eu-repo/semantics/publishedVersio