1,392 research outputs found

    Development of a methodology for classifying software errors

    Get PDF
    A mathematical formalization of the intuition behind classification of software errors is devised and then extended to a classification discipline: Every classification scheme should have an easily discernible mathematical structure and certain properties of the scheme should be decidable (although whether or not these properties hold is relative to the intended use of the scheme). Classification of errors then becomes an iterative process of generalization from actual errors to terms defining the errors together with adjustment of definitions according to the classification discipline. Alternatively, whenever possible, small scale models may be built to give more substance to the definitions. The classification discipline and the difficulties of definition are illustrated by examples of classification schemes from the literature and a new study of observed errors in published papers of programming methodologies

    Suitable Steels for Welded Bridges and Buildings

    Get PDF

    The Experience of Aging: A Reconstruction of the Meaning of Time's Passing within the Classical American Philosophical Tradition

    Get PDF
    The provocation for this dissertation is a brief contention: aging is not synonymous with disease. This contention is a corrective reaction to the pervasive sensibility that aging is a disease, and which therefore casts the character of time’s passing as a process of destruction. The upshot of this corrosive sensibility is that we are not aging well. Guided both by the belief that we can reconstruct the meaning of time’s passing and an ameliorative sensibility to heal human suffering, the dissertation offers an alternative, more fruitful understanding of aging in which the character of time changes from a process of destruction into one of creative individual genesis. This is how we should experience time as time passes. Living in this way is an achievement: It is the activity of ferreting out the best possible ways in which to live so that life is deep and robust with concatenated meaning. This philosophical diagnosis of aging is situated within two philosophical traditions—first, existentialism and, second and primarily, the pragmatism of classical American philosophers. The deceptively simple insights from existentialism at work in the dissertation are this: that we are ontologically free to choose our own persons and that our freedom resides in the ever-present possible. The next philosophical move that is made is the pragmatic turn: that, with a sense that there is always something better, we attend to how it is that we press into our possibilities by listening to and heeding experience so that we adapt and grow as individuals

    Seesaw Neutrino Masses with Large Mixings from Dimensional Deconstruction

    Full text link
    We demonstrate a dynamical origin for the dimension-five seesaw operator in dimensional deconstruction models. Light neutrino masses arise from the seesaw scale which corresponds to the inverse lattice spacing. It is shown that the deconstructing limit naturally prefers maximal leptonic mixing. Higher-order corrections which are allowed by gauge invariance can transform the bi-maximal into a bi-large mixing. These terms may appear to be non-renormalizable at scales smaller than the deconstruction scale.Comment: Revised version published in PR

    Visualizing the Needle in the Haystack: In Situ Hybridization With Fluorescent Dendrimers

    Get PDF
    In situ hybridization with 3DNA™ dendrimers is a novel tool for detecting low levels of mRNA in tissue sections and whole embryos. Fluorescently labeled dendrimers were used to identify cells that express mRNA for the skeletal muscle transcription factor MyoD in the early chick embryo. A small population of MyoD mRNA positive cells was found in the epiblast prior to the initiation of gastrulation, two days earlier than previously detected using enzymatic or radiolabeled probes for mRNA. When isolated from the epiblast and placed in culture, the MyoD mRNA positive cells were able to differentiate into skeletal muscle cells. These results demonstrate that DNA dendrimers are sensitive and precise tools for identifying low levels of mRNA in single cells and tissues

    The Relationship Between HR Practices and Firm Performance: Examining Causal Order

    Get PDF
    Significant research attention has been devoted to examining the relationship between HR practices and firm performance, and the research support has assumed HR as the causal variable. Using data from 45 business units (with 62 data points), this study examines how measures of HR practices correlate with past, concurrent, and future operational performance measures. The results indicate that correlations with performance measures at all three times are both high and invariant, and that controlling for past or concurrent performance virtually eliminates the correlation of HR with future performance. Implications are discussed
    • …
    corecore