Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

Physicochemical analysis of rotavirus segment 11 supports a 'modified panhandle' structure and not the predicted alternative tRNA-like structure (TRLS)

.Rotaviruses are a major cause of acute gastroenteritis, which is often fatal in infants. The viral genome consists of 11 double-stranded RNA segments, but little is known about their cis-acting sequences and structural elements. Covariation studies and phylogenetic analysis exploring the potential structure of RNA11 of rotaviruses suggested that, besides the previously predicted "modified panhandle" structure, the 5' and 3' termini of one of the isoforms of the bovine rotavirus UKtc strain may interact to form a tRNA-like structure (TRLS). Such TRLSs have been identified in RNAs of plant viruses, where they are important for enhancing replication and packaging. However, using tRNA mimicry assays (in vitro aminoacylation and 3'- adenylation), we found no biochemical evidence for tRNA-like functions of RNA11. Capping, synthetic 3' adenylation and manipulation of divalent cation concentrations did not change this finding. NMR studies on a 5'- and 3'-deletion construct of RNA11 containing the putative intra-strand complementary sequences supported a predominant panhandle structure and did not conform to a cloverleaf fold despite the strong evidence for a predicted structure in this conserved region of the viral RNA. Additional viral or cellular factors may be needed to stabilise it into a form with tRNA-like properties

An essential function for the ATR-Activation-Domain (AAD) of TopBP1 in mouse development and cellular senescence

ATR activation is dependent on temporal and spatial interactions with partner proteins. In the budding yeast model, three proteins – Dpb11TopBP1, Ddc1Rad9 and Dna2 - all interact with and activate Mec1ATR. Each contains an ATR activation domain (ADD) that interacts directly with the Mec1ATR:Ddc2ATRIP complex. Any of the Dpb11TopBP1, Ddc1Rad9 or Dna2 ADDs is sufficient to activate Mec1ATR in vitro. All three can also independently activate Mec1ATR in vivo: the checkpoint is lost only when all three AADs are absent. In metazoans, only TopBP1 has been identified as a direct ATR activator. Depletion-replacement approaches suggest the TopBP1-AAD is both sufficient and necessary for ATR activation. The physiological function of the TopBP1 AAD is, however, unknown. We created a knock-in point mutation (W1147R) that ablates mouse TopBP1-AAD function. TopBP1-W1147R is early embryonic lethal. To analyse TopBP1-W1147R cellular function in vivo, we silenced the wild type TopBP1 allele in heterozygous MEFs. AAD inactivation impaired cell proliferation, promoted premature senescence and compromised Chk1 signalling following UV irradiation. We also show enforced TopBP1 dimerization promotes ATR-dependent Chk1 phosphorylation. Our data suggest that, unlike the yeast models, the TopBP1-AAD is the major activator of ATR, sustaining cell proliferation and embryonic development

Polypharmacy among anabolic-androgenic steroid users: A descriptive metasynthesis

Background: As far as we are aware, no previous systematic review and synthesis of the qualitative/descriptive literature on polypharmacy in anabolic-androgenic steroid(s) (AAS) users has been published. Method: We systematically reviewed and synthesized qualitative/descriptive literature gathered from searches in electronic databases and by inspecting reference lists of relevant literature to investigate AAS users' polypharmacy. We adhered to the recommendations of the UK Economic and Social Research Council's qualitative research synthesis manual and the PRISMA guidelines. Results: A total of 50 studies published between 1985 and 2014 were included in the analysis. Studies originated from 10 countries although most originated from United States (n = 22), followed by Sweden (n = 7), England only (n = 5), and the United Kingdom (n = 4). It was evident that prior to their debut, AAS users often used other licit and illicit substances. The main ancillary/supplementary substances used were alcohol, and cannabis/cannabinoids followed by cocaine, growth hormone, and human chorionic gonadotropin (hCG), amphetamine/meth, clenbuterol, ephedra/ephedrine, insulin, and thyroxine. Other popular substance classes were analgesics/opioids, dietary/nutritional supplements, and diuretics. Our classification of the various substances used by AAS users resulted in 13 main groups. These non-AAS substances were used mainly to enhance the effects of AAS, combat the side effects of AAS, and for recreational or relaxation purposes, as well as sexual enhancement. Conclusions: Our findings corroborate previous suggestions of associations between AAS use and the use of other licit and illicit substances. Efforts must be intensified to combat the debilitating effects of AAS-associated polypharmacy

Study protocol to investigate the effect of a lifestyle intervention on body weight, psychological health status and risk factors associated with disease recurrence in women recovering from breast cancer treatment

Background Breast cancer survivors often encounter physiological and psychological problems related to their diagnosis and treatment that can influence long-term prognosis. The aim of this research is to investigate the effects of a lifestyle intervention on body weight and psychological well-being in women recovering from breast cancer treatment, and to determine the relationship between changes in these variables and biomarkers associated with disease recurrence and survival. Methods/design Following ethical approval, a total of 100 patients will be randomly assigned to a lifestyle intervention (incorporating dietary energy restriction in conjunction with aerobic exercise training) or normal care control group. Patients randomised to the dietary and exercise intervention will be given individualised healthy eating dietary advice and written information and attend moderate intensity aerobic exercise sessions on three to five days per week for a period of 24 weeks. The aim of this strategy is to induce a steady weight loss of up to 0.5 Kg each week. In addition, the overall quality of the diet will be examined with a view to (i) reducing the dietary intake of fat to ~25% of the total calories, (ii) eating at least 5 portions of fruit and vegetables a day, (iii) increasing the intake of fibre and reducing refined carbohydrates, and (iv) taking moderate amounts of alcohol. Outcome measures will include body weight and body composition, psychological health status (stress and depression), cardiorespiratory fitness and quality of life. In addition, biomarkers associated with disease recurrence, including stress hormones, estrogen status, inflammatory markers and indices of innate and adaptive immune function will be monitored. Discussion This research will provide valuable information on the effectiveness of a practical, easily implemented lifestyle intervention for evoking positive effects on body weight and psychological well-being, two important factors that can influence long-term prognosis in breast cancer survivors. However, the added value of the study is that it will also evaluate the effects of the lifestyle intervention on a range of biomarkers associated with disease recurrence and survival. Considered together, the results should improve our understanding of the potential role that lifestyle-modifiable factors could play in saving or prolonging lives

Dynamics of Dynamics within a Single Data Acquisition Session: Variation in Neocortical Alpha Oscillations in Human MEG

Background Behavioral paradigms applied during human recordings in electro- and magneto- encephalography (EEG and MEG) typically require 1–2 hours of data collection. Over this time scale, the natural fluctuations in brain state or rapid learning effects could impact measured signals, but are seldom analyzed. Methods and Findings We investigated within-session dynamics of neocortical alpha (7–14 Hz) rhythms and their allocation with cued-attention using MEG recorded from primary somatosensory neocortex (SI) in humans. We found that there were significant and systematic changes across a single ~1 hour recording session in several dimensions, including increased alpha power, increased differentiation in attention-induced alpha allocation, increased distinction in immediate time-locked post-cue evoked responses in SI to different visual cues, and enhanced power in the immediate cue-locked alpha band frequency response. Further, comparison of two commonly used baseline methods showed that conclusions on the evolution of alpha dynamics across a session were dependent on the normalization method used. Conclusions These findings are important not only as they relate to studies of oscillations in SI, they also provide a robust example of the type of dynamic changes in brain measures within a single session that are overlooked in most human brain imaging/recording studies.National Institutes of Health (U.S.) (P41RR14075)National Institutes of Health (U.S.) (K25MH072941)National Institutes of Health (U.S.) (K01AT003459)National Institutes of Health (U.S.) (1RO1-NS045130-01)National Institutes of Health (U.S.) (T32GM007484)National Science Foundation (U.S.) (0316933)Osher Lifelong Learning Institute

Integrating organizational, social, and individual perspectives in Web 2.0-based workplace e-learning

From the issue entitled 'Special Issue: Emerging Social and Legal Aspect'E-learning is emerging as a popular approach of education in the workplace by virtue of its flexibility to access, just-in-time delivery, and cost-effectiveness. To improve social interaction and knowledge sharing in e-learning, Web 2.0 is increasingly utilized and integrated with e-learning applications. However, existing social learning systems fail to align learning with organizational goals and individual needs in a systemic way. The dominance of technology-oriented approaches makes elearning applications less goal-effective and poor in quality and design. To solve the problem, we address the requirement of integrating organizational, social, and individual perspectives in the development of Web 2.0 elearning systems. To fulfill the requirement, a key performance indicator (KPI)-oriented approach is presented in this study. By integrating a KPI model with Web 2.0 technologies, our approach is able to: 1) set up organizational goals and link the goals with expertise required for individuals; 2) build a knowledge network by linking learning resources to a set of competences to be developed and a group of people who learn and contribute to the knowledge network through knowledge creation, sharing, and peer evaluation; and 3) improve social networking and knowledge sharing by identifying each individual's work context, expertise, learning need, performance, and contribution. The mechanism of the approach is explored and elaborated with conceptual frameworks and implementation technologies. A prototype system for Web 2.0 e-learning has been developed to demonstrate the effectiveness of the approach. © Springer Science + Business Media, LLC 2009.postprin

Intestinal Microbiota Composition of Interleukin-10 Deficient C57BL/6J Mice and Susceptibility to Helicobacter hepaticus-Induced Colitis

The mouse pathobiont Helicobacter hepaticus can induce typhlocolitis in interleukin-10-deficient mice, and H. hepaticus infection of immunodeficient mice is widely used as a model to study the role of pathogens and commensal bacteria in the pathogenesis of inflammatory bowel disease. C57BL/6J Il10[superscript −/−] mice kept under specific pathogen-free conditions in two different facilities (MHH and MIT), displayed strong differences with respect to their susceptibilities to H. hepaticus-induced intestinal pathology. Mice at MIT developed robust typhlocolitis after infection with H. hepaticus, while mice at MHH developed no significant pathology after infection with the same H. hepaticus strain. We hypothesized that the intestinal microbiota might be responsible for these differences and therefore performed high resolution analysis of the intestinal microbiota composition in uninfected mice from the two facilities by deep sequencing of partial 16S rRNA amplicons. The microbiota composition differed markedly between mice from both facilities. Significant differences were also detected between two groups of MHH mice born in different years. Of the 119 operational taxonomic units (OTUs) that occurred in at least half the cecum or colon samples of at least one mouse group, 24 were only found in MIT mice, and another 13 OTUs could only be found in MHH samples. While most of the MHH-specific OTUs could only be identified to class or family level, the MIT-specific set contained OTUs identified to genus or species level, including the opportunistic pathogen, Bilophila wadsworthia. The susceptibility to H. hepaticus-induced colitis differed considerably between Il10[superscript −/−] mice originating from the two institutions. This was associated with significant differences in microbiota composition, highlighting the importance of characterizing the intestinal microbiome when studying murine models of IBD.National Institutes of Health (U.S.) (Grant NIH P01-CA26731)National Institutes of Health (U.S.) (Grant NIH P30ES0026731)National Institutes of Health (U.S.) (Grant NIH R01-OD011141

Anthropogenic perturbation of the carbon fluxes from land to ocean

A substantial amount of the atmospheric carbon taken up on land through photosynthesis and chemical weathering is transported laterally along the aquatic continuum from upland terrestrial ecosystems to the ocean. So far, global carbon budget estimates have implicitly assumed that the transformation and lateral transport of carbon along this aquatic continuum has remained unchanged since pre-industrial times. A synthesis of published work reveals the magnitude of present-day lateral carbon fluxes from land to ocean, and the extent to which human activities have altered these fluxes. We show that anthropogenic perturbation may have increased the flux of carbon to inland waters by as much as 1.0 Pg C yr-1 since pre-industrial times, mainly owing to enhanced carbon export from soils. Most of this additional carbon input to upstream rivers is either emitted back to the atmosphere as carbon dioxide (~0.4 Pg C yr-1) or sequestered in sediments (~0.5 Pg C yr-1) along the continuum of freshwater bodies, estuaries and coastal waters, leaving only a perturbation carbon input of ~0.1 Pg C yr-1 to the open ocean. According to our analysis, terrestrial ecosystems store ~0.9 Pg C yr-1 at present, which is in agreement with results from forest inventories but significantly differs from the figure of 1.5 Pg C yr-1 previously estimated when ignoring changes in lateral carbon fluxes. We suggest that carbon fluxes along the land–ocean aquatic continuum need to be included in global carbon dioxide budgets.Peer reviewe