246 research outputs found

    Ehrenfeucht–Fraïssé games on ordinals

    Get PDF
    Two structures A and B are n-equivalent if player II has a winning strategy in the n-move Ehrenfeucht–Fraïssé game on A and B. Ordinals and m-coloured ordinals are studied up to n-equivalence for various values of m and n

    Optimal Uncertainty Quantification

    Get PDF
    We propose a rigorous framework for Uncertainty Quantification (UQ) in which the UQ objectives and the assumptions/information set are brought to the forefront. This framework, which we call \emph{Optimal Uncertainty Quantification} (OUQ), is based on the observation that, given a set of assumptions and information about the problem, there exist optimal bounds on uncertainties: these are obtained as values of well-defined optimization problems corresponding to extremizing probabilities of failure, or of deviations, subject to the constraints imposed by the scenarios compatible with the assumptions and information. In particular, this framework does not implicitly impose inappropriate assumptions, nor does it repudiate relevant information. Although OUQ optimization problems are extremely large, we show that under general conditions they have finite-dimensional reductions. As an application, we develop \emph{Optimal Concentration Inequalities} (OCI) of Hoeffding and McDiarmid type. Surprisingly, these results show that uncertainties in input parameters, which propagate to output uncertainties in the classical sensitivity analysis paradigm, may fail to do so if the transfer functions (or probability distributions) are imperfectly known. We show how, for hierarchical structures, this phenomenon may lead to the non-propagation of uncertainties or information across scales. In addition, a general algorithmic framework is developed for OUQ and is tested on the Caltech surrogate model for hypervelocity impact and on the seismic safety assessment of truss structures, suggesting the feasibility of the framework for important complex systems. The introduction of this paper provides both an overview of the paper and a self-contained mini-tutorial about basic concepts and issues of UQ.Comment: 90 pages. Accepted for publication in SIAM Review (Expository Research Papers). See SIAM Review for higher quality figure

    Characteristics of starch-based films plasticised by glycerol and by the ionic liquid 1-ethyl-3-methylimidazolium acetate: A comparative study

    Get PDF
    This paper reports the plasticisation effect of the ionic liquid, 1-ethyl-3-methylimidazolium acetate ([Emim][OAc]), as compared with the traditionally used plasticiser, glycerol, on the characteristics of starch-based films. For minimising the additional effect of processing, a simple compression moulding process (which involves minimal shear) was used for preparation of starch-based films. The results show that [Emim][OAc] was favourable for plasticisation, i.e., disruption of starch granules (by scanning electron microscopy), and could result in a more amorphous structure in the starch-based materials (by X-ray diffraction and dynamic mechanical analysis). 13C CP/MAS and SPE/MAS NMR spectroscopy revealed that not only was the crystallinity reduced by [Emim][OAc], but also the amorphous starch present was plasticised to a more mobile form as indicated by the appearance of amorphous starch in the SPE/MAS spectrum. Mechanical results illustrate that, when either glycerol or [Emim][OAc] was used, a higher plasticiser content could contribute to higher flexibility. In spite of the accelerated thermal degradation of starch by [Emim][OAc] as shown by thermogravimetric analysis, the biodegradation study revealed the antimicrobial effect of [Emim][OAc] on the starch-based materials. Considering the high-amylose starch used here which is typically difficult to gelatinise in a traditional plasticiser (water and/or glycerol), [Emim][OAc] is demonstrated to be a promising plasticiser for starch to develop “green” flexible antimicrobial materials for novel applications

    E2F6 initiates stable epigenetic silencing of germline genes during embryonic development.

    Get PDF
    In mouse development, long-term silencing by CpG island DNA methylation is specifically targeted to germline genes; however, the molecular mechanisms of this specificity remain unclear. Here, we demonstrate that the transcription factor E2F6, a member of the polycomb repressive complex 1.6 (PRC1.6), is critical to target and initiate epigenetic silencing at germline genes in early embryogenesis. Genome-wide, E2F6 binds preferentially to CpG islands in embryonic cells. E2F6 cooperates with MGA to silence a subgroup of germline genes in mouse embryonic stem cells and in embryos, a function that critically depends on the E2F6 marked box domain. Inactivation of E2f6 leads to a failure to deposit CpG island DNA methylation at these genes during implantation. Furthermore, E2F6 is required to initiate epigenetic silencing in early embryonic cells but becomes dispensable for the maintenance in differentiated cells. Our findings elucidate the mechanisms of epigenetic targeting of germline genes and provide a paradigm for how transient repression signals by DNA-binding factors in early embryonic cells are translated into long-term epigenetic silencing during mouse development

    Human Resources and the Resource Based View of the Firm

    Get PDF
    The resource-based view (RBV) of the firm has influenced the field of strategic human resource management (SHRM) in a number of ways. This paper explores the impact of the RBV on the theoretical and empirical development of SHRM. It explores how the fields of strategy and SHRM are beginning to converge around a number of issues, and proposes a number of implications of this convergence
    • …
    corecore