907 research outputs found
Illinois River Phosphorus Sampling Results and Mass Balance Computation
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
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
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
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
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.
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
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
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
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
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
- …