16,947 research outputs found

    Programming an interpreter using molecular dynamics

    Get PDF
    PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation developed in the setting of PGA, which bears on the use of dynamic data structures in programming. We consider the programming of an interpreter for a program notation that is close to existing assembly languages using PGA with the primitives of molecular dynamics as basic instructions. It happens that, although primarily meant for explaining programming language features relating to the use of dynamic data structures, the collection of primitives of molecular dynamics in itself is suited to our programming wants.Comment: 27 page

    Instruction sequences with dynamically instantiated instructions

    Get PDF
    We study sequential programs that are instruction sequences with dynamically instantiated instructions. We define the meaning of such programs in two different ways. In either case, we give a translation by which each program with dynamically instantiated instructions is turned into a program without them that exhibits on execution the same behaviour by interaction with some service. The complexity of the translations differ considerably, whereas the services concerned are equally simple. However, the service concerned in the case of the simpler translation is far more powerful than the service concerned in the other case.Comment: 25 pages; phrasing improve

    Corn and sorghum hybrid test results in Illinois. 1994

    Get PDF
    Published: Urbana, Ill. : Dept. of Crop Sciences, College of Agricultural, Consumer and Environmental Sciences, University of Illinois at Urbana-Champaign, .Description based on: 1993; title from cover

    Deviations from Tribimaximal Neutrino Mixing using a Model with Δ(27)\Delta(27) Symmetry

    Full text link
    We present a model of neutrino mixing based on the flavour group Δ(27)\Delta(27) in order to account for the observation of a non-zero reactor mixing angle (θ13\theta_{13}). The model provides a common flavour structure for the charged-lepton and the neutrino sectors, giving their mass matrices a `circulant-plus-diagonal' form. Mass matrices of this form readily lead to mixing patterns with realistic deviations from tribimaximal mixing, including non-zero θ13\theta_{13}. With the parameters constrained by existing measurements, our model predicts an inverted neutrino mass hierarchy. We obtain two distinct sets of solutions in which the atmospheric mixing angle lies in the first and the second octants. The first (second) octant solution predicts the lightest neutrino mass, m329 meVm_3 \sim 29~\text{meV} (m365 meVm_3 \sim 65~\text{meV}) and the CPCP phase, δCPπ4\delta_{CP} \sim -\frac{\pi}{4} (δCPπ2\delta_{CP} \sim \frac{\pi}{2}), offering the possibility of large observable CPCP violating effects in future experiments.Comment: 9 pages, 3 figure

    Improved and standardized method for assessing years lived with disability after burns and its application to estimate the non-fatal burden of disease of burn injuries in Australia, New Zealand and the Netherlands

    Get PDF
    Background: Burden of disease estimates are an important resource in public health. Currently, robust estimates are not available for the burn population. Our objectives are to adapt a refined methodology (INTEGRIS method) to burns and to apply this new INTEGRIS-burns method to estimate, and compare, the burden of disease of burn injuries in Australia, New Zealand and the Netherlands. Methods: Existing European and Western-Australian health-related quality of life (HRQL) datasets were combined to derive disability weights for three homogenous burn injury groups based on percentage total body surface area (%TBSA) burned. Subsequently, incidence data from Australia, New Zealand, and the Netherlands from 2010 to 2017 were used to compute annual non-fatal burden of disease estimates for each of these three countries. Non-fatal burden of disease was measured by years lived with disability (YLD). Results: The combined dataset included 7159 HRQL (EQ-5D-3 L) outcomes from 3401 patients. Disability weights ranged from 0.046 (subgroup  24 months post-burn) to 0.497 (subgroup > 20% TBSA burned 0–1 months post-burn). In 2017 the non-fatal burden of disease of burns for the three countries (YLDs/100,000 inhabitants) was 281 for Australia, 279 for New Zealand and 133 for the Netherlands. Conclusions: This project established a method for more precise estimates of the YLDs of burns, as it is the only method adapted to the nature of burn injuries and their recovery. Compared to previous used methods, the INTEGRIS-burns method includes improved disability weights based on severity categorization of burn patients; a better substantiated proportion of patients with lifelong disability based; and, the application of burn specific recovery timeframes. Information derived from the adapted method can be used as input for health decision making at both the national and international level. Future studies should investigate whether the application is valid in low- and middle- income countries

    Data linkage algebra, data linkage dynamics, and priority rewriting

    Get PDF
    We introduce an algebra of data linkages. Data linkages are intended for modelling the states of computations in which dynamic data structures are involved. We present a simple model of computation in which states of computations are modelled as data linkages and state changes take place by means of certain actions. We describe the state changes and replies that result from performing those actions by means of a term rewriting system with rule priorities. The model in question is an upgrade of molecular dynamics. The upgrading is mainly concerned with the features to deal with values and the features to reclaim garbage.Comment: 48 pages, typos corrected, phrasing improved, definition of services replaced; presentation improved; presentation improved and appendix adde

    A multi-trait multi-environment QTL mixed model with an application to drought and nitrogen stress trials in maize (Zea mays L.)

    Get PDF
    Despite QTL mapping being a routine procedure in plant breeding, approaches that fully exploit data from multi-trait multi-environment (MTME) trials are limited. Mixed models have been proposed both for multi-trait QTL analysis and multi-environment QTL analysis, but these approaches break down when the number of traits and environments increases. We present models for an efficient QTL analysis of MTME data with mixed models by reducing the dimensionality of the genetic variance¿covariance matrix by structuring this matrix using direct products of relatively simple matrices representing variation in the trait and environmental dimension. In the context of MTME data, we address how to model QTL by environment interactions and the genetic basis of heterogeneity of variance and correlations between traits and environments. We illustrate our approach with an example including five traits across eight stress trials in CIMMYT maize. We detected 36 QTLs affecting yield, anthesis-silking interval, male flowering, ear number, and plant height in maize. Our approach does not require specialised software as it can be implemented in any statistical package with mixed model facilities

    Contributions of the center vortices and vacuum domain in potentials between static sources

    Get PDF
    In this paper, we study the role of the domain structure of the Yang Mills vacuum. The Casimir scaling and NN-ality are investigated in the potentials between static sources in various representations for SU(2)SU(2) and SU(3)SU(3) gauge groups based on the domain structure model using square ansatz for angle αC(x)\alpha_{C}(x). We also discuss about the contributions of the vacuum domain and center vortices in the static potentials. As a result, the potentials obtained from vacuum domains agree with Casimir scaling better than the ones obtained from center vortices. The reasons of these observations are investigated by studying the behavior of the potentials obtained from vacuum domains and center vortices and the properties of the group factors. Then, the vacuum domains in SU(N)SU(N) and G(2)G(2) gauge groups are compared and we argue that the G(2)G(2) vacuum is filled with center vortices of its subgroups.Comment: 27 pages, 17 figures, Resolutions of two figures are improved to conform to the version published in JHE
    corecore