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

    Get PDF
    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

    Get PDF
    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

    Full text link
    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

    Light Goose Conservation Order Effects on Nontarget Waterfowl Behavior and Energy Expenditure

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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
    • …
    corecore