1,341 research outputs found

    Cut elimination for a simple formulation of epsilon calculus

    Get PDF
    AbstractA simple cut elimination proof for arithmetic with the epsilon symbol is used to establish the termination of a modified epsilon substitution process. This opens a possibility of extension to much stronger systems

    Business-related knowledge base of vascular surgeons

    Get PDF
    Digitalitzat per Tecnodo

    TCT-132 Abstract Withdrawn

    Get PDF
    Digitalitzat per Tecnodo

    RNA Processing: Wilms' tumour — the splicing connection?

    Get PDF
    AbstractMajor isoforms of WT1 — products of the tumour suppressor gene WT1, implicated in predisposition to Wilms' tumour — may preferentially interact with splicing factors, suggesting a role for WT1 in RNA processing

    Multivariate periodic wavelet analysis

    Get PDF
    AbstractGeneral multivariate periodic wavelets are an efficient tool for the approximation of multidimensional functions, which feature dominant directions of the periodicity.One-dimensional shift invariant spaces and tensor-product wavelets are generalized to multivariate shift invariant spaces on non-tensor-product patterns. In particular, the algebraic properties of the automorphism group are investigated. Possible patterns are classified. By divisibility considerations, decompositions of shift invariant spaces are given.The results are applied to construct multivariate orthogonal Dirichlet kernels and the respective wavelets. Furthermore a closure theorem is proven

    Preference structures and their numerical representations

    Get PDF
    AbstractThis paper presents a selective survey of numerical representations of preference structures from the perspective of the representational theory of measurement. It reviews historical contributions to ordinal, additive, and expected utility theories, then describes recent contributions in these areas

    DEVELOPMENT OF THE ALTERNATE PRESSURIZED THERMAL SHOCK RULE (10 CFR 50.61a) IN THE UNITED STATES

    Get PDF
    In the early 1980s, attention focused on the possibility that pressurized thermal shock (PTS) events could challenge the integrity of a nuclear reactor pressure vessel (RPV) because operational experience suggested that overcooling events, while not common, did occur, and because the results of in-reactor materials surveillance programs showed that RPV steels and welds, particularly those having high copper content, experience a loss of toughness with time due to neutron irradiation embrittlement. These recognitions motivated analysis of PTS and the development of toughness limits for safe operation. It is now widely recognized that state of knowledge and data limitations from this time necessitated conservative treatment of several key parameters and models used in the probabilistic calculations that provided the technical of the PTS Rule, 10 CFR 50.61. To remove the unnecessary burden imposed by these conservatisms, and to improve the NRC's efficiency in processing exemption and license exemption requests, the NRC undertook the PTS re-evaluation project. This paper provides a synopsis of the results of that project, and the resulting Alternate PTS rule, 10 CFR 50.61a
    • …
    corecore