907 research outputs found

    Illinois River Phosphorus Sampling Results and Mass Balance Computation

    Get PDF
    Phosphorus levels in the Illinois River are of great interest to the people of the States of Arkansas and Oklahoma. A great deal of effort has been expended to ascertain and modify the phosphorus impacts on the river. An automatic water sampling station was installed on the Illinois River just upstream from the State line in 1996 to accurately quantify the phosphorus in the Arkansas portion of the watershed. This paper summarizes five years worth of phosphorus sampling results at that site. In addition, a simple mass balance for phosphorus in the Illinois River Watershed above the sampling station was developed. The mass balance consisted of determining phosphorus inputs in the drainage area and comparing these to phosphorus outputs, during the same five-year period, allowing for an estimation of phosphorus accumulation. Sampling results showed that phosphorus levels were rapidly increasing in the Illinois River at the State line. Input information showed that over 7 million pounds of phosphorus were discharged into the 575 square mile basin annually. Mass balance calculations indicated that the point source discharges were responsible for up to 43% of the phosphorus in the river. The calculations indicate that only 4% of the phosphorus applied in the watershed reached the river annually. The remaining 96% accumulated in the watershed at an average rate of 8 kg per pasture acre per year. The effect of point source reductions was investigated and resulting mean concentrations were compared to a 0.037 mg/l in-stream phosphorus limit recently adopted by the State of Oklahoma

    Submerged fermentation of Colletotrichum truncatum for biological control of scentless chamomile

    Get PDF
    Non-Peer ReviewedColletotrichum truncatum is being developed for biocontrol of scentless chamomile (Matricaria perforata). For potential mass production, a study was conducted to determine the possibility of submerged culturing. Fungal cultures were grown in V8-juice broth or a basal-salts liquid supplemented with carbon (C) and nitrogen (N) sources (C:N ratio at 10:1) in 500-ml flasks at 16 °C, 22 °C, or 28 °C in darkness to determine the impact of temperature. Sporulation was highest in the basal-salts medium at 16 °C, yielding about 1 x 106 sp/ml after two weeks. Further improvements were explored by examining the effects of various C and N sources, C concentrations, and C:N ratios. After comparison of nine C sources and eight organic and inorganic N sources, glucose and casamino acids were considered to be effective supplements to the basal-salts medium. Increasing glucose concentration from 5 to 40 g/L enhanced spore yields, but decreased biocontrol efficacy when glucose was 20 g/L or higher. In comparison to non-treated controls, spores produced at 5 g/L glucose reduced fresh weight of scentless chamomile by approximately 75% as opposed to only 39% by spores produced at 40 g/L glucose. Media amended with 10 g/L glucose supported high levels of sporulation without compromising the efficacy of spores. No significant difference in sporulation or efficacy was observed among C:N ratios ranging from 5:1 to 40:1

    Generating Non-Linear Interpolants by Semidefinite Programming

    Full text link
    Interpolation-based techniques have been widely and successfully applied in the verification of hardware and software, e.g., in bounded-model check- ing, CEGAR, SMT, etc., whose hardest part is how to synthesize interpolants. Various work for discovering interpolants for propositional logic, quantifier-free fragments of first-order theories and their combinations have been proposed. However, little work focuses on discovering polynomial interpolants in the literature. In this paper, we provide an approach for constructing non-linear interpolants based on semidefinite programming, and show how to apply such results to the verification of programs by examples.Comment: 22 pages, 4 figure

    Proving Safety with Trace Automata and Bounded Model Checking

    Full text link
    Loop under-approximation is a technique that enriches C programs with additional branches that represent the effect of a (limited) range of loop iterations. While this technique can speed up the detection of bugs significantly, it introduces redundant execution traces which may complicate the verification of the program. This holds particularly true for verification tools based on Bounded Model Checking, which incorporate simplistic heuristics to determine whether all feasible iterations of a loop have been considered. We present a technique that uses \emph{trace automata} to eliminate redundant executions after performing loop acceleration. The method reduces the diameter of the program under analysis, which is in certain cases sufficient to allow a safety proof using Bounded Model Checking. Our transformation is precise---it does not introduce false positives, nor does it mask any errors. We have implemented the analysis as a source-to-source transformation, and present experimental results showing the applicability of the technique

    Unzipping Dynamics of Long DNAs

    Full text link
    The two strands of the DNA double helix can be `unzipped' by application of 15 pN force. We analyze the dynamics of unzipping and rezipping, for the case where the molecule ends are separated and re-approached at constant velocity. For unzipping of 50 kilobase DNAs at less than about 1000 bases per second, thermal equilibrium-based theory applies. However, for higher unzipping velocities, rotational viscous drag creates a buildup of elastic torque to levels above kBT in the dsDNA region, causing the unzipping force to be well above or well below the equilibrium unzipping force during respectively unzipping and rezipping, in accord with recent experimental results of Thomen et al. [Phys. Rev. Lett. 88, 248102 (2002)]. Our analysis includes the effect of sequence on unzipping and rezipping, and the transient delay in buildup of the unzipping force due to the approach to the steady state.Comment: 15 pages Revtex file including 9 figure

    Anion exchange membrane soil nitrate predicts turfgrass color and yield.

    Get PDF
    Desirable nitrogen (N) management practices for turfgrass supply sufficient N for high quality turf while limiting excess soil N. Previous studies suggested the potential of anion exchange membranes (AEMs) for predicting turfgrass color, quality, or yield. However, these studies suggested a wide range of critical soil nitrate-nitrogen (NO3-N) values across sample dates. A field experiment, in randomized complete block design with treatments consisting of nine N application rates, was conducted on a mixed species cool-season turfgrass lawn across two growing seasons. Every 2 wk from May to October, turfgrass color was assessed with three different reflectance meters, and soil NO3-N was measured with in situ AEMs. Cate-Nelson models were developed comparing relative reflectance value and yield to AEM desorbed soil NO3-N pooled across all sample dates. These models predicted critical AEM soil NO3-N values from 0. 45 to 1.4 micro g cm-2 d-1. Turf had a low probability of further positive response to AEM soil NO3-N greater than these critical values. These results suggest that soil NO3-N critical values from AEMs may be applicable across sample dates and years and may serve to guide N fertilization to limit excess soil NO3-N

    Local genomic adaptation of coral reef-associated microbiomes to gradients of natural variability and anthropogenic stressors

    Get PDF
    Holobionts are species-specific associations between macro- and microorganisms. On coral reefs, the benthic coverage of coral and algal holobionts varies due to natural and anthropogenic forcings. Different benthic macroorganisms are predicted to have specific microbiomes. In contrast, local environmental factors are predicted to select for specific metabolic pathways in microbes. To reconcile these two predictions, we hypothesized that adaptation of microbiomes to local conditions is facilitated by the horizontal transfer of genes responsible for specific metabolic capabilities. To test this hypothesis, microbial metagenomes were sequenced from 22 coral reefs at 11 Line Islands in the central Pacific that together span a wide range of biogeochemical and anthropogenic influences. Consistent with our hypothesis, the percent cover of major benthic functional groups significantly correlated with particular microbial taxa. Reefs with higher coral cover had a coral microbiome with higher abundances of Alphaproteobacteria (such as Rhodobacterales and Sphingomonadales), whereas microbiomes of algae-dominated reefs had higher abundances of Gammaproteobacteria (such as Alteromonadales, Pseudomonadales, and Vibrionales), Betaproteobacteria, and Bacteriodetes. In contrast to taxa, geography was the strongest predictor of microbial community metabolism. Microbial communities on reefs with higher nutrient availability (e.g., equatorial upwelling zones) were enriched in genes involved in nutrient-related metabolisms (e.g., nitrate and nitrite ammonification, Ton/Tol transport, etc.). On reefs further from the equator, microbes had more genes encoding chlorophyll biosynthesis and photosystems I/II. These results support the hypothesis that core microbiomes are determined by holobiont macroorganisms, and that those core taxa adapt to local conditions by selecting for advantageous metabolic genes

    Cost effectiveness of thrombolytic therapy with tissue plasminogen activator as compared with streptokinase for acute myocardial infarction

    Get PDF
    BACKGROUND. Patients with acute myocardial infarction who were treated with accelerated tissue plasminogen activator (t-PA) (given over a period of 1 1/2 hours rather than the conventional 3 hours, and with two thirds of the dose given in the first 30 minutes) had a 30-day mortality that was 15 percent lower than that of pati

    Urban–Rural Differences in Older Adult Depression: A Systematic Review and Meta-analysis of Comparative Studies

    Get PDF
    Context: Depression among older adults (aged 60 years or older) is a problem that could be exacerbated by global trends in urbanization and population aging. The study purpose was to assess whether urban, relative to rural, residence is associated with depression among older adults and whether associations differ in countries with developed versus developing economies. Evidence acquisition: In 2017, the authors identified and extracted information from comparative studies of urban–rural depression prevalence among older adults. Studies were identified in PubMed, PsychINFO, and Web of Science and limited to English language articles published after 1985. Eighteen studies met inclusion criteria. Random effects meta-analysis was conducted to produce weighted pooled ORs estimating the association between urban–rural residence and depression for all study participants (N=31,598) and sub-analyses were conducted for developed (n=12,728) and developing (n=18,870) countries. Evidence synthesis: Depression prevalence was significantly higher among urban residents in ten studies and significantly higher among rural residents in three studies (all three conducted in China). Associations between urban–rural residence and depression generally remained significant after adjusting for covariates. In developed countries, the odds of depression were significantly higher among urban than rural residents (pooled OR=1.44, 95% CI=1.10, 1.88). However, in developing countries, this association was not observed (pooled OR=0.91, 95% CI=0.46, 1.77). Conclusions: Converging trends of urbanization and population aging could increase the global burden of depression among older adults. The pathways through which urban–rural residence influences depression risk among older adults might differ by country context. Future research should focus on measuring variation in these contexts

    Two refreshing views of Fluctuation Theorems through Kinematics Elements and Exponential Martingale

    Get PDF
    In the context of Markov evolution, we present two original approaches to obtain Generalized Fluctuation-Dissipation Theorems (GFDT), by using the language of stochastic derivatives and by using a family of exponential martingales functionals. We show that GFDT are perturbative versions of relations verified by these exponential martingales. Along the way, we prove GFDT and Fluctuation Relations (FR) for general Markov processes, beyond the usual proof for diffusion and pure jump processes. Finally, we relate the FR to a family of backward and forward exponential martingales.Comment: 41 pages, 7 figures; version2: 45 pages, 7 figures, minor revisions, new results in Section
    • …
    corecore