1,313 research outputs found

    Analysis of the dynamic mutation in the SCA7 gene shows marked parental effects on CAG repeat transmission.

    Get PDF
    Journal ArticleThe gene for spinocerebellar ataxia 7 (SCA7) includes a transcribed, translated CAG tract that is expanded in SCA7 patients. We have determined expansions in 73 individuals from 17 SCA7 kindreds and compared them with repeat lengths of 180 unaffected individuals. Subjects with abnormal expansions comprise 59 clinically affected individuals and 14 at-risk currently unaffected individuals predicted to carry the mutation by haplotype analysis. For expanded alleles, CAG repeat length correlates with disease progression and severity and correlates inversely with age of onset. Increased repeat lengths are seen in generational transmission of the disease allele, consistent with the pattern of clinical anticipation seen in these kindreds. Repeat lengths in expanded alleles show somatic mosaicism in leukocyte DNA, suggesting that these alleles are unstable within individuals as well as between generations. Although dynamic repeat expansions from paternal transmissions are greater than those from maternal transmissions, maternal transmission of disease is more common, suggesting germline or embryonic effects of the repeat expansion

    Effects of mixing on evolution of hydrocarbon ratios in the troposphere

    Get PDF
    Nonmethane hydrocarbon (NMHC) concentration ratios provide useful indicators of tropospheric oxidation and transport processes. However, the influences of both photochemical and mixing processes are inextricably linked in the evolution of these ratios. We present a model for investigating these influences by combining the transport treatment of the Lagrangian particle dispersion model FLEXPART with an ultrasimple (i.e., constant OH concentration) chemical treatment. Required model input includes NMHC emission ratios, but not ad hoc assumed background NMHC concentrations. The model results give NMHC relationships that can be directly compared, in a statistical manner, with measurements. The measured concentration ratios of the longest-lived alkanes show strong deviations from purely kinetic behavior, which the model nicely reproduces. In contrast, some measured aromatic ratio relationships show even stronger deviations that are not well reproduced by the model for reasons that are not understood. The model-measurement comparisons indicate that the interaction of mixing and photochemical processing prevent a simple interpretation of "photochemical age," but that the average age of any particular NMHC can be well defined and can be approximated by a properly chosen and interpreted NMHC ratio. In summary, the relationships of NMHC concentration ratios not only yield useful measures of photochemical processing in the troposphere, but also provide useful test of the treatment of mixing and chemical processing in chemical transport models. Copyright 2007 by the American Geophysical Union

    Dynamic Separation Logic

    Full text link
    This paper introduces a dynamic logic extension of separation logic. The assertion language of separation logic is extended with modalities for the five types of the basic instructions of separation logic: simple assignment, look-up, mutation, allocation, and de-allocation. The main novelty of the resulting dynamic logic is that it allows to combine different approaches to resolving these modalities. One such approach is based on the standard weakest precondition calculus of separation logic. The other approach introduced in this paper provides a novel alternative formalization in the proposed dynamic logic extension of separation logic. The soundness and completeness of this axiomatization has been formalized in the Coq theorem prover

    Global atmospheric budget of acetaldehyde: 3-D model analysis and constraints from in-situ and satellite observations

    Get PDF
    We construct a global atmospheric budget for acetaldehyde using a 3-D model of atmospheric chemistry (GEOS-Chem), and use an ensemble of observations to evaluate present understanding of its sources and sinks. Hydrocarbon oxidation provides the largest acetaldehyde source in the model (128 Tg a<sup>−1</sup>, a factor of 4 greater than the previous estimate), with alkanes, alkenes, and ethanol the main precursors. There is also a minor source from isoprene oxidation. We use an updated chemical mechanism for GEOS-Chem, and photochemical acetaldehyde yields are consistent with the Master Chemical Mechanism. We present a new approach to quantifying the acetaldehyde air-sea flux based on the global distribution of light absorption due to colored dissolved organic matter (CDOM) derived from satellite ocean color observations. The resulting net ocean emission is 57 Tg a<sup>−1</sup>, the second largest global source of acetaldehyde. A key uncertainty is the acetaldehyde turnover time in the ocean mixed layer, with quantitative model evaluation over the ocean complicated by known measurement artifacts in clean air. Simulated concentrations in surface air over the ocean generally agree well with aircraft measurements, though the model tends to overestimate the vertical gradient. PAN:NO<sub>x</sub> ratios are well-simulated in the marine boundary layer, providing some support for the modeled ocean source. We introduce the Model of Emissions of Gases and Aerosols from Nature (MEGANv2.1) for acetaldehyde and ethanol and use it to quantify their net flux from living terrestrial plants. Including emissions from decaying plants the total direct acetaldehyde source from the land biosphere is 23 Tg a<sup>−1</sup>. Other terrestrial acetaldehyde sources include biomass burning (3 Tg a<sup>−1</sup>) and anthropogenic emissions (2 Tg a<sup>−1</sup>). Simulated concentrations in the continental boundary layer are generally unbiased and capture the spatial gradients seen in observations over North America, Europe, and tropical South America. However, the model underestimates acetaldehyde levels in urban outflow, suggesting a missing source in polluted air. Ubiquitous high measured concentrations in the free troposphere are not captured by the model, and based on present understanding are not consistent with concurrent measurements of PAN and NO<sub>x</sub>: we find no compelling evidence for a widespread missing acetaldehyde source in the free troposphere. We estimate the current US source of ethanol and acetaldehyde (primary + secondary) at 1.3 Tg a<sup>−1</sup> and 7.8 Tg a<sup>−1</sup>, approximately 60{%} and 480% of the corresponding increases expected for a national transition from gasoline to ethanol fuel

    Determination of urban volatile organic compound emission ratios and comparison with an emissions database

    Get PDF
    During the NEAQS-ITCT2k4 campaign in New England, anthropogenic VOCs and CO were measured downwind from New York City and Boston. The emission ratios of VOCs relative to CO and acetylene were calculated using a method in which the ratio of a VOC with acetylene is plotted versus the photochemical age. The intercept at the photochemical age of zero gives the emission ratio. The so determined emission ratios were compared to other measurement sets, including data from the same location in 2002, canister samples collected inside New York City and Boston, aircraft measurements from Los Angeles in 2002, and the average urban composition of 39 U.S. cities. All the measurements generally agree within a factor of two. The measured emission ratios also agree for most compounds within a factor of two with vehicle exhaust data indicating that a major source of VOCs in urban areas is automobiles. A comparison with an anthropogenic emission database shows less agreement. Especially large discrepancies were found for the C2-C4 alkanes and most oxygenated species. As an example, the database overestimated toluene by almost a factor of three, which caused an air quality forecast model (WRF-CHEM) using this database to overpredict the toluene mixing ratio by a factor of 2.5 as well. On the other hand, the overall reactivity of the measured species and the reactivity of the same compounds in the emission database were found to agree within 30%. Copyright 2007 by the American Geophysical Union

    Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study

    Get PDF
    Run-time assertion checking is one of the useful techniques for detecting faults, and can be applied during any program execution context, including debugging, testing, and production. In general, however, it is limited to checking state-based properties. We introduce SAGA, a general framework that provides a smooth integration of the specification and the run-time checking of both data- and protocol-oriented properties of Java classes and interfaces. We evaluate SAGA, which combines several state-of-the art tools, by conducting an industrial case study from an eCommerce software company Fredhopper
    corecore