The Multi-Configurational Hartree-Fock close-coupling ansatz: application to Argon photoionization cross section and delays

We present a robust, ab initio method for addressing atom-light interactions and apply it to photoionization of argon. We use a close-coupling ansatz constructed on a multi-configurational Hartree-Fock description of localized states and B-spline expansions of the electron radial wave functions. In this implementation, the general many-electron problem can be tackled thanks to the use of the ATSP2K libraries [CPC 176 (2007) 559]. In the present contribution, we combine this method with exterior complex scaling, thereby allowing for the computation of the complex partial amplitudes that encode the whole dynamics of the photoionization process. The method is validated on the 3s3p6np series of resonances converging to the 3s extraction. Then, it is used for computing the energy dependent differential atomic delay between 3p and 3s photoemission, and agreement is found with the measurements of Gu\'enot et al. [PRA 85 (2012) 053424]. The effect of the presence of resonances in the one-photon spectrum on photoionization delay measurements is studied.Comment: 15 pages, 8 figures, 4 table

Syntax for free: representing syntax with binding using parametricity

We show that, in a parametric model of polymorphism, the type ∀ α. ((α → α) → α) → (α → α → α) → α is isomorphic to closed de Bruijn terms. That is, the type of closed higher-order abstract syntax terms is isomorphic to a concrete representation. To demonstrate the proof we have constructed a model of parametric polymorphism inside the Coq proof assistant. The proof of the theorem requires parametricity over Kripke relations. We also investigate some variants of this representation

A theoretical study of the C- 4So_3/2 and 2Do_{3/2,5/2} bound states and C ground configuration: fine and hyperfine structures, isotope shifts and transition probabilities

This work is an ab initio study of the 2p3 4So_3/2, and 2Do_{3/2,5/2} states of C- and 2p2 3P_{0,1,2}, 1D_2, and 1S_0 states of neutral carbon. We use the multi-configuration Hartree-Fock approach, focusing on the accuracy of the wave function itself. We obtain all C- detachment thresholds, including correlation effects to about 0.5%. Isotope shifts and hyperfine structures are calculated. The achieved accuracy of the latter is of the order of 0.1 MHz. Intra-configuration transition probabilities are also estimated.Comment: 15 pages, 2 figures, 12 table

A Reporter Screen in a Human Haploid Cell Line Identifies CYLD as a Constitutive Inhibitor of NF-κB

The development of forward genetic screens in human haploid cells has the potential to transform our understanding of the genetic basis of cellular processes unique to man. So far, this approach has been limited mostly to the identification of genes that mediate cell death in response to a lethal agent, likely due to the ease with which this phenotype can be observed. Here, we perform the first reporter screen in the near-haploid KBM7 cell line to identify constitutive inhibitors of NF-κB. CYLD was the only currently known negative regulator of NF-κB to be identified, thus uniquely distinguishing this gene. Also identified were three genes with no previous known connection to NF-κB. Our results demonstrate that reporter screens in haploid human cells can be applied to investigate the many complex signaling pathways that converge upon transcription factors

The effects of mindfulness training on weight-loss and health-related behaviours in adults with overweight and obesity: A systematic review and meta-analysis

The aim of this study was to conduct a comprehensive quantitative synthesis of the effects of mindfulness training interventions on weight-loss and health behaviours in adults with overweight and obesity using meta-analytic techniques. Studies included in the analysis (k =12) were randomised controlled trials investigating the effects of any form of mindfulness training on weight loss, impulsive eating, binge eating, or physical activity participation in adults with overweight and obesity. Random effects meta-analysis revealed that mindfulness training had no significant effect on weight loss, but an overall negative effect on impulsive eating (d =-1.13) and binge eating (d =-.90), and a positive effect on physical activity levels (d =.42). Meta-regression analysis showed that methodological features of included studies accounted for 100% of statistical heterogeneity of the effects of mindfulness training on weight loss (R 2 =1,00). Among methodological features, the only significant predictor of weight loss was follow-up distance from post-intervention (ß =1.18; p <.05), suggesting that the longer follow-up distances were associated with greater weight loss. Results suggest that mindfulness training has short-term benefits on health-related behaviours. Future studies should explore the effectiveness of mindfulness training on long-term post-intervention weight loss in adults with overweight and obesity

Automatically proving equivalence by type-safe reflection

We are also grateful for the support of the Scottish Informatics and Computer Science Alliance (SICSA) and EPSRC grant EP/N024222/1.One difficulty with reasoning and programming with dependent types is that proof obligations arise naturally once programs become even moderately sized. For example, implementing an adder for binary numbers indexed over their natural number equivalents naturally leads to proof obligations for equalities of expressions over natural numbers. The need for these equality proofs comes, in intensional type theories, from the fact that the propositional equality enables us to prove as equal terms that are not judgementally equal, which means that the typechecker can’t always obtain equalities by reduction. As far as possible, we would like to solve such proof obligations automatically. In this paper, we show one way to automate these proofs by reflection in the dependently typed programming language Idris. We show how defining reflected terms indexed by the original Idris expression allows us to construct and manipulate proofs. We build a hierarchy of tactics for proving equivalences in semi-groups, monoids, commutative monoids, groups, commutative groups, semi-rings and rings. We also show how each tactic reuses those from simpler structures, thus avoiding duplication of code and proofs.Postprin

SETD3 is an actin histidine methyltransferase that prevents primary dystocia.

For more than 50 years, the methylation of mammalian actin at histidine 73 has been known to occur1. Despite the pervasiveness of His73 methylation, which we find is conserved in several model animals and plants, its function remains unclear and the enzyme that generates this modification is unknown. Here we identify SET domain protein 3 (SETD3) as the physiological actin His73 methyltransferase. Structural studies reveal that an extensive network of interactions clamps the actin peptide onto the surface of SETD3 to orient His73 correctly within the catalytic pocket and to facilitate methyl transfer. His73 methylation reduces the nucleotide-exchange rate on actin monomers and modestly accelerates the assembly of actin filaments. Mice that lack SETD3 show complete loss of actin His73 methylation in several tissues, and quantitative proteomics analysis shows that actin His73 methylation is the only detectable physiological substrate of SETD3. SETD3-deficient female mice have severely decreased litter sizes owing to primary maternal dystocia that is refractory to ecbolic induction agents. Furthermore, depletion of SETD3 impairs signal-induced contraction in primary human uterine smooth muscle cells. Together, our results identify a mammalian histidine methyltransferase and uncover a pivotal role for SETD3 and actin His73 methylation in the regulation of smooth muscle contractility. Our data also support the broader hypothesis that protein histidine methylation acts as a common regulatory mechanism

Inhibitor of growth protein 3 epigenetically silences endogenous retroviral elements and prevents innate immune activation

Endogenous retroviruses (ERVs) are subject to transcriptional repression in adult tissues, in part to prevent autoimmune responses. However, little is known about the epigenetic silencing of ERV expression. Here, we describe a new role for inhibitor of growth family member 3 (ING3), to add to an emerging group of ERV transcriptional regulators. Our results show that ING3 binds to several ERV promoters (for instance MER21C) and establishes an EZH2-mediated H3K27 trimethylation modification. Loss of ING3 leads to decreases of H3K27 trimethylation enrichment at ERVs, induction of MDA5-MAVS-interferon signaling, and functional inhibition of several virus infections. These data demonstrate an important new function of ING3 in ERV silencing and contributing to innate immune regulation in somatic cells