943 research outputs found

    Backdoors for Linear Temporal Logic

    Get PDF
    In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic. We study the parameterized complexity of the satisfiability problem parameterized by the size of the backdoor. We distinguish between backdoor detection and evaluation of backdoors into the fragments of Horn and Krom formulas. Here we classify the operator fragments of globally-operators for past/future/always, and the combination of them. Detection is shown to be fixed-parameter tractable whereas the complexity of evaluation behaves differently. We show that for Krom formulas the problem is paraNP-complete. For Horn formulas, the complexity is shown to be either fixed parameter tractable or paraNP-complete depending on the considered operator fragment

    p31 comet acts to ensure timely spindle checkpoint silencing subsequent to kinetochore attachment

    Get PDF
    The spindle assembly checkpoint links the onset of anaphase to completion of chromosome-microtubule attachment and is mediated by the binding of Mad and Bub proteins to kinetochores of unattached or maloriented chromosomes. Mad2 and BubR1 traffic between kinetochores and the cytosol, thereby transmitting a "wait anaphase" signal to the anaphase-promoting complex. It is generally assumed that this signal dissipates automatically upon kinetochore-microtubule binding, but it has been shown that under conditions of nocodazole-induced arrest p31comet, a Mad2-binding protein, is required for mitotic progression. In this article we investigate the localization and function of p31 comet during normal, unperturbed mitosis in human and marsupial cells. We find that, like Mad2, p31 comet traffics on and off kinetochores and is also present in the cytosol. Cells depleted of p31 comet arrest in metaphase with mature bipolar kinetochore-microtubule attachments, a satisfied checkpoint, and high cyclin B levels. Thus p31 comet is required for timely mitotic exit. We propose that p31 comet is an essential component of the machinery that silences the checkpoint during each cell cycle

    Nanocrystal and surface alloy properties of bimetallic Gold-Platinum nanoparticles

    Get PDF
    We report on the correlation between the nanocrystal and surface alloy properties with the bimetallic composition of gold-platinum(AuPt) nanoparticles. The fundamental understanding of whether the AuPt nanocrystal core is alloyed or phase-segregated and how the surface binding properties are correlated with the nanoscale bimetallic properties is important not only for the exploitation of catalytic activity of the nanoscale bimetallic catalysts, but also to the general exploration of the surface or interfacial reactivities of bimetallic or multimetallic nanoparticles. The AuPt nanoparticles are shown to exhibit not only single-phase alloy character in the nanocrystal, but also bimetallic alloy property on the surface. The nanocrystal and surface alloy properties are directly correlated with the bimetallic composition. The FTIR probing of CO adsorption on the bimetallic nanoparticles supported on silica reveals that the surface binding sites are dependent on the bimetallic composition. The analysis of this dependence further led to the conclusion that the relative Au-atop and Pt-atop sites for the linear CO adsorption on the nanoparticle surface are not only correlated with the bimetallic composition, but also with the electronic effect as a result of the d-band shift of Pt in the bimetallic nanocrystals, which is the first demonstration of the nanoscale core-surface property correlation for the bimetallic nanoparticles over a wide range of bimetallic composition

    Inhibition of Dipeptidyl Peptidase-4 by Vildagliptin During Glucagon-Like Peptide 1 Infusion Increases Liver Glucose Uptake in the Conscious Dog

    Get PDF
    OBJECTIVE—This study investigated the acute effects of treatment with vildagliptin on dipeptidyl peptidase-4 (DPP-4) activity, glucagon-like peptide 1 (GLP-1) concentration, pancreatic hormone levels, and glucose metabolism. The primary aims were to determine the effects of DPP-4 inhibition on GLP-1 clearance and on hepatic glucose uptake

    Pre-M Phase-promoting Factor Associates with Annulate Lamellae in Xenopus Oocytes and Egg Extracts

    Get PDF
    We have used complementary biochemical and in vivo approaches to study the compartmentalization of M phase-promoting factor (MPF) in prophase Xenopus eggs and oocytes. We first examined the distribution of MPF (Cdc2/CyclinB2) and membranous organelles in high-speed extracts of Xenopus eggs made during mitotic prophase. These extracts were found to lack mitochondria, Golgi membranes, and most endoplasmic reticulum (ER) but to contain the bulk of the pre-MPF pool. This pre-MPF could be pelleted by further centrifugation along with components necessary to activate it. On activation, Cdc2/CyclinB2 moved into the soluble fraction. Electron microscopy and Western blot analysis showed that the pre-MPF pellet contained a specific ER subdomain comprising "annulate lamellae" (AL): stacked ER membranes highly enriched in nuclear pores. Colocalization of pre-MPF with AL was demonstrated by anti-CyclinB2 immunofluorescence in prophase oocytes, in which AL are positioned close to the vegetal surface. Green fluorescent protein-CyclinB2 expressed in oocytes also localized at AL. These data suggest that inactive MPF associates with nuclear envelope components just before activation. This association may explain why nuclei and centrosomes stimulate MPF activation and provide a mechanism for targeting of MPF to some of its key substrates

    An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics

    Get PDF
    For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types

    Model-independent search for CP violation in D0→K−K+π−π+ and D0→π−π+π+π− decays

    Get PDF
    A search for CP violation in the phase-space structures of D0 and View the MathML source decays to the final states K−K+π−π+ and π−π+π+π− is presented. The search is carried out with a data set corresponding to an integrated luminosity of 1.0 fb−1 collected in 2011 by the LHCb experiment in pp collisions at a centre-of-mass energy of 7 TeV. For the K−K+π−π+ final state, the four-body phase space is divided into 32 bins, each bin with approximately 1800 decays. The p-value under the hypothesis of no CP violation is 9.1%, and in no bin is a CP asymmetry greater than 6.5% observed. The phase space of the π−π+π+π− final state is partitioned into 128 bins, each bin with approximately 2500 decays. The p-value under the hypothesis of no CP violation is 41%, and in no bin is a CP asymmetry greater than 5.5% observed. All results are consistent with the hypothesis of no CP violation at the current sensitivity

    Search for the lepton-flavor-violating decays Bs0→e±Ό∓ and B0→e±Ό∓

    Get PDF
    A search for the lepton-flavor-violating decays Bs0→e±Ό∓ and B0→e±Ό∓ is performed with a data sample, corresponding to an integrated luminosity of 1.0  fb-1 of pp collisions at √s=7  TeV, collected by the LHCb experiment. The observed number of Bs0→e±Ό∓ and B0→e±Ό∓ candidates is consistent with background expectations. Upper limits on the branching fractions of both decays are determined to be B(Bs0→e±Ό∓)101  TeV/c2 and MLQ(B0→e±Ό∓)>126  TeV/c2 at 95% C.L., and are a factor of 2 higher than the previous bounds
    • 

    corecore