2,008 research outputs found
The Aquatic Biota and Groundwater Quality of Springs in the Lincoln Hills, Wisconsin Driftless, and Northern till Plains Sections of Illinois
ID: 8307INHS Technical Report prepared for Environmental Protection Trust Fund Commission and
Illinois Department of Natural Resources Division of Energy and Environmental AssessmentU of I OnlyRestriction applied due to concern over geolocation information of springs on private property
Conformational photoswitching of a synthetic peptide foldamer bound within a phospholipid bilayer
The dynamic properties of foldamers, synthetic molecules that mimic folded biomolecules, have mainly been explored in free solution.We report on the design, synthesis, and conformational behavior of photoresponsive foldamers bound in a phospholipid bilayer akin to a biological membrane phase. These molecules contain a chromophore, which can be switched between two configurations by different wavelengths of light, attached to a helical synthetic peptide that both promotes membrane insertion and communicates conformational change along its length. Light-induced structural changes in the chromophore are translated into global conformational changes, which are detected by monitoring the solid-state 19 F nuclear magnetic resonance signals of a remote fluorine-containing residue located 1 to 2 nanometers away. The behavior of the foldamers in the membrane phase is similar to that of analogous compounds in organic solvents
A Formal Semantics of the GraalVM Intermediate Representation
The optimization phase of a compiler is responsible for transforming an
intermediate representation (IR) of a program into a more efficient form.
Modern optimizers, such as that used in the GraalVM compiler, use an IR
consisting of a sophisticated graph data structure that combines data flow and
control flow into the one structure. As part of a wider project on the
verification of optimization passes of GraalVM, this paper describes a
semantics for its IR within Isabelle/HOL. The semantics consists of a big-step
operational semantics for data nodes (which are represented in a graph-based
static single assignment (SSA) form) and a small-step operational semantics for
handling control flow including heap-based reads and writes, exceptions, and
method calls. We have proved a suite of canonicalization optimizations and
conditional elimination optimizations with respect to the semantics.Comment: 16 pages, 8 figures, to be published to ATVA 202
Recommended from our members
Mechanisms of the negative shortwave cloud feedback in mid to high latitudes
Increases in cloud optical depth and liquid water path (LWP) are robust features of global warming model simulations in high latitudes, yielding a negative shortwave cloud feedback, but the mechanisms are still uncertain. We assess the importance of microphysical processes for the negative optical depth feedback by perturbing temperature in the microphysics schemes of two aquaplanet models, both of which have separate prognostic equations for liquid water and ice. We find that most of the LWP increase with warming is caused by a suppression of ice microphysical processes in mixed-phase clouds, resulting in reduced conversion efficiencies of liquid water to ice and precipitation. Perturbing the temperature-dependent phase partitioning of convective condensate also yields a small LWP increase. Together, the perturbations in large-scale microphysics and convective condensate partitioning explain more than two-thirds of the LWP response relative to a reference case with increased SSTs, and capture all of the vertical structure of the liquid water response. In support of these findings, we show the existence of a very robust positive relationship between monthly-mean LWP and temperature in CMIP5 models and observations in mixed-phase cloud regions only. In models, the historical LWP sensitivity to temperature is a good predictor of the forced global warming response poleward of about 45°, although models appear to overestimate the LWP response to warming compared to observations. We conclude that in climate models, the suppression of ice-phase microphysical processes that deplete cloud liquid water is a key driver of the LWP increase with warming and of the associated negative shortwave cloud feedback
Recommended from our members
The dependence of radiative forcing and feedback on evolving patterns of surface temperature change in climate models
Experiments with CO2 instantaneously quadrupled and then held constant are used to show that the relationship between the global-mean net heat input to the climate system and the global-mean surface-air-temperature change is nonlinear in Coupled Model Intercomparison Project phase 5 (CMIP5) Atmosphere-Ocean General Circulation Models (AOGCMs). The nonlinearity is shown to arise from a change in strength of climate feedbacks driven by an evolving pattern of surface warming. In 23 out of the 27 AOGCMs examined the climate feedback parameter becomes significantly (95% confidence) less negative – i.e. the effective climate sensitivity increases – as time passes. Cloud feedback parameters show the largest changes. In the AOGCM-mean approximately 60% of the change in feedback parameter comes from the topics (30N-30S). An important region involved is the tropical Pacific where the surface warming intensifies in the east after a few decades. The dependence of climate feedbacks on an evolving pattern of surface warming is confirmed using the HadGEM2 and HadCM3 atmosphere GCMs (AGCMs). With monthly evolving sea-surface-temperatures and sea-ice prescribed from its AOGCM counterpart each AGCM reproduces the time-varying feedbacks, but when a fixed pattern of warming is prescribed the radiative response is linear with global temperature change or nearly so. We also demonstrate that the regression and fixed-SST methods for evaluating effective radiative forcing are in principle different, because rapid SST adjustment when CO2 is changed can produce a pattern of surface temperature change with zero global mean but non-zero change in net radiation at the top of the atmosphere (~ -0.5 Wm-2 in HadCM3)
Light Goose Conservation Order Effects on Nontarget Waterfowl Behavior and Energy Expenditure
When the Light Goose Conservation Order (LGCO) was established during 1999 in the Rainwater Basin of Nebraska, USA, LGCO activities were limited to 4 days/week and 16 public wetlands were closed to the LGCO to limit disturbance to non-target waterfowl during this energetically important time period. However, the effects of LGCO activities on waterfowl behavior and energy expenditure are relatively unknown in this critical waterfowl staging area. To evaluate LGCO effects on target and nontarget species, we paired wetlands open and closed to LGCO and recorded waterfowl behavior and hunter encounters during springs 2011 and 2012. We constructed hourly energy expenditure models based on behavior data collected for mallards (Anas platyrhynchos) and northern pintails (A. acuta). In 2011, dabbling ducks (Anas spp.) spent more time feeding and less time resting in wetlands closed to hunting during early season when the majority of hunting encounters occurred; behaviors did not differ between hunt categories during late season when hunting activities subsided. However, in 2012, dabbling ducks spent more time feeding and less time resting in wetlands open to hunting during early and late seasons. We detected no differences in behaviors of lesser snow geese (Chen caerulescens) or greater white-fronted geese (Anser albifrons) between hunting categories in early season. Mallards had slightly greater energy expenditure on wetlands closed to hunting (x =38.94 +/- 0.31 kJ/bird/hr), compared with wetlands open to hunting (x = 37.87 +/- 0.32 kJ/bird/hr); therefore, greater energy spent by mallards cannot be attributed to hunting disturbance. We also detected no differences in dabbling duck behavior or energy expenditure between days open or closed to hunting in the region. A refuge system of wetlands closed to LGCO activities in the Rainwater Basin may be an important management strategy in providing reduced disturbance for non-target waterfowl species in some years
Measuring water activity of aviation fuel using a polymer optical fiber Bragg grating
Poly(methyl methacrylate) (PMMA) based polymer optical fiber Bragg gratings have been used for measuring water activity of aviation fuel. Jet A-1 samples with water content ranging from 100% ERH (wet fuel) to 10 ppm (dried fuel), have been conditioned and calibrated for measurement. The PMMA based optical fiber grating exhibits consistent response and a good sensitivity of 59±3pm/ppm (water content in mass). This water activity measurement allows PMMA based optical fiber gratings to detect very tiny amounts of water in fuels that have a low water saturation point, potentially giving early warning of unsafe operation of a fuel system. © 2014 SPIE
Light Goose Conservation Order Effects on Nontarget Waterfowl Behavior and Energy Expenditure
When the Light Goose Conservation Order (LGCO) was established during 1999 in the Rainwater Basin of Nebraska, USA, LGCO activities were limited to 4 days/week and 16 public wetlands were closed to the LGCO to limit disturbance to nontarget waterfowl during this energetically important time period. However, the effects of LGCO activities on waterfowl behavior and energy expenditure are relatively unknown in this critical waterfowl staging area. To evaluate LGCO effects on target and nontarget species, we paired wetlands open and closed to LGCO and recorded waterfowl behavior and hunter encounters during springs 2011 and 2012. We constructed hourly energy expenditure models based on behavior data collected for mallards (Anas platyrhynchos) and northern pintails (A. acuta). In 2011, dabbling ducks (Anas spp.) spent more time feeding and less time resting in wetlands closed to hunting during early season when the majority of hunting encounters occurred; behaviors did not differ between hunt categories during late season when hunting activities subsided. However, in 2012, dabbling ducks spent more time feeding and less time resting in wetlands open to hunting during early and late seasons. We detected no differences in behaviors of lesser snow geese (Chen caerulescens) or greater white-fronted geese (Anser albifrons) between hunting categories in early season. Mallards had slightly greater energy expenditure on wetlands closed to hunting (x = 38.94 ± 0.31 kJ/bird/hr), compared with wetlands open to hunting (x = 37.87 ± 0.32 kJ/bird/hr); therefore, greater energy spent by mallards cannot be attributed to hunting disturbance. We also detected no differences in dabbling duck behavior or energy expenditure between days open or closed to hunting in the region. A refuge system of wetlands closed to LGCO activities in the Rainwater Basin may be an important management strategy in providing reduced disturbance for nontarget waterfowl species in some years
Light Goose Conservation Order Effects on Nontarget Waterfowl Behavior and Energy Expenditure
When the Light Goose Conservation Order (LGCO) was established during 1999 in the Rainwater Basin of Nebraska, USA, LGCO activities were limited to 4 days/week and 16 public wetlands were closed to the LGCO to limit disturbance to nontarget waterfowl during this energetically important time period. However, the effects of LGCO activities on waterfowl behavior and energy expenditure are relatively unknown in this critical waterfowl staging area. To evaluate LGCO effects on target and nontarget species, we paired wetlands open and closed to LGCO and recorded waterfowl behavior and hunter encounters during springs 2011 and 2012. We constructed hourly energy expenditure models based on behavior data collected for mallards (Anas platyrhynchos) and northern pintails (A. acuta). In 2011, dabbling ducks (Anas spp.) spent more time feeding and less time resting in wetlands closed to hunting during early season when the majority of hunting encounters occurred; behaviors did not differ between hunt categories during late season when hunting activities subsided. However, in 2012, dabbling ducks spent more time feeding and less time resting in wetlands open to hunting during early and late seasons. We detected no differences in behaviors of lesser snow geese (Chen caerulescens) or greater white-fronted geese (Anser albifrons) between hunting categories in early season. Mallards had slightly greater energy expenditure on wetlands closed to hunting (x = 38.94 ± 0.31 kJ/bird/hr), compared with wetlands open to hunting (x = 37.87 ± 0.32 kJ/bird/hr); therefore, greater energy spent by mallards cannot be attributed to hunting disturbance. We also detected no differences in dabbling duck behavior or energy expenditure between days open or closed to hunting in the region. A refuge system of wetlands closed to LGCO activities in the Rainwater Basin may be an important management strategy in providing reduced disturbance for nontarget waterfowl species in some years
- …