5 research outputs found

    The effect of the CaO/SiO2 ratio on the phase equilibria in the ZnO-“Fe2O3”-(PbO + CaO + SiO2) system in air: CaO/SiO2 = 0.1, PbO/(CaO + SiO2) = 6.2, and CaO/SiO2 = 0.6, PbO/(CaO + SiO2) = 4.3

    No full text
    Experimental studies on phase equilibria in the multi-component system PbO-ZnO-CaO-SiO2-FeO-Fe2O3 in air have been conducted to characterize the phase relations of a complex slag system used in the oxidation smelting of lead and in typical lead blast furnace sinters. The liquidus in two pseudoternary sections ZnO-Fe2O3-(PbO + CaO + SiO2) with the CaO/SiO2 weight ratio of 0.1 and the PbO/(CaO + SiO2) weight ratio of 6.2, and with CaO/SiO2 weight ratio of 0.6 and the PbO/(CaO + SiO2) weight ratio of 4.3, have been constructed

    Guaranteed Optimization for Domain-Specific Programming

    No full text
    Abstract. For software engineering reasons, it is often best to provide domain-specific programming environments in the context of a generalpurpose language. In our view general-purpose languages are not yet general-purpose enough, and progress needs to be made before we can provide domain-specific languages that are both fast and safe. We outline some goals in this regard, and describe a possible implementation technology: guaranteed optimization, a technique for building compilers that provide proven guarantees of what optimizations they perform. Such optimizers can provide capabilities similar to staged languages, and thus provide the relevant performance improvements. They can also function as decision procedures, suggesting an approach of ’optimizers as theorem provers, ’ in which optimizing compilers can be used to check domainspecific safety properties and check proofs embedded in programs.

    The Yeast<i>TEL1</i>Gene Partially Substitutes for Human<i>ATM</i>in Suppressing Hyperrecombination, Radiation-Induced Apoptosis and Telomere Shortening in A-T Cells

    No full text
    Homozygous mutations in the human ATM gene lead to a pleiotropic clinical phenotype of ataxia-telangiectasia (A-T) patients and correlating cellular deficiencies in cells derived from A-T donors. Saccharomyces cerevisiae tel1 mutants lacking Tel1p, which is the closest sequence homologue to the ATM protein, share some of the cellular defects with A-T. Through genetic complementation of A-T cells with the yeast TEL1 gene, we provide evidence that Tel1p can partially compensate for ATM in suppressing hyperrecombination, radiation-induced apoptosis, and telomere shortening. Complementation appears to be independent of p53 activation. The data provided suggest that TEL1 is a functional homologue of human ATM in yeast, and they help to elucidate different cellular and biochemical pathways in human cells regulated by the ATM protein.</jats:p
    corecore