32 research outputs found

    The New IEEE-754 Standard for Floating Point Arithmetic

    Get PDF
    The current IEEE-754 floating point standard was adopted 23 years ago. IEEE chartered a committee to revise the standard to include new common practice in floating point arithmetic, to incorporate decimal floating point into the standard, and to address the issue of reproducible results. This talk will visit these issues, based on the current work of the IEEE-754 revisions committee, which expects that a new standard will be adopted sometime in 2008

    A regulatory code for neurogenic gene expression in the Drosophila embryo

    Get PDF
    Bioinformatics methods have identified enhancers that mediate restricted expression in the Drosophila embryo. However, only a small fraction of the predicted enhancers actually work when tested in vivo. In the present study, co-regulated neurogenic enhancers that are activated by intermediate levels of the Dorsal regulatory gradient are shown to contain several shared sequence motifs. These motifs permitted the identification of new neurogenic enhancers with high precision: five out of seven predicted enhancers direct restricted expression within ventral regions of the neurogenic ectoderm. Mutations in some of the shared motifs disrupt enhancer function, and evidence is presented that the Twist and Su(H) regulatory proteins are essential for the specification of the ventral neurogenic ectoderm prior to gastrulation. The regulatory model of neurogenic gene expression defined in this study permitted the identification of a neurogenic enhancer in the distant Anopheles genome. We discuss the prospects for deciphering regulatory codes that link primary DNA sequence information with predicted patterns of gene expression

    08021 Abstracts Collection -- Numerical Validation in Current Hardware Architectures

    Get PDF
    From 06.01. to 11.01.2008, the Dagstuhl Seminar 08021 ``Numerical Validation in Current Hardware Architectures\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

    Software division and square root using Goldschmidt’s algorithms

    No full text
    Goldschmidt’s Algorithms for division and square root are often characterized as being useful for hardware implementation, and lacking self-correction. A reexamination of these algorithms show that there are good software counterparts that retain the speed advantage of Goldschmidt’s Algorithm over the Newton-Raphson iteration. A final step is needed, however, to get the last bit rounded correctly. Key words: division, square root, Goldschmidt, floating-point

    FOREWORD: ADVANCES IN COMPUTATIONAL SYSTEMS BIOINFORMATICS

    No full text

    Optimization of range checking

    No full text

    08021 Summary -- Numerical Validation in Current Hardware Architectures

    No full text
    Numerical validation in current hardware architectures - From embedded system to high-end computational grids Topics List of participants Schedule List of talk
    corecore