2,073 research outputs found

    On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions

    Full text link
    The problem of deciding whether CSP instances admit solutions has been deeply studied in the literature, and several structural tractability results have been derived so far. However, constraint satisfaction comes in practice as a computation problem where the focus is either on finding one solution, or on enumerating all solutions, possibly projected to some given set of output variables. The paper investigates the structural tractability of the problem of enumerating (possibly projected) solutions, where tractability means here computable with polynomial delay (WPD), since in general exponentially many solutions may be computed. A general framework based on the notion of tree projection of hypergraphs is considered, which generalizes all known decomposition methods. Tractability results have been obtained both for classes of structures where output variables are part of their specification, and for classes of structures where computability WPD must be ensured for any possible set of output variables. These results are shown to be tight, by exhibiting dichotomies for classes of structures having bounded arity and where the tree decomposition method is considered

    A Port Graph Rewriting Approach to Relational Database Modelling

    Get PDF
    International audienceWe present new algorithms to compute the Syntactic Closure and the Minimal Cover of a set of functional dependencies, using strategic port graph rewriting. We specify a Visual Domain Specific Language to model relational database schemata as port graphs, and provide an extension to port graph rewriting rules. Using these rules we implement strategies to compute a syntactic closure, analyse it and find minimal covers, essential for schema normalisation. The graph program provides a visual description of the computation steps coupled with analysis features not available in other approaches. We prove soundness and completeness of the computed closure. This methodology is implemented in PORGY

    Structural insights into RNA processing by the human RISC-loading complex.

    Get PDF
    Targeted gene silencing by RNA interference (RNAi) requires loading of a short guide RNA (small interfering RNA (siRNA) or microRNA (miRNA)) onto an Argonaute protein to form the functional center of an RNA-induced silencing complex (RISC). In humans, Argonaute2 (AGO2) assembles with the guide RNA-generating enzyme Dicer and the RNA-binding protein TRBP to form a RISC-loading complex (RLC), which is necessary for efficient transfer of nascent siRNAs and miRNAs from Dicer to AGO2. Here, using single-particle EM analysis, we show that human Dicer has an L-shaped structure. The RLC Dicer's N-terminal DExH/D domain, located in a short 'base branch', interacts with TRBP, whereas its C-terminal catalytic domains in the main body are proximal to AGO2. A model generated by docking the available atomic structures of Dicer and Argonaute homologs into the RLC reconstruction suggests a mechanism for siRNA transfer from Dicer to AGO2

    Abnormal expression of p27kip1 protein in levator ani muscle of aging women with pelvic floor disorders – a relationship to the cellular differentiation and degeneration

    Get PDF
    BACKGROUND: Pelvic floor disorders affect almost 50% of aging women. An important role in the pelvic floor support belongs to the levator ani muscle. The p27/kip1 (p27) protein, multifunctional cyclin-dependent kinase inhibitor, shows changing expression in differentiating skeletal muscle cells during development, and relatively high levels of p27 RNA were detected in the normal human skeletal muscles. METHODS: Biopsy samples of levator ani muscle were obtained from 22 symptomatic patients with stress urinary incontinence, pelvic organ prolapse, and overlaps (age range 38–74), and nine asymptomatic women (age 31–49). Cryostat sections were investigated for p27 protein expression and type I (slow twitch) and type II (fast twitch) fibers. RESULTS: All fibers exhibited strong plasma membrane (and nuclear) p27 protein expression. cytoplasmic p27 expression was virtually absent in asymptomatic women. In perimenopausal symptomatic patients (ages 38–55), muscle fibers showed hypertrophy and moderate cytoplasmic p27 staining accompanied by diminution of type II fibers. Older symptomatic patients (ages 57–74) showed cytoplasmic p27 overexpression accompanied by shrinking, cytoplasmic vacuolization and fragmentation of muscle cells. The plasma membrane and cytoplasmic p27 expression was not unique to the muscle cells. Under certain circumstances, it was also detected in other cell types (epithelium of ectocervix and luteal cells). CONCLUSIONS: This is the first report on the unusual (plasma membrane and cytoplasmic) expression of p27 protein in normal and abnormal human striated muscle cells in vivo. Our data indicate that pelvic floor disorders are in perimenopausal patients associated with an appearance of moderate cytoplasmic p27 expression, accompanying hypertrophy and transition of type II into type I fibers. The patients in advanced postmenopause show shrinking and fragmentation of muscle fibers associated with strong cytoplasmic p27 expression

    The roles of herbal remedies in survival and quality of life among long-term breast cancer survivors - results of a prospective study

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Few data exist on survival or health-related quality of life (QOL) related to herbal remedy use among long-term breast cancer survivors. The objective of this report is to examine whether herbal remedy use is associated with survival or the health-related QOL of these long-term breast cancer survivors.</p> <p>Methods</p> <p>In 1999-2000, we collected the information of herbal remedy use and QOL during a telephone interview with 371 Los Angeles Non-Hispanic/Hispanic white women who had survived more than 10 years after breast cancer diagnosis. QOL was measured using the Medical Outcomes Study Short Form-36 (SF-36) questionnaire. Patients were followed for mortality from the baseline interview through 2007. 299 surviving patients completed a second telephone interview on QOL in 2002-2004. We used multivariable Cox proportional hazards methods to estimate relative risks (RR) and 95% confidence intervals (CI) for mortality and applied multivariable linear regression models to compare average SF-36 change scores (follow-up - baseline) between herbal remedy users and non-users.</p> <p>Results</p> <p>Fifty-nine percent of participants were herbal remedy users at baseline. The most commonly used herbal remedies were echinacea, herbal teas, and ginko biloba. Herbal remedy use was associated with non-statistically significant increases in the risks for all-cause (44 deaths, RR = 1.28, 95% CI = 0.62-2.64) and breast cancer (33 deaths, RR = 1.78, 95% CI = 0.72-4.40) mortality. Both herbal remedy users' and non-users' mental component summary scores on the SF-36 increased similarly from the first survey to the second survey (<it>P </it>= 0.16), but herbal remedy users' physical component summary scores decreased more than those of non-users (-5.7 vs. -3.2, <it>P </it>= 0.02).</p> <p>Conclusions</p> <p>Our data provide some evidence that herbal remedy use is associated with poorer survival and a poorer physical component score for health-related QOL among women who have survived breast cancer for at least 10 years. These conclusions are based on exploratory analyses of data from a prospective study using two-sided statistical tests with no correction for multiple testing and are limited by few deaths for mortality analysis and lack of information on when herbal remedy use was initiated or duration of or reasons for use.</p

    Reciprocity as a foundation of financial economics

    Get PDF
    This paper argues that the subsistence of the fundamental theorem of contemporary financial mathematics is the ethical concept ‘reciprocity’. The argument is based on identifying an equivalence between the contemporary, and ostensibly ‘value neutral’, Fundamental Theory of Asset Pricing with theories of mathematical probability that emerged in the seventeenth century in the context of the ethical assessment of commercial contracts in a framework of Aristotelian ethics. This observation, the main claim of the paper, is justified on the basis of results from the Ultimatum Game and is analysed within a framework of Pragmatic philosophy. The analysis leads to the explanatory hypothesis that markets are centres of communicative action with reciprocity as a rule of discourse. The purpose of the paper is to reorientate financial economics to emphasise the objectives of cooperation and social cohesion and to this end, we offer specific policy advice

    Ovarian steroid hormones: what's hot in the stem cell pool?

    Get PDF
    The vital role of ovarian hormones in the development of the normal breast foreshadowed their importance in mammary stem cell regulation. Two recent papers reveal that 17β-estradiol and progesterone control the size and repopulating ability of the mammary stem cell compartment. This likely occurs via paracrine signaling from steroid receptor-positive luminal cells to steroid receptor-negative stem cells. These findings illuminate roles for the female sex steroids in mobilizing the stem cell pool in the normal breast, and also provide a crucial link between the known hormonal risks of breast cancer and the potential stem cell origin of this disease
    corecore