586 research outputs found

    NASA Lewis Research Center low-gravity fluid management technology program

    Get PDF
    A history of the Lewis Research Center in space fluid management technology program is presented. Current programs which include numerical modeling of fluid systems, heat exchanger/radiator concept studies, and the design of the Cryogenic Fluid Management Facility are discussed. Recent analytical and experimental activities performed to support the Shuttle/Centaur development activity are highlighted

    Inhibition of free radical-induced DNA damage by uric acid

    Get PDF
    AbstractSingle-strand DNA breaks were produced in isolated rat liver nuclei incubated with 3 separate oxygen free radical generating systems: xanthine oxidase-acetaldehyde plus Fe(II); hematin-R(H)OOH; Fe(II)-H2O2. Uric acid inhibited the induction of damage in the first two systems only. At concentrations below those found in human plasma, it was particularly effective against strand breaks produced by hematin-cumene hydroperoxide. These results offer additional evidence that uric acid may function as a cellular protective agent against Superoxide and hydroperoxyl free radical-induced cytotoxicity toxicity

    TOSCA-based orchestration of complex clusters at the IaaS level

    Full text link
    [EN] This paper describes the adoption and extension of the TOSCA standard by the INDIGO-DataCloud project for the definition and deployment of complex computing clusters together with the required support in both OpenStack and OpenNebula, carried out in close collaboration with industry partners such as IBM. Two examples of these clusters are described in this paper, the definition of an elastic computing cluster to support the Galaxy bioinformatics application where the nodes are dynamically added and removed from the cluster to adapt to the workload, and the definition of an scalable Apache Mesos cluster for the execution of batch jobs and support for long-running services. The coupling of TOSCA with Ansible Roles to perform automated installation has resulted in the definition of high-level, deterministic templates to provision complex computing clusters across different Cloud sites.The authors would like to thank the European Commission for the financial support for project INDIGO-DataCloud (RIA 653549)Caballer Fernández, M.; Donvito, G.; Moltó, G.; Rocha, R.; Velten, M. (2017). TOSCA-based orchestration of complex clusters at the IaaS level. Journal of Physics: Conference Series (Online). 898:1-8. https://doi.org/10.1088/1742-6596/898/8/082036S1889

    Provenance and geochemistry of exotic clasts in conglomerates of the Oligocene Torehina Formation, Coromandel Peninsula, New Zealand

    Get PDF
    Non-marine pebble to cobble conglomerates of the lower Torehina Formation (Oligocene) crop out along western Coromandel Peninsula and overlie, with strong angular discordance, continental-margin metasedimentary rocks (Manaia Hill Group) of Mesozoic (Late Jurassic to ?Early Cretaceous) age. The conglomerates contain provenance information that identifies a pre-Oligocene depositional history obscured by the unconformable juxtaposition of these Tertiary and Mesozoic strata. Most clasts in the lower Torehina Formation are visually similar to local bedrock lithologies, including metamorphosed sandstones and argillites, but are kaolinitic and contain more detrital and authigenic chert, quartz, and potash feldspar. Local derivation of these clasts seems unlikely. By comparing geochemical ratios with those defined for continental margin sandstones, and well characterised New Zealand tectonic terranes, we interpret the majority of clasts in the lower Torehina Formation to have been derived from a dissected orogen, with mixtures of felsic and volcanogenic-derived sediment. The most likely sources are the Waipapa and Torlesse Terranes. The remaining 20–30% of the clasts in the lower Torehina Formation were originally friable, are coarse grained, and appear to be lithologically exotic relative to known metamorphosed sandstones in basement terrane sources on North Island. Some clasts contain coal laminae and particles, and all contain detrital kaolinite as lithic fragments and matrix. Such characteristics imply a non-marine to marginal-marine source containing sediment derived from strongly weathered granite or granodiorite. Mechanical fragility implies a likely proximal, easily erodible source. We propose that this group of clasts was derived from an Upper Cretaceous sedimentary cover, either part of a locally developed basin fill or part of a once regionally extensive cover on North Island. Either case defines a more widely distributed Cretaceous source than found today

    Hepatic P450 Enzyme Activity, Tissue Morphology and Histology of Mink (Mustela vison) Exposed to Polychlorinated Dibenzofurans

    Get PDF
    Dose- and time-dependent effects of environmentally relevant concentrations of 2,3,7,8-tetrachlorodibenzo-p-dioxin equivalents (TEQ) of 2,3,7,8-tetrachlorodibenzofuran (TCDF), 2,3,4,7,8-pentachlorodibenzofuran (PeCDF), or a mixture of these two congeners on hepatic P450 enzyme activity and tissue morphology, including jaw histology, of adult ranch mink were determined under controlled conditions. Adult female ranch mink were fed either TCDF (0.98, 3.8, or 20 ng TEQTCDF/kg bw/day) or PeCDF (0.62, 2.2, or 9.5 ng TEQPeCDF/kg bw/day), or a mixture of TCDF and PeCDF (4.1 ng TEQTCDF/kg bw/day and 2.8 ng TEQPeCDF/kg bw/day, respectively) for 180 days. Doses used in this study were approximately eight times greater than those reported in a parallel field study. Activities of the cytochrome P450 1A enzymes, ethoxyresorufin O-deethylase (EROD) and methoxyresorufin O-deethylase (MROD) were significantly greater in livers of mink exposed to TCDF, PeCDF, and a mixture of the two congeners; however, there were no significant histological or morphological effects observed. It was determined that EROD and MROD activity can be used as sensitive biomarkers of exposure to PeCDF and TCDF in adult female mink; however, under the conditions of this study, the response of EROD/MROD induction occurred at doses that were less than those required to cause histological or morphological changes

    Refinement type contracts for verification of scientific investigative software

    Full text link
    Our scientific knowledge is increasingly built on software output. User code which defines data analysis pipelines and computational models is essential for research in the natural and social sciences, but little is known about how to ensure its correctness. The structure of this code and the development process used to build it limit the utility of traditional testing methodology. Formal methods for software verification have seen great success in ensuring code correctness but generally require more specialized training, development time, and funding than is available in the natural and social sciences. Here, we present a Python library which uses lightweight formal methods to provide correctness guarantees without the need for specialized knowledge or substantial time investment. Our package provides runtime verification of function entry and exit condition contracts using refinement types. It allows checking hyperproperties within contracts and offers automated test case generation to supplement online checking. We co-developed our tool with a medium-sized (\approx3000 LOC) software package which simulates decision-making in cognitive neuroscience. In addition to helping us locate trivial bugs earlier on in the development cycle, our tool was able to locate four bugs which may have been difficult to find using traditional testing methods. It was also able to find bugs in user code which did not contain contracts or refinement type annotations. This demonstrates how formal methods can be used to verify the correctness of scientific software which is difficult to test with mainstream approaches

    Perceptual Learning in the Absence of Task or Stimulus Specificity

    Get PDF
    Performance on most sensory tasks improves with practice. When making particularly challenging sensory judgments, perceptual improvements in performance are tightly coupled to the trained task and stimulus configuration. The form of this specificity is believed to provide a strong indication of which neurons are solving the task or encoding the learned stimulus. Here we systematically decouple task- and stimulus-mediated components of trained improvements in perceptual performance and show that neither provides an adequate description of the learning process. Twenty-four human subjects trained on a unique combination of task (three-element alignment or bisection) and stimulus configuration (vertical or horizontal orientation). Before and after training, we measured subjects' performance on all four task-configuration combinations. What we demonstrate for the first time is that learning does actually transfer across both task and configuration provided there is a common spatial axis to the judgment. The critical factor underlying the transfer of learning effects is not the task or stimulus arrangements themselves, but rather the recruitment of commons sets of neurons most informative for making each perceptual judgment

    Time Pressure Modulates Electrophysiological Correlates of Early Visual Processing

    Get PDF
    BACKGROUND: Reactions to sensory events sometimes require quick responses whereas at other times they require a high degree of accuracy-usually resulting in slower responses. It is important to understand whether visual processing under different response speed requirements employs different neural mechanisms. METHODOLOGY/PRINCIPAL FINDINGS: We asked participants to classify visual patterns with different levels of detail as real-world or non-sense objects. In one condition, participants were to respond immediately, whereas in the other they responded after a delay of 1 second. As expected, participants performed more accurately in delayed response trials. This effect was pronounced for stimuli with a high level of detail. These behavioral effects were accompanied by modulations of stimulus related EEG gamma oscillations which are an electrophysiological correlate of early visual processing. In trials requiring speeded responses, early stimulus-locked oscillations discriminated real-world and non-sense objects irrespective of the level of detail. For stimuli with a higher level of detail, oscillatory power in a later time window discriminated real-world and non-sense objects irrespective of response speed requirements. CONCLUSIONS/SIGNIFICANCE: Thus, it seems plausible to assume that different response speed requirements trigger different dynamics of processing
    corecore