258 research outputs found

    Compact Labelings For Efficient First-Order Model-Checking

    Get PDF
    We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the graphs of every class that is \emph{nicely locally cwd-decomposable}. This notion generalizes that of a \emph{nicely locally tree-decomposable} class. The graphs of such classes can be covered by graphs of bounded \emph{clique-width} with limited overlaps. We also consider such labelings for \emph{bounded} first-order formulas on graph classes of \emph{bounded expansion}. Some of these results are extended to counting queries

    On Second-Order Monadic Monoidal and Groupoidal Quantifiers

    Get PDF
    We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages. We give a computational classification of the expressive power of these logics over strings with varying built-in predicates. In particular, we show that ATIME(n) can be logically characterized in terms of second-order monadic monoidal quantifiers

    CuInSe2 thin films produced by rf sputtering in Ar/H2 atmospheres

    Get PDF
    Structural, compositional, optical, and electrical properties of CuInSe2thin filmsgrown by rf reactive sputtering from a Se excess target in Ar/H2 atmospheres are presented. The addition of H2 to the sputtering atmospheres allows the control of stoichiometry of films giving rise to remarkable changes in the film properties. Variation of substrate temperature causes changes in film composition because of the variation of hydrogen reactivity at the substrate. Measurements of resistivity at variable temperatures indicate a hopping conduction mechanism through gap states for films grown at low temperature (100–250 °C), the existence of three acceptor levels at about 0.046, 0.098, and 0.144 eV above valence band for films grown at intermediate temperature (250–350 °C), and a pseudometallic behavior for film grown at high temperatures (350–450 °C). Chalcopyrite polycrystalline thin films of CuInSe2 with an average grain size of 1 μm, an optical gap of 1.01 eV, and resistivities from 10− 1 to 103 Ω cm can be obtained by adding 1.5% of H2 to the sputtering atmosphere and by varying the substrate temperature from 300 to 400 °C

    The culture variable vis-à-vis anti-bribery law: a grey area in transnational corporate criminal liability

    Get PDF
    Cross-border transactions are generating corresponding globalisation of law enforcement efforts. Culture has significantly influenced the legal analysis of anti-bribery law. With the increase of transnational bribery, benefits from globalisation will be undermined unless an effective legal regime can mitigate the harm of bribery. It is perceived that corruption in China is more prevalent than in the West given its embedded place in Chinese culture. It is further alleged that Chinese multinational companies (MNCs) are taking advantage of an unlevel playing field, as they are not subject to stringently-enforced anti-bribery laws. This hypothesis creates a myriad of anti-bribery problems in terms of legislation and enforcement, which particularly manifest in China’s perceived cultural toleration of bribery. Cultural assumptions undermine the global anti-bribery regime and compromise potential collaborative anti-bribery efforts across jurisdictions in a rapidly globalizing world. The Chinese culture does not necessarily impede China’s criminalisation of paying bribes to foreign officials. It is argued that the cultural role should not be overestimated, otherwise the hazard of the ethnocentric engagement with the Chinese culture would affect the ability of foreign MNCs to integrate their global compliance programmes. Multinationals can only mitigate their exposure to criminal liability globally, provided that they comply robustly with anti-bribery laws of both home and host jurisdictions

    Caspase-2-mediated cell death is required for deleting aneuploid cells

    Get PDF
    Caspase-2, one of the most evolutionarily conserved of the caspase family, has been implicated in maintenance of chromosomal stability and tumour suppression. Caspase-2 deficient (Casp2-/-) mice develop normally but show premature ageing-related traits and when challenged by certain stressors, succumb to enhanced tumour development and aneuploidy. To test how caspase-2 protects against chromosomal instability, we utilized an ex vivo system for aneuploidy where primary splenocytes from Casp2-/- mice were exposed to anti-mitotic drugs and followed up by live cell imaging. Our data show that caspase-2 is required for deleting mitotically aberrant cells. Acute silencing of caspase-2 in cultured human cells recapitulated these results. We further generated Casp2C320S mutant mice to demonstrate that caspase-2 catalytic activity is essential for its function in limiting aneuploidy. Our results provide direct evidence that the apoptotic activity of caspase-2 is necessary for deleting cells with mitotic aberrations to limit aneuploidy.S Dawar, Y Lim, J Puccini, M White, P Thomas, L Bouchier-Hayes, D R Green, L Dorstyn and S Kuma

    A Protocol for the Secure Linking of Registries for HPV Surveillance

    Get PDF
    In order to monitor the effectiveness of HPV vaccination in Canada the linkage of multiple data registries may be required. These registries may not always be managed by the same organization and, furthermore, privacy legislation or practices may restrict any data linkages of records that can actually be done among registries. The objective of this study was to develop a secure protocol for linking data from different registries and to allow on-going monitoring of HPV vaccine effectiveness.A secure linking protocol, using commutative hash functions and secure multi-party computation techniques was developed. This protocol allows for the exact matching of records among registries and the computation of statistics on the linked data while meeting five practical requirements to ensure patient confidentiality and privacy. The statistics considered were: odds ratio and its confidence interval, chi-square test, and relative risk and its confidence interval. Additional statistics on contingency tables, such as other measures of association, can be added using the same principles presented. The computation time performance of this protocol was evaluated.The protocol has acceptable computation time and scales linearly with the size of the data set and the size of the contingency table. The worse case computation time for up to 100,000 patients returned by each query and a 16 cell contingency table is less than 4 hours for basic statistics, and the best case is under 3 hours.A computationally practical protocol for the secure linking of data from multiple registries has been demonstrated in the context of HPV vaccine initiative impact assessment. The basic protocol can be generalized to the surveillance of other conditions, diseases, or vaccination programs

    Five areas to advance branding theory and practice

    Get PDF
    The paper suggests five areas to advance branding theory and practice based on the authors’ recent work in brand management. In this commentary, we aim to put forward suggestions and ideas for further research in brand management; ideas, which we believe will have an impact on the way branding is researched and practiced by both academics and practitioners alike. We will focus on the future of branding in the following areas, inspired by our own work in the field: (1) branding in higher education, (2) branding in Asia Pacific, (3) brand ambidexterity, (4) brand innovation on social media, and (5) brand likeability

    A phase II study of sequential neoadjuvant gemcitabine plus doxorubicin followed by gemcitabine plus cisplatin in patients with operable breast cancer: prediction of response using molecular profiling

    Get PDF
    This study examined the pathological complete response (pCR) rate and safety of sequential gemcitabine-based combinations in breast cancer. We also examined gene expression profiles from tumour biopsies to identify biomarkers predictive of response. Indian women with large or locally advanced breast cancer received 4 cycles of gemcitabine 1200 mg m−2 plus doxorubicin 60 mg m−2 (Gem+Dox), then 4 cycles of gemcitabine 1000 mg m−2 plus cisplatin 70 mg m−2 (Gem+Cis), and surgery. Three alternate dosing sequences were used during cycle 1 to examine dynamic changes in molecular profiles. Of 65 women treated, 13 (24.5% of 53 patients with surgery) had a pCR and 22 (33.8%) had a complete clinical response. Patients administered Gem d1, 8 and Dox d2 in cycle 1 (20 of 65) reported more toxicities, with G3/4 neutropenic infection/febrile neutropenia (7 of 20) as the most common cycle-1 event. Four drug-related deaths occurred. In 46 of 65 patients, 10-fold cross validated supervised analyses identified gene expression patterns that predicted with ⩾73% accuracy (1) clinical complete response after eight cycles, (2) overall clinical complete response, and (3) pCR. This regimen shows strong activity. Patients receiving Gem d1, 8 and Dox d2 experienced unacceptable toxicity, whereas patients on other sequences had manageable safety profiles. Gene expression patterns may predict benefit from gemcitabine-containing neoadjuvant therapy
    corecore