Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions

In this paper we turn the spotlight on a class of lexicographic ranking functions introduced by Bradley, Manna and Sipma in a seminal CAV 2005 paper, and establish for the first time the complexity of some problems involving the inference of such functions for linear-constraint loops (without precondition). We show that finding such a function, if one exists, can be done in polynomial time in a way which is sound and complete when the variables range over the rationals (or reals). We show that when variables range over the integers, the problem is harder -- deciding the existence of a ranking function is coNP-complete. Next, we study the problem of minimizing the number of components in the ranking function (a.k.a. the dimension). This number is interesting in contexts like computing iteration bounds and loop parallelization. Surprisingly, and unlike the situation for some other classes of lexicographic ranking functions, we find that even deciding whether a two-component ranking function exists is harder than the unrestricted problem: NP-complete over the rationals and $\Sigma^P_2$-complete over the integers.Comment: Technical report for a corresponding CAV'15 pape

Racial/ethnic differences in job loss for women with breast cancer

IntroductionWe examined race/ethnic differences in treatment-related job loss and the financial impact of treatment-related job loss, in a population-based sample of women diagnosed with breast cancer.MethodsThree thousand two hundred fifty two women with non-metastatic breast cancer diagnosed (August 2005-February 2007) within the Los Angeles County and Detroit Metropolitan Surveillance Epidemiology and End Results registries, were identified and asked to complete a survey (mean time from diagnosis = 8.9 months). Latina and African American women were over-sampled (n = 2268, eligible response rate 72.1%).ResultsOne thousand one hundred eleven women (69.6%) of working age (<65 years) were working for pay at time of diagnosis. Of these women, 10.4% (24.1% Latina, 10.1% African American, 6.9% White, p < 0.001) reported that they lost or quit their job since diagnosis due to breast cancer or its treatment (defined as job loss). Latina women were more likely to experience job loss compared to White women (OR = 2.0, p = 0.013)), independent of sociodemographic factors. There were no significant differences in job loss between African American and White women, independent of sociodemographic factors. Additional adjustments for clinical and treatment factors revealed a significant interaction between race/ethnicity and chemotherapy (p = 0.007). Among women who received chemotherapy, Latina women were more likely to lose their job compared to White women (OR = 3.2, p < 0.001), however, there were no significant differences between Latina and White women among those who did not receive chemotherapy. Women who lost their job were more likely to experience financial strain (e.g. difficulty paying bills 27% vs. 11%, p < 0.001).ConclusionJob loss is a serious consequence of treatment for women with breast cancer. Clinicians and staff need to be aware of aspects of treatment course that place women at higher risk for job loss, especially ethnic minorities receiving chemotherapy

Four small puzzles that Rosetta doesn't solve

A complete macromolecule modeling package must be able to solve the simplest structure prediction problems. Despite recent successes in high resolution structure modeling and design, the Rosetta software suite fares poorly on deceptively small protein and RNA puzzles, some as small as four residues. To illustrate these problems, this manuscript presents extensive Rosetta results for four well-defined test cases: the 20-residue mini-protein Trp cage, an even smaller disulfide-stabilized conotoxin, the reactive loop of a serine protease inhibitor, and a UUCG RNA tetraloop. In contrast to previous Rosetta studies, several lines of evidence indicate that conformational sampling is not the major bottleneck in modeling these small systems. Instead, approximations and omissions in the Rosetta all-atom energy function currently preclude discriminating experimentally observed conformations from de novo models at atomic resolution. These molecular "puzzles" should serve as useful model systems for developers wishing to make foundational improvements to this powerful modeling suite.Comment: Published in PLoS One as a manuscript for the RosettaCon 2010 Special Collectio

High-throughput identification of genotype-specific cancer vulnerabilities in mixtures of barcoded tumor cell lines.

Hundreds of genetically characterized cell lines are available for the discovery of genotype-specific cancer vulnerabilities. However, screening large numbers of compounds against large numbers of cell lines is currently impractical, and such experiments are often difficult to control. Here we report a method called PRISM that allows pooled screening of mixtures of cancer cell lines by labeling each cell line with 24-nucleotide barcodes. PRISM revealed the expected patterns of cell killing seen in conventional (unpooled) assays. In a screen of 102 cell lines across 8,400 compounds, PRISM led to the identification of BRD-7880 as a potent and highly specific inhibitor of aurora kinases B and C. Cell line pools also efficiently formed tumors as xenografts, and PRISM recapitulated the expected pattern of erlotinib sensitivity in vivo

Strain- and Adsorption-Dependent Electronic States and Transport or Localization in Graphene

The chapter generalizes results on influence of uniaxial strain and adsorption on the electron states and charge transport or localization in graphene with different configurations of imperfections (point defects): resonant (neutral) adsorbed atoms either oxygen- or hydrogen-containing molecules or functional groups, vacancies or substitutional atoms, charged impurity atoms or molecules, and distortions. To observe electronic properties of graphene-admolecules system, we applied electron paramagnetic resonance technique in a broad temperature range for graphene oxides as a good basis for understanding the electrotransport properties of other active carbons. Applied technique allowed observation of possible metal-insulator transition and sorption pumping effect as well as discussion of results in relation to the granular metal model. The electronic and transport properties are calculated within the framework of the tight-binding model along with the Kubo-Greenwood quantum-mechanical formalism. Depending on electron density and type of the sites, the conductivity for correlated and ordered adsorbates is found to be enhanced in dozens of times as compared to the cases of their random distribution. In case of the uniaxially strained graphene, the presence of point defects counteracts against or contributes to the band-gap opening according to their configurations. The band-gap behaviour is found to be nonmonotonic with strain in case of a simultaneous action of defect ordering and zigzag deformation. The amount of localized charge carriers (spins) is found to be correlated with the content of adsorbed centres responsible for the formation of potential barriers and, in turn, for the localization effects. Physical and chemical states of graphene edges, especially at a uniaxial strain along one of them, play a crucial role in electrical transport phenomena in graphene-based materials.Comment: 16 pages, 10 figure

Trans-Species Polymorphism and Selection in the MHC Class II DRA Genes of Domestic Sheep

Highly polymorphic genes with central roles in lymphocyte mediated immune surveillance are grouped together in the major histocompatibility complex (MHC) in higher vertebrates. Generally, across vertebrate species the class II MHC DRA gene is highly conserved with only limited allelic variation. Here however, we provide evidence of trans-species polymorphism at the DRA locus in domestic sheep (Ovis aries). We describe variation at the Ovar-DRA locus that is far in excess of anything described in other vertebrate species. The divergent DRA allele (Ovar-DRA*0201) differs from the sheep reference sequences by 20 nucleotides, 12 of which appear non-synonymous. Furthermore, DRA*0201 is paired with an equally divergent DRB1 allele (Ovar-DRB1*0901), which is consistent with an independent evolutionary history for the DR sub-region within this MHC haplotype. No recombination was observed between the divergent DRA and B genes in a range of breeds and typical levels of MHC class II DR protein expression were detected at the surface of leukocyte populations obtained from animals homozygous for the DRA*0201, DRB1*0901 haplotype. Bayesian phylogenetic analysis groups Ovar-DRA*0201 with DRA sequences derived from species within the Oryx and Alcelaphus genera rather than clustering with other ovine and caprine DRA alleles. Tests for Darwinian selection identified 10 positively selected sites on the branch leading to Ovar-DRA*0201, three of which are predicted to be associated with the binding of peptide antigen. As the Ovis, Oryx and Alcelaphus genera have not shared a common ancestor for over 30 million years, the DRA*0201 and DRB1*0901 allelic pair is likely to be of ancient origin and present in the founding population from which all contemporary domestic sheep breeds are derived. The conservation of the integrity of this unusual DR allelic pair suggests some selective advantage which is likely to be associated with the presentation of pathogen antigen to T-cells and the induction of protective immunity

Metagenomic Comparison of Two Thiomicrospira Lineages Inhabiting Contrasting Deep-Sea Hydrothermal Environments

Background: The most widespread bacteria in oxic zones of carbonate chimneys at the serpentinite-hosted Lost City hydrothermal field, Mid-Atlantic Ridge, belong to the Thiomicrospira group of sulfur-oxidizing chemolithoautotrophs. It is unclear why Thiomicrospira-like organisms thrive in these chimneys considering that Lost City hydrothermal fluids are notably lacking in hydrogen sulfide and carbon dioxide. Methodology/Principal Findings: Here we describe metagenomic sequences obtained from a Lost City carbonate chimney that are highly similar to the genome of Thiomicrospira crunogena XCL-2, an isolate from a basalt-hosted hydrothermal vent in the Pacific Ocean. Even though T. crunogena and Lost City Thiomicrospira inhabit different types of hydrothermal systems in different oceans, their genomic contents are highly similar. For example, sequences encoding the sulfur oxidation and carbon fixation pathways (including a carbon concentration mechanism) of T. crunogena are also present in the Lost City metagenome. Comparative genomic analyses also revealed substantial genomic changes that must have occurred since the divergence of the two lineages, including large genomic rearrangements, gene fusion events, a prophage insertion, and transposase activity. Conclusions/Significance: Our results show significant genomic similarity between Thiomicrospira organisms inhabiting different kinds of hydrothermal systems in different oceans, suggesting that these organisms are widespread and highl

EZH2 Codon 641 Mutations are Common in BCL2-Rearranged Germinal Center B Cell Lymphomas

Mutations at codon 641 of EZH2 are recurrent in germinal center B cell lymphomas, and the most common variants lead to altered EZH2 enzymatic activity and enhanced tri-methylation of histone H3 at lysine 27, a repressive chromatin modification. As an initial step toward screening patients for cancer genotype-directed therapy, we developed a screening assay for EZH2 codon 641 mutations amenable for testing formalin-fixed clinical specimens, based on the sensitive SNaPshot single nucleotide extension technology. We detected EZH2 mutations in 12/55 (22%) follicular lymphomas (FL), 5/35 (14%) diffuse large B cell lymphomas with a germinal center immunophenotype (GCB-DLBCL), and 2/11 (18%) high grade B cell lymphomas with concurrent rearrangements of BCL2 and MYC. No EZH2 mutations were detected in cases of Burkitt lymphoma (0/23). EZH2 mutations were frequently associated with the presence of BCL2 rearrangement (BCL2-R) in both the FL (28% of BCL-R cases versus 0% of BCL2-WT cases, p<0.05) and GCB-DLBCL groups (33% of BCL2-R cases versus 4% of BCL2-WT cases, p<0.04), and across all lymphoma types excluding BL (27% of BCL2-R cases versus 3% of BCL2-WT cases, p<0.003). We confirmed gain-of-function activity for all previously reported EZH2 codon 641 mutation variants. Our findings suggest that EZH2 mutations constitute an additional genetic “hit” in many BCL2-rearranged germinal center B cell lymphomas. Our work may be helpful in the selection of lymphoma patients for future trials of pharmacologic agents targeting EZH2 and EZH2-regulated pathways