862 research outputs found
Water Quality Project Evaluation A Handbook for Objectives-Based Evaluation of Water Quality Projects
PDF pages: 5
Verifying Safety Properties With the TLA+ Proof System
TLAPS, the TLA+ proof system, is a platform for the development and
mechanical verification of TLA+ proofs written in a declarative style requiring
little background beyond elementary mathematics. The language supports
hierarchical and non-linear proof construction and verification, and it is
independent of any verification tool or strategy. A Proof Manager uses backend
verifiers such as theorem provers, proof assistants, SMT solvers, and decision
procedures to check TLA+ proofs. This paper documents the first public release
of TLAPS, distributed with a BSD-like license. It handles almost all the
non-temporal part of TLA+ as well as the temporal reasoning needed to prove
standard safety properties, in particular invariance and step simulation, but
not liveness properties
Economic Potential of Substituting Legumes for Synthetic Nitrogen in Warm Season Perennial Grasses used for Stocker Cattle Grazing
Stocker cattle grazing warm season perennial grasses is an important economic activity in the southern Great Plains. Substantial increases in the price of nitrogen fertilizer is negatively affecting forage producersâ profitability. Two alternative nitrogen management systems that use annual and perennial legumes have been developed for bermudagrass pastures. The goal of the study is to determine if the legumes systems are more profitable than the conventional practice of applying synthetic sources of nitrogen. Results of the two-year grazing study show that the legume systems could not compete economically with the common practice.economics, grazing, legumes, bermudagrass, nitrogen fertilizer, stocker cattle, Crop Production/Industries, Farm Management, Production Economics,
External controls on the distribution, fabrics and mineralization of modern microbial mats in a coastal hypersaline lagoon, Cayo Coco (Cuba).
45 pagesInternational audienceActive, carbonate-mineralizing microbial mats flourish in a tropical, highly evaporative, marine-fed lagoonal network to the south of Cayo Coco Island (Cuba). Hypersaline conditions support the development of a complex sedimentary microbial ecosystem with diverse morphologies, a variable intensity of mineralization and a potential for preservation. In this study, the role of intrinsic (i.e. microbial) and extrinsic (i.e. physicochemical) controls on microbial mat development, mineralization and preservation was investigated. The network consists of lagoons, forming in the interdune depressions of a Pleistocene aeolian substratum; they developed due to a progressive increase in sea-level since the Holocene. The hydrological budget in the Cayo Coco lagoonal network changes from west to east, increasing the salinity. This change progressively excludes grazers and increases the saturation index of carbonate minerals, favouring the development and mineralization of microbial mats in the easternmost lagoons. Detailed mapping of the easternmost lagoon shows four zones with different flooding regimes. The microbial activity in the mats was recorded using lightâdark shifts in conjunction with microelectrode O2 and HSâ profiles. High rates of O2 production and consumption, in addition to substantial amounts of exopolymeric substances, are indicative of a potentially strong intrinsic control on mineralization. Seasonal, climate-driven water fluctuations are key for mat development, mineralization, morphology and distribution. Microbial mats show no mineralization in the permanently submersed zone, and moderate mineralization in zones with alternating immersion and exposure. It is suggested that mineralization is also driven by water-level fluctuations and evaporation. Mineralized mats are laminated and consist of alternating trapping and binding of grains and microbially induced magnesium calcite and dolomite precipitation. The macrofabrics of the mats evolve from early colonizing Flat mats to complex Cerebroid or Terrace structures. The macrofabrics are influenced by the hydrodynamic regime: wind-driven waves inducing relief terraces in windward areas and flat morphologies on the leeward side of the lagoon. Other external drivers include: (i) storm events that either promote (for example, by bioclasts covering) or prevent (for example, by causing erosion) microbial mat preservation; and (ii) subsurface degassing, through mangrove roots and desiccation cracks covered by Flat mats (i.e. forming Hemispheroids and Cerebroidal structures). These findings provide in-depth insights into understanding fossil microbialite morphologies that formed in lagoonal settings
Recommended from our members
Negative priming and occasion setting in an appetitive Pavlovian procedure
Rats received training in which two auditory target stimuli, X and Y, were signaled by two visual stimuli, A and B, and followed by food (i.e., AâX1, BâY+). The test consisted of presentations of X and Y preceded either by the same signal as during training (same trials: AâX, BâY) or by the alternative signal (different trials: AâY, BâX). After 8 training sessions, the animals responded less on same trials than on different trials; this effect was significantly reduced after 24 training sessions. In two additional experiments, animals that had also experienced presentations of A and B alone, either before or during training, showed the opposite pattern of results, responding more on same trials than on different trials. These results are interpreted as being due to the interaction between the effects of occasion setting andnegative priming (see Wagner, 1981)
Photosynthetic Characteristics of Segregates from Hybrids between Flaveria brownii (C4 Like) and Flaveria linearis (C3-C4)
Microbial and diagenetic steps leading to the mineralisation of Great Salt Lake microbialites.
12 pagesInternational audienceMicrobialites are widespread in modern and fossil hypersaline environments, where they provide a unique sedimentary archive. Authigenic mineral precipitation in modern microbialites results from a complex interplay between microbial metabolisms, organic matrices and environmental parameters. Here, we combined mineralogical and microscopic analyses with measurements of metabolic activity in order to characterise the mineralisation of microbial mats forming microbialites in the Great Salt Lake (Utah, USA). Our results show that the mineralisation process takes place in three steps progressing along geochemical gradients produced through microbial activity. First, a poorly crystallized Mg-Si phase precipitates on alveolar extracellular organic matrix due to a rise of the pH in the zone of active oxygenic photosynthesis. Second, aragonite patches nucleate in close proximity to sulfate reduction hotspots, as a result of the degradation of cyanobacteria and extracellular organic matrix mediated by, among others, sulfate reducing bacteria. A final step consists of partial replacement of aragonite by dolomite, possibly in neutral to slightly acidic porewater. This might occur due to dissolution-precipitation reactions when the most recalcitrant part of the organic matrix is degraded. The mineralisation pathways proposed here provide pivotal insight for the interpretation of microbial processes in past hypersaline environments
D-Cycloserine as an augmentation strategy for cognitive behavioral therapy of anxiety disorders
The goal of this review is to examine the clinical studies on d-cycloserine, a partial glutamatergic N-methyl-D-aspartate agonist, as an augmentation strategy for exposure procedures during cognitive behavioral therapy for anxiety disorders. Although cognitive behavioral therapy and anxiolytic medications are more effective than placebo for treating anxiety disorders, there is still considerable room for further improvement. Traditional combination strategies typically yield disappointing results. However, recent studies based on translational research have shown promise to augment the neural circuitry underlying fear extinction with pharmacological means. We discuss the current state of the literature, including inconsistencies of findings and issues concerning the drug mechanism, dosing, and dose timing. D-cycloserine is a promising combination strategy for cognitive behavioral therapy of anxiety disorders by augmenting extinction learning. However, there is also evidence to suggest that d-cycloserine can facilitate reconsolidation of fear memory when exposure procedures are unsuccessful
- âŠ