211 research outputs found

    An integer representation for periodic tilings of the plane by regular polygons

    Get PDF
    We describe a representation for periodic tilings of the plane by regular polygons. Our approach is to represent explicitly a small subset of seed vertices from which we systematically generate all elements of the tiling by translations. We represent a tiling concretely by a (2+n)×4 integer matrix containing lattice coordinates for two translation vectors and n seed vertices. We discuss several properties of this representation and describe how to exploit the representation elegantly and efficiently for reconstruction, rendering, and automatic crystallographic classification by symmetry detection

    Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

    Get PDF
    This paper introduces a static analysis technique for computing formally verified round-off error bounds of floating-point functional expressions. The technique is based on a denotational semantics that computes a symbolic estimation of floating-point round-o errors along with a proof certificate that ensures its correctness. The symbolic estimation can be evaluated on concrete inputs using rigorous enclosure methods to produce formally verified numerical error bounds. The proposed technique is implemented in the prototype research tool PRECiSA (Program Round-o Error Certifier via Static Analysis) and used in the verification of floating-point programs of interest to NASA

    Greenhouse gas emission associated with sugar production in southern Brazil

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Since sugarcane areas have increased rapidly in Brazil, the contribution of the sugarcane production, and, especially, of the sugarcane harvest system to the greenhouse gas emissions of the country is an issue of national concern. Here we analyze some data characterizing various activities of two sugarcane mills during the harvest period of 2006-2007 and quantify the carbon footprint of sugar production.</p> <p>Results</p> <p>According to our calculations, 241 kg of carbon dioxide equivalent were released to the atmosphere per a ton of sugar produced (2406 kg of carbon dioxide equivalent per a hectare of the cropped area, and 26.5 kg of carbon dioxide equivalent per a ton of sugarcane processed). The major part of the total emission (44%) resulted from residues burning; about 20% resulted from the use of synthetic fertilizers, and about 18% from fossil fuel combustion.</p> <p>Conclusions</p> <p>The results of this study suggest that the most important reduction in greenhouse gas emissions from sugarcane areas could be achieved by switching to a green harvest system, that is, to harvesting without burning.</p

    A Major Role for the Plasmodium falciparum ApiAP2 Protein PfSIP2 in Chromosome End Biology

    Get PDF
    The heterochromatic environment and physical clustering of chromosome ends at the nuclear periphery provide a functional and structural framework for antigenic variation and evolution of subtelomeric virulence gene families in the malaria parasite Plasmodium falciparum. While recent studies assigned important roles for reversible histone modifications, silent information regulator 2 and heterochromatin protein 1 (PfHP1) in epigenetic control of variegated expression, factors involved in the recruitment and organization of subtelomeric heterochromatin remain unknown. Here, we describe the purification and characterization of PfSIP2, a member of the ApiAP2 family of putative transcription factors, as the unknown nuclear factor interacting specifically with cis-acting SPE2 motif arrays in subtelomeric domains. Interestingly, SPE2 is not bound by the full-length protein but rather by a 60kDa N-terminal domain, PfSIP2-N, which is released during schizogony. Our experimental re-definition of the SPE2/PfSIP2-N interaction highlights the strict requirement of both adjacent AP2 domains and a conserved bipartite SPE2 consensus motif for high-affinity binding. Genome-wide in silico mapping identified 777 putative binding sites, 94% of which cluster in heterochromatic domains upstream of subtelomeric var genes and in telomere-associated repeat elements. Immunofluorescence and chromatin immunoprecipitation (ChIP) assays revealed co-localization of PfSIP2-N with PfHP1 at chromosome ends. Genome-wide ChIP demonstrated the exclusive binding of PfSIP2-N to subtelomeric SPE2 landmarks in vivo but not to single chromosome-internal sites. Consistent with this specialized distribution pattern, PfSIP2-N over-expression has no effect on global gene transcription. Hence, contrary to the previously proposed role for this factor in gene activation, our results provide strong evidence for the first time for the involvement of an ApiAP2 factor in heterochromatin formation and genome integrity. These findings are highly relevant for our understanding of chromosome end biology and variegated expression in P. falciparum and other eukaryotes, and for the future analysis of the role of ApiAP2-DNA interactions in parasite biology

    Duffy Negative Antigen Is No Longer a Barrier to Plasmodium vivax – Molecular Evidences from the African West Coast (Angola and Equatorial Guinea)

    Get PDF
    Recent reports of Plasmodium vivax infections, the most widely distributed species of human malaria, show that this parasite is evolving and adapting, becoming not only more aggressive but also more frequent in countries where it was not present in the past, becoming, therefore, a major source of concern. Thus, it is extremely important to perform new studies of its distribution in West and Central Africa, where there are few reports of its presence, due to the high prevalence of Duffy-negative individuals. The aim of this study was to investigate the presence of P. vivax in Angola and in Equatorial Guinea, using blood samples and mosquitoes. The results showed that P. vivax seems to be able to invade erythrocytes using receptors other than Duffy, and this new capacity is not exclusive to one strain of P. vivax, since we have found samples infected with two different strains: VK247 and classic. Additionally we demonstrated that the parasite has a greater distribution than previously thought, calling for a reevaluation of its worldwide distribution
    corecore