Learning Moore Machines from Input-Output Traces

The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this problem for finite state machines with inputs and outputs, and in particular for Moore machines. We develop three algorithms for solving this problem: (1) the PTAP algorithm, which transforms a set of input-output traces into an incomplete Moore machine and then completes the machine with self-loops; (2) the PRPNI algorithm, which uses the well-known RPNI algorithm for automata learning to learn a product of automata encoding a Moore machine; and (3) the MooreMI algorithm, which directly learns a Moore machine using PTAP extended with state merging. We prove that MooreMI has the fundamental identification in the limit property. We also compare the algorithms experimentally in terms of the size of the learned machine and several notions of accuracy, introduced in this paper. Finally, we compare with OSTIA, an algorithm that learns a more general class of transducers, and find that OSTIA generally does not learn a Moore machine, even when fed with a characteristic sample

Reconstructing grassland fire history using sedimentary charcoal: Considering count, size and shape

Citation: Leys, B. A., Commerford, J. L., & McLauchlan, K. K. (2017). Reconstructing grassland fire history using sedimentary charcoal: Considering count, size and shape. Plos One, 12(4), 15. doi:10.1371/journal.pone.0176445Fire is a key Earth system process, with 80% of annual fire activity taking place in grassland areas. However, past fire regimes in grassland systems have been difficult to quantify due to challenges in interpreting the charcoal signal in depositional environments. To improve reconstructions of grassland fire regimes, it is essential to assess two key traits: (1) charcoal count, and (2) charcoal shape. In this study, we quantified the number of charcoal pieces in 51 sediment samples of ponds in the Great Plains and tested its relevance as a proxy for the fire regime by examining 13 potential factors influencing charcoal count, including various fire regime components (e.g. the fire frequency, the area burned, and the fire season), vegetation cover and pollen assemblages, and climate variables. We also quantified the width to length (W: L) ratio of charcoal particles, to assess its utility as a proxy of fuel types in grassland environments by direct comparison with vegetation cover and pollen assemblages. Our first conclusion is that charcoal particles produced by grassland fires are smaller than those produced by forest fires. Thus, a mesh size of 120 mu m as used in forested environments is too large for grassland ecosystems. We recommend counting all charcoal particles over 60 mu m in grasslands and mixed grass-forest environments to increase the number of samples with useful data. Second, a W: L ratio of 0.5 or smaller appears to be an indicator for fuel types, when vegetation surrounding the site is before composed of at least 40% grassland vegetation. Third, the area burned within 1060m of the depositional environments explained both the count and the area of charcoal particles. Therefore, changes in charcoal count or charcoal area through time indicate a change in area burned. The fire regimes of grassland systems, including both human and climatic influences on fire behavior, can be characterized by long-term charcoal records

UBR2 of the N-End Rule Pathway Is Required for Chromosome Stability via Histone Ubiquitylation in Spermatocytes and Somatic Cells

The N-end rule pathway is a proteolytic system in which its recognition components (N-recognins) recognize destabilizing N-terminal residues of short-lived proteins as an essential element of specific degrons, called N-degrons. The RING E3 ligases UBR2 and UBR1 are major N-recognins that share size (200 kDa), conserved domains and substrate specificities to N-degrons. Despite the known function of the N-end rule pathway in degradation of cytosolic proteins, the major phenotype of UBR2-deficient male mice is infertility caused by arrest of spermatocytes at meiotic prophase I. UBR2-deficient spermatocytes are impaired in transcriptional silencing of sex chromosome-linked genes and ubiquitylation of histone H2A. In this study we show that the recruitment of UBR2 to meiotic chromosomes spatiotemporally correlates to the induction of chromatin-associated ubiquitylation, which is significantly impaired in UBR2-deficient spermatocytes. UBR2 functions as a scaffold E3 that promotes HR6B/UbcH2-dependent ubiquitylation of H2A and H2B but not H3 and H4, through a mechanism distinct from typical polyubiquitylation. The E3 activity of UBR2 in histone ubiquitylation is allosterically activated by dipeptides bearing destabilizing N-terminal residues. Insufficient monoubiquitylation and polyubiquitylation on UBR2-deficient meiotic chromosomes correlate to defects in double strand break (DSB) repair and other meiotic processes, resulting in pachytene arrest at stage IV and apoptosis. Some of these functions of UBR2 are observed in somatic cells, in which UBR2 is a chromatin-binding protein involved in chromatin-associated ubiquitylation upon DNA damage. UBR2-deficient somatic cells show an array of chromosomal abnormalities, including hyperproliferation, chromosome instability, and hypersensitivity to DNA damage-inducing reagents. UBR2-deficient mice enriched in C57 background die upon birth with defects in lung expansion and neural development. Thus, UBR2, known as the recognition component of a major cellular proteolytic system, is associated with chromatin and controls chromatin dynamics and gene expression in both germ cells and somatic cells

Cdc20 Is Critical for Meiosis I and Fertility of Female Mice

Chromosome missegregation in germ cells is an important cause of unexplained infertility, miscarriages, and congenital birth defects in humans. However, the molecular defects that lead to production of aneuploid gametes are largely unknown. Cdc20, the activating subunit of the anaphase-promoting complex/cyclosome (APC/C), initiates sister-chromatid separation by ordering the destruction of two key anaphase inhibitors, cyclin B1 and securin, at the transition from metaphase to anaphase. The physiological significance and full repertoire of functions of mammalian Cdc20 are unclear at present, mainly because of the essential nature of this protein in cell cycle progression. To bypass this problem we generated hypomorphic mice that express low amounts of Cdc20. These mice are healthy and have a normal lifespan, but females produce either no or very few offspring, despite normal folliculogenesis and fertilization rates. When mated with wild-type males, hypomorphic females yield nearly normal numbers of fertilized eggs, but as these embryos develop, they become malformed and rarely reach the blastocyst stage. In exploring the underlying mechanism, we uncover that the vast majority of these embryos have abnormal chromosome numbers, primarily due to chromosome lagging and chromosome misalignment during meiosis I in the oocyte. Furthermore, cyclin B1, cyclin A2, and securin are inefficiently degraded in metaphase I; and anaphase I onset is markedly delayed. These results demonstrate that the physiologically effective threshold level of Cdc20 is high for female meiosis I and identify Cdc20 hypomorphism as a mechanism for chromosome missegregation and formation of aneuploid gametes

Validating the concept of mutational signatures with isogenic cell models.

The diversity of somatic mutations in human cancers can be decomposed into individual mutational signatures, patterns of mutagenesis that arise because of DNA damage and DNA repair processes that have occurred in cells as they evolved towards malignancy. Correlations between mutational signatures and environmental exposures, enzymatic activities and genetic defects have been described, but human cancers are not ideal experimental systems-the exposures to different mutational processes in a patient's lifetime are uncontrolled and any relationships observed can only be described as an association. Here, we demonstrate the proof-of-principle that it is possible to recreate cancer mutational signatures in vitro using CRISPR-Cas9-based gene-editing experiments in an isogenic human-cell system. We provide experimental and algorithmic methods to discover mutational signatures generated under highly experimentally-controlled conditions. Our in vitro findings strikingly recapitulate in vivo observations of cancer data, fundamentally validating the concept of (particularly) endogenously-arising mutational signatures

Exacerbated fires in Mediterranean Europe due to anthropogenic warming projected with non-stationary climate-fire models

The observed trend towards warmer and drier conditions in southern Europe is projected to continue in the next decades, possibly leading to increased risk of large fires. However, an assessment of climate change impacts on fires at and above the 1.5 °C Paris target is still missing. Here, we estimate future summer burned area in Mediterranean Europe under 1.5, 2, and 3 °C global warming scenarios, accounting for possible modifications of climate-fire relationships under changed climatic conditions owing to productivity alterations. We found that such modifications could be beneficial, roughly halving the fire-intensifying signals. In any case, the burned area is robustly projected to increase. The higher the warming level is, the larger is the increase of burned area, ranging from ~40% to ~100% across the scenarios. Our results indicate that significant benefits would be obtained if warming were limited to well below 2 °C

First Measurement of the Total Neutron Cross Section on Argon Between 100 and 800 MeV

We report the first measurement of the neutron cross section on argon in the energy range of 100-800 MeV. The measurement was obtained with a 4.3-hour exposure of the Mini-CAPTAIN detector to the WNR/LANSCE beam at LANL. The total cross section is measured from the attenuation coefficient of the neutron flux as it traverses the liquid argon volume. A set of 2,631 candidate interactions is divided in bins of the neutron kinetic energy calculated from time-of-flight measurements. These interactions are reconstructed with custom-made algorithms specifically designed for the data in a time projection chamber the size of the Mini-CAPTAIN detector. The energy averaged cross section is $0.91 \pm{} 0.10~\mathrm{(stat.)} \pm{} 0.09~\mathrm{(sys.)}~\mathrm{barns}$. A comparison of the measured cross section is made to the GEANT4 and FLUKA event generator packages.Comment: 5 pages, 1 table, 3 figures, submitted to Physical Review Letter

A Mitosis Block Links Active Cell Cycle with Human Epidermal Differentiation and Results in Endoreplication

How human self-renewal tissues co-ordinate proliferation with differentiation is unclear. Human epidermis undergoes continuous cell growth and differentiation and is permanently exposed to mutagenic hazard. Keratinocytes are thought to arrest cell growth and cell cycle prior to terminal differentiation. However, a growing body of evidence does not satisfy this model. For instance, it does not explain how skin maintains tissue structure in hyperproliferative benign lesions. We have developed and applied novel cell cycle techniques to human skin in situ and determined the dynamics of key cell cycle regulators of DNA replication or mitosis, such as cyclins E, A and B, or members of the anaphase promoting complex pathway: cdc14A, Ndc80/Hec1 and Aurora kinase B. The results show that actively cycling keratinocytes initiate terminal differentiation, arrest in mitosis, continue DNA replication in a special G2/M state, and become polyploid by mitotic slippage. They unambiguously demonstrate that cell cycle progression coexists with terminal differentiation, thus explaining how differentiating cells increase in size. Epidermal differentiating cells arrest in mitosis and a genotoxic-induced mitosis block rapidly pushes epidermal basal cells into differentiation and polyploidy. These observations unravel a novel mitosis-differentiation link that provides new insight into skin homeostasis and cancer. It might constitute a self-defence mechanism against oncogenic alterations such as Myc deregulation