Nominal Unification of Higher Order Expressions with Recursive Let

A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for plain expressions and for DAGs and determine the complexity of corresponding unification problems.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Efavirenz use during pregnancy and for women of child-bearing potential

BACKGROUND: Efavirenz is the preferred non-nucleoside reverse transcriptase inhibitor for first-line antiretroviral treatment in many countries. For women of childbearing potential, advantages of efavirenz are balanced by concerns that it is teratogenic. This paper reviews evidence of efavirenz teratogenicity and considers implications in common clinical scenarios. FINDINGS: Concerns of efavirenz-induced fetal effects stem from animal studies, although the predictive value of animal data for humans is unknown. Four retrospective cases of central nervous system birth defects in infants with first trimester exposure to efavirenz have been interpreted as being consistent with animal data. In a prospective pregnancy registry, which is subject to fewer potential biases, no increase was detected in overall risk of birth defects following exposure to efavirenz in the first-trimester. DISCUSSION: For women planning a pregnancy or not using contraception, efavirenz should be avoided if alternatives are available. According to WHO guidelines for resource-constrained settings, benefits of efavirenz are likely to outweigh risks for women using contraception. Women who become pregnant while receiving efavirenz often consider drug substitution or temporarily suspending treatment. Both options have substantial risks for maternal and fetal health which, we argue, appear unjustified after the critical period of organogenesis (3–8 weeks post-conception). Efavirenz-based triple regimens, initiated after the first trimester of pregnancy and discontinued after childbirth, are potentially an important alternative for reducing mother-to-child transmission in pregnant women who do not yet require antiretroviral treatment. CONCLUSION: Current recommendations for care for women who become pregnant while receiving efavirenz may need to be re-considered, particularly in settings with limited alternative drugs and laboratory monitoring. With current data limitations, additional adequately powered prospective studies are needed

Towards a consistent mechanism of emulsion polymerization—new experimental details

The application of atypical experimental methods such as conductivity measurements, optical microscopy, and nonstirred polymerizations to investigations of the ‘classical’ batch ab initio emulsion polymerization of styrene revealed astonishing facts. The most important result is the discovery of spontaneous emulsification leading to monomer droplets even in the quiescent styrene in water system. These monomer droplets with a size between a few and some hundreds of nanometers, which are formed by spontaneous emulsification as soon as styrene and water are brought into contact, have a strong influence on the particle nucleation, the particle morphology, and the swelling of the particles. Experimental results confirm that micelles of low-molecular-weight surfactants are not a major locus of particle nucleation. Brownian dynamics simulations show that the capture of matter by the particles strongly depends on the polymer volume fraction and the size of the captured species (primary free radicals, oligomers, single monomer molecules, or clusters)

Higgs After the Discovery: A Status Report

Recently, the ATLAS and CMS collaborations have announced the discovery of a 125 GeV particle, commensurable with the Higgs boson. We analyze the 2011 and 2012 LHC and Tevatron Higgs data in the context of simplified new physics models, paying close attention to models which can enhance the diphoton rate and allow for a natural weak-scale theory. Combining the available LHC and Tevatron data in the ZZ* 4-lepton, WW* 2-lepton, diphoton, and b-bbar channels, we derive constraints on the effective low-energy theory of the Higgs boson. We map several simplified scenarios to the effective theory, capturing numerous new physics models such as supersymmetry, composite Higgs, dilaton. We further study models with extended Higgs sectors which can naturally enhance the diphoton rate. We find that the current Higgs data are consistent with the Standard Model Higgs boson and, consequently, the parameter space in all models which go beyond the Standard Model is highly constrained.Comment: 37 pages; v2: ATLAS dijet-tag diphoton channel added, dilaton and doublet-singlet bugs corrected, references added; v3: ATLAS WW channel included, comments and references adde

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Sexually Antagonistic “Zygotic Drive” of the Sex Chromosomes

Genomic conflict is perplexing because it causes the fitness of a species to decline rather than improve. Many diverse forms of genomic conflict have been identified, but this extant tally may be incomplete. Here, we show that the unusual characteristics of the sex chromosomes can, in principle, lead to a previously unappreciated form of sexual genomic conflict. The phenomenon occurs because there is selection in the heterogametic sex for sex-linked mutations that harm the sex of offspring that does not carry them, whenever there is competition among siblings. This harmful phenotype can be expressed as an antagonistic green-beard effect that is mediated by epigenetic parental effects, parental investment, and/or interactions among siblings. We call this form of genomic conflict sexually antagonistic “zygotic drive”, because it is functionally equivalent to meiotic drive, except that it operates during the zygotic and postzygotic stages of the life cycle rather than the meiotic and gametic stages. A combination of mathematical modeling and a survey of empirical studies is used to show that sexually antagonistic zygotic drive is feasible, likely to be widespread in nature, and that it can promote a genetic “arms race” between the homo- and heteromorphic sex chromosomes. This new category of genomic conflict has the potential to strongly influence other fundamental evolutionary processes, such as speciation and the degeneration of the Y and W sex chromosomes. It also fosters a new genetic hypothesis for the evolution of enigmatic fitness-reducing traits like the high frequency of spontaneous abortion, sterility, and homosexuality observed in humans

Secondary mutations as a mechanism of cisplatin resistance in BRCA2-mutated cancers

Ovarian carcinomas with mutations in the tumour suppressor BRCA2 are particularly sensitive to platinum compounds. However, such carcinomas ultimately develop cisplatin resistance. The mechanism of that resistance is largely unknown. Here we show that acquired resistance to cisplatin can be mediated by secondary intragenic mutations in BRCA2 that restore the wild-type BRCA2 reading frame. First, in a cisplatin-resistant BRCA2-mutated breast-cancer cell line, HCC1428, a secondary genetic change in BRCA2 rescued BRCA2 function. Second, cisplatin selection of a BRCA2-mutated pancreatic cancer cell line, Capan-1 (refs 3, 4), led to five different secondary mutations that restored the wild-type BRCA2 reading frame. All clones with secondary mutations were resistant both to cisplatin and to a poly(ADP-ribose) polymerase (PARP) inhibitor (AG14361). Finally, we evaluated recurrent cancers from patients whose primary BRCA2-mutated ovarian carcinomas were treated with cisplatin. The recurrent tumour that acquired cisplatin resistance had undergone reversion of its BRCA2 mutation. Our results suggest that secondary mutations that restore the wild-type BRCA2 reading frame may be a major clinical mediator of acquired resistance to platinum-based chemotherapy

Molecular Characterization of a Fus3/Kss1 Type MAPK from Puccinia striiformis f. sp. tritici, PsMAPK1

Puccinia striiformis f. sp. tritici (Pst) is an obligate biotrophic fungus that causes the destructive wheat stripe rust disease worldwide. Due to the lack of reliable transformation and gene disruption method, knowledge about the function of Pst genes involved in pathogenesis is limited. Mitogen-activated protein kinase (MAPK) genes have been shown in a number of plant pathogenic fungi to play critical roles in regulating various infection processes. In the present study, we identified and characterized the first MAPK gene PsMAPK1 in Pst. Phylogenetic analysis indicated that PsMAPK1 is a YERK1 MAP kinase belonging to the Fus3/Kss1 class. Single nucleotide polymerphisms (SNPs) and insertion/deletion were detected in the coding region of PsMAPK1 among six Pst isolates. Real-time RT-PCR analyses revealed that PsMAPK1 expression was induced at early infection stages and peaked during haustorium formation. When expressed in Fusarium graminearum, PsMAPK1 partially rescued the map1 mutant in vegetative growth and pathogenicity. It also partially complemented the defects of the Magnaporthe oryzae pmk1 mutant in appressorium formation and plant infection. These results suggest that F. graminearum and M. oryzae can be used as surrogate systems for functional analysis of well-conserved Pst genes and PsMAPK1 may play a role in the regulation of plant penetration and infectious growth in Pst

Ligand-Induced Modulation of the Free-Energy Landscape of G Protein-Coupled Receptors Explored by Adaptive Biasing Techniques

Extensive experimental information supports the formation of ligand-specific conformations of G protein-coupled receptors (GPCRs) as a possible molecular basis for their functional selectivity for signaling pathways. Taking advantage of the recently published inactive and active crystal structures of GPCRs, we have implemented an all-atom computational strategy that combines different adaptive biasing techniques to identify ligand-specific conformations along pre-determined activation pathways. Using the prototypic GPCR β2-adrenergic receptor as a suitable test case for validation, we show that ligands with different efficacies (either inverse agonists, neutral antagonists, or agonists) modulate the free-energy landscape of the receptor by shifting the conformational equilibrium towards active or inactive conformations depending on their elicited physiological response. Notably, we provide for the first time a quantitative description of the thermodynamics of the receptor in an explicit atomistic environment, which accounts for the receptor basal activity and the stabilization of different active-like states by differently potent agonists. Structural inspection of these metastable states reveals unique conformations of the receptor that may have been difficult to retrieve experimentally