Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

Correctness of program transformations in extended lambda calculi with a contextual semantics is usually based on reasoning about the operational semantics which is a rewrite semantics. A successful approach to proving correctness is the combination of a context lemma with the computation of overlaps between program transformations and the reduction rules, and then of so-called complete sets of diagrams. The method is similar to the computation of critical pairs for the completion of term rewriting systems. We explore cases where the computation of these overlaps can be done in a first order way by variants of critical pair computation that use unification algorithms. As a case study we apply the method to a lambda calculus with recursive let-expressions and describe an effective unification algorithm to determine all overlaps of a set of transformations with all reduction rules. The unification algorithm employs many-sorted terms, the equational theory of left-commutativity modelling multi-sets, context variables of different kinds and a mechanism for compactly representing binding chains in recursive let-expressions.Comment: In Proceedings UNIF 2010, arXiv:1012.455

Developing a Model Framework for Predicting Effects of Woody Expansion and Fire on Ecosystem Carbon and Nitrogen in a Pinyon-Juniper Woodland

Sagebrush-steppe ecosystems are one of the most threatened ecosystems in North America due to woodland expansion, wildfire, and exotic annual grass invasion. Some scientists and policy makers have suggested that woodland expansion will lead to increased carbon (C) storage on the landscape. To assess this potential we used data collected from a Joint Fire Sciences Program demonstration area to develop a Microsoft Excel™ based biomass, carbon, and nitrogen (N) spreadsheet model. The model uses input for tree cover, soil chemistry, soil physical properties, and vegetation chemistry to estimate biomass, carbon, and nitrogen accumulation on the landscape with woodland expansion. The model also estimates C and N losses associated with prescribed burning. On our study plots we estimate in treeless sagebrush-steppe ecosystems, biomass accounts for 4.5 Mg ha−1 C and 0.3 Mg ha−1 N this is \u3c10% of total estimated ecosystem C and N to a soil depth of 53 cm, but as tree cover increases to near closed canopy conditions aboveground biomass may account for 62 Mg ha−1 C and 0.6 Mg ha−1 N which is nearly 53% of total estimated ecosystem C and 13% of total estimated ecosystem N to a soil depth of 53 cm. Prescribed burning removes aboveground biomass, C and N, but may increase soil C at areal tree cover below 26%. The model serves as a tool by which we are able to assess our understanding of the system and identify knowledge gaps which exist for this ecosystem. We believe that further work is necessary to quantify herbaceous biomass, root biomass, woody debris decomposition, and soil C and N with woodland expansion and prescribed fire. It will also be necessary to appropriately scale these estimates from the plot to the landscape

Influence of Prescribed Fire on Ecosystem Biomass, Carbon, and Nitrogen in a Pinyon Juniper Woodland

Increases in pinyon and juniper woodland cover associated with land-use history are suggested to provide offsets for carbon emissions in arid regions. However, the largest pools of carbon in arid landscapes are typically found in soils, and aboveground biomass cannot be considered long-term storage in fire-prone ecosystems. Also, the objectives of carbon storage may conflict with management for other ecosystem services and fuels reduction. Before appropriate decisions can be made it is necessary to understand the interactions between woodland expansion, management treatments, and carbon retention. We quantified effects of prescribed fire as a fuels reduction and ecosystem maintenance treatment on fuel loads, ecosystem carbon, and nitrogen in a pinyon–juniper woodland in the central Great Basin. We found that plots containing 30% tree cover averaged nearly 40 000 kg · ha−1 in total aboveground biomass, 80 000 kg · ha−1 in ecosystem carbon (C), and 5 000 kg · ha−1 in ecosystem nitrogen (N). Only 25% of ecosystem C and 5% of ecosystem N resided in aboveground biomass pools. Prescribed burning resulted in a 65% reduction in aboveground biomass, a 68% reduction in aboveground C, and a 78% reduction in aboveground N. No statistically significant change in soil or total ecosystem C or N occurred. Prescribed fire was effective at reducing fuels on the landscape and resulted in losses of C and N from aboveground biomass. However, the immediate and long-term effects of burning on soil and total ecosystem C and N is still unclear

Woodland Expansion\u27s Influence on Belowground Carbon and Nitrogen in the Great Basin U.S.

Vegetation changes associated with climate shifts and anthropogenic disturbance can have major impacts on biogeochemical cycling and soils. Much of the Great Basin, U.S. is currently dominated by sagebrush (Artemisia tridentate (Rydb.) Boivin) ecosystems. Sagebrush ecosystems are increasingly influenced by pinyon (Pinus monophylla Torr. & Frém and Pinus edulis Engelm.) and juniper (Juniperus osteosperma Torr. and Juniperus occidentalis Hook.) expansion. Some scientists and policy makers believe that increasing woodland cover in the intermountain western U.S. offers the possibility of increased organic carbon (OC) storage on the landscape; however, little is currently known about the distribution of OC on these landscapes, or the role that nitrogen (N) plays in OC retention. We quantified the relationship between tree cover, belowground OC, and total below ground N in expansion woodlands at 13 sites in Utah, Oregon, Idaho, California, and Nevada, USA. One hundred and twenty nine soil cores were taken using a mechanically driven diamond tipped core drill to a depth of 90 cm. Soil, coarse fragments, and coarse roots were analyzed for OC and total N. Woodland expansion influenced the vertical distribution of root OC by increasing 15–30 cm root OC by 2.6 Mg ha−1 and root N by 0.04 Mg ha−1. Root OC and N increased through the entire profile by 3.8 and 0.06 Mg ha−1 respectively. Woodland expansion influenced the vertical distribution of soil OC by increasing surface soil (0–15 cm) OC by 2.2 Mg ha−1. Woodland expansion also caused a 1.3 Mg ha−1 decrease in coarse fragment associated OC from 75–90 cm. Our data suggests that woodland expansion into sagebrush ecosystems has limited potential to store additional belowground OC, and must be weighed against the risk of increased wildfire and exotic grass invasion

A Synopsis of Short-Term Response to Alternative Restoration Treatments in Sagebrush-Steppe: The SageSTEP Project

AbstractThe Sagebrush Steppe Treatment Evaluation Project (SageSTEP) is an integrated long-term study that evaluates ecological effects of alternative treatments designed to reduce woody fuels and to stimulate the herbaceous understory of sagebrush steppe communities of the Intermountain West. This synopsis summarizes results through 3 yr posttreatment. Woody vegetation reduction by prescribed fire, mechanical treatments, or herbicides initiated a cascade of effects, beginning with increased availability of nitrogen and soil water, followed by increased growth of herbaceous vegetation. Response of butterflies and magnitudes of runoff and erosion closely followed herbaceous vegetation recovery. Effects on shrubs, biological soil crust, tree cover, surface woody fuel loads, and sagebrush-obligate bird communities will take longer to be fully expressed. In the short term, cool wet sites were more resilient than warm dry sites, and resistance was mostly dependent on pretreatment herbaceous cover. At least 10 yr of posttreatment time will likely be necessary to determine outcomes for most sites. Mechanical treatments did not serve as surrogates for prescribed fire in how each influenced the fuel bed, the soil, erosion, and sage-obligate bird communities. Woody vegetation reduction by any means resulted in increased availability of soil water, higher herbaceous cover, and greater butterfly numbers. We identified several trade-offs (desirable outcomes for some variables, undesirable for others), involving most components of the study system. Trade-offs are inevitable when managing complex natural systems, and they underline the importance of asking questions about the whole system when developing management objectives. Substantial spatial and temporal heterogeneity in sagebrush steppe ecosystems emphasizes the point that there will rarely be a “recipe” for choosing management actions on any specific area. Use of a consistent evaluation process linked to monitoring may be the best chance managers have for arresting woodland expansion and cheatgrass invasion that may accelerate in a future warming climate

Matrix metalloproteinases and tissue inhibitors of metalloproteinases in extracellular matrix remodeling during left ventricular diastolic dysfunction and heart failure with preserved ejection fraction: A systematic review and meta-analysis

Matrix metalloproteinases (MMPs) and tissue inhibitors of metalloproteinases (TIMPs) are pivotal regulators of extracellular matrix (ECM) composition and could, due to their dynamic activity, function as prognostic tools for fibrosis and cardiac function in left ventricular diastolic dysfunction (LVDD) and heart failure with preserved ejection fraction (HFpEF). We conducted a systematic review on experimental animal models of LVDD and HFpEF published in MEDLINE or Embase. Twenty-three studies were included with a total of 36 comparisons that reported established LVDD, quantification of cardiac fibrosis and cardiac MMP or TIMP expression or activity. LVDD/HFpEF models were divided based on underlying pathology: hemodynamic overload (17 comparisons), metabolic alteration (16 comparisons) or ageing (3 comparisons). Meta-analysis showed that echocardiographic parameters were not consistently altered in LVDD/HFpEF with invasive hemodynamic measurements better representing LVDD. Increased myocardial fibrotic area indicated comparable characteristics between hemodynamic and metabolic models. Regarding MMPs and TIMPs; MMP2 and MMP9 activity and protein and TIMP1 protein levels were mainly enhanced in hemodynamic models. In most cases only mRNA was assessed and there were no correlations between cardiac tissue and plasma levels. Female gender, a known risk factor for LVDD and HFpEF, was underrepresented. Novel studies should detail relevant model characteristics and focus on MMP and TIMP protein expression and activity to identify predictive circulating markers in cardiac ECM remodeling

A Synopsis of Short-Term Response to Alternative Restoration Treatments in Sagebrush-Steppe: The SageSTEP Project

The Sagebrush Steppe Treatment Evaluation Project (SageSTEP) is an integrated long-term study that evaluates ecological effects of alternative treatments designed to reduce woody fuels and to stimulate the herbaceous understory of sagebrush steppe communities of the Intermountain West. This synopsis summarizes results through 3 yr posttreatment. Woody vegetation reduction by prescribed fire, mechanical treatments, or herbicides initiated a cascade of effects, beginning with increased availability of nitrogen and soil water, followed by increased growth of herbaceous vegetation. Response of butterflies and magnitudes of runoff and erosion closely followed herbaceous vegetation recovery. Effects on shrubs, biological soil crust, tree cover, surface woody fuel loads, and sagebrush-obligate bird communities will take longer to be fully expressed. In the short term, cool wet sites were more resilient than warm dry sites, and resistance was mostly dependent on pretreatment herbaceous cover. At least 10 yr of posttreatment time will likely be necessary to determine outcomes for most sites. Mechanical treatments did not serve as surrogates for prescribed fire in how each influenced the fuel bed, the soil, erosion, and sage-obligate bird communities. Woody vegetation reduction by any means resulted in increased availability of soil water, higher herbaceous cover, and greater butterfly numbers. We identified several trade-offs (desirable outcomes for some variables, undesirable for others), involving most components of the study system. Trade-offs are inevitable when managing complex natural systems, and they underline the importance of asking questions about the whole system when developing management objectives. Substantial spatial and temporal heterogeneity in sagebrush steppe ecosystems emphasizes the point that there will rarely be a “recipe” for choosing management actions on any specific area. Use of a consistent evaluation process linked to monitoring may be the best chance managers have for arresting woodland expansion and cheatgrass invasion that may accelerate in a future warming climate

Resilience and Resistance in Sagebrush Ecosystems Are Associated With Seasonal Soil Temperature and Water Availability

Invasion and dominance of exotic grasses and increased fire frequency threaten native ecosystems worldwide. In the Great Basin region of the western United States, woody and herbaceous fuel treatments are implemented to decrease the effects of wildfire and increase sagebrush (Artemisia spp.) ecosystem resilience to disturbance and resistance to exotic annual grasses. High cover of the exotic annual cheatgrass (Bromus tectorum) after treatments increases fine fuels, which in turn increases the risk of passing over a biotic threshold to a state of increased wildfire frequency and conversion to cheatgrass dominance. Sagebrush ecosystem resilience to wildfire and resistance to cheatgrass depend on climatic conditions and abundance of perennial herbaceous species that compete with cheatgrass. In this study, we used longer‐term data to evaluate the relationships among soil climate conditions, perennial herbaceous cover, and cheatgrass cover following fuel management treatments across the environmental gradients that characterize sagebrush ecosystems in the Great Basin. We examined the effects of woody and herbaceous fuel treatments on soil temperature, soil water availability (13–30 and 50 cm depths), and native and exotic plant cover on six sagebrush sites lacking piñon (Pinus spp.) or juniper (Juniperus spp.) tree expansion and 11 sagebrush sites with tree expansion. Both prescribed fire and mechanical treatments increased soil water availability on woodland sites and perennial herbaceous cover on some woodland and sagebrush sites. Prescribed fire also slightly increased soil temperatures and especially increased cheatgrass cover compared to no treatment and mechanical treatments on most sites. Non‐metric dimensional scaling ordination and decision tree partition analysis indicated that sites with warmer late springs and warmer and wetter falls had higher cover of cheatgrass. Sites with wetter winters and early springs (March–April) had higher cover of perennial herbs. Our findings suggest that site resistance to cheatgrass after fire and fuel control treatments decreases with a warmer and drier climate. This emphasizes the need for management actions to maintain and enhance perennial herb cover, such as implementing appropriate grazing management, and revegetating sites that have low abundance of perennial herbs in conjunction with fuel control treatments

Piñon-Juniper Reduction Increases Soil Water Availability of the Resource Growth Pool

Managers reduce piñon (Pinus spp.) and juniper (Juniperus spp.) trees that are encroaching on sagebrush (Artemisia spp.) communities to lower fuel loads and increase cover of desirable understory species. All plant species in these communities depend on soil water held at >-1.5 MPa matric potential in the upper 0.3 m of soil for nutrient diffusion to roots and major growth in spring (resource growth pool). We measured soil water matric potentials and temperatures using gypsum blocks and thermocouples buried at 0.01–0.3 m on tree, shrub, and interspace microsites to characterize the seasonal soil climate of 13 tree-encroached sites across the Great Basin. We also tested the effects of initial tree infilling phase and tree control treatments of prescribed fire, tree cutting, and tree shredding on time of available water and soil temperature of the resource growth pool on nine sites. Both prescribed fire and mechanical tree reduction similarly increased the time that soil water was available (matric potential >-1.5 MPa) in spring, but this increase was greatest (up to 26 d) when treatments were applied at high tree dominance. As plant cover increased with time since treatment, the additional time of available water decreased. However, even in the fourth year after treatment, available water was 8.6 d and 18 d longer on treatments applied at mid and high tree dominance compared to untreated plots, indicating ongoing water availability to support continued increases in residual plants or annual invaders in the future. To increase resistance to invasive annual grasses managers should either treat at lower or mid tree dominance when there is still high cover of desirable residual vegetation or seed desirable species to use increased resources from tree reduction. This strategy is especially critical on warmer sites, which have high climate suitability to invasive species such as cheatgrass (Bromus tectorum L.)Keywords: infilling, resistance, resilience, soil temperature, mechanical treatments, prescribed fire, weed invasio

Intranasal Oxytocin Blocks Alcohol Withdrawal in Human Subjects

The neuropeptide, oxytocin, has been reported to block tolerance formation to alcohol and decrease withdrawal symptoms in alcohol-dependent rodents. Numerous recent studies in human subjects indicate that oxytocin administered by the intranasal route penetrates into and exerts effects within the brain