15,890 research outputs found

    Adaptive finite element computations of shear band formation

    Get PDF

    A radio continuum survey of edge-on spiral galaxies at 90 cm

    Get PDF
    Accurate spectral indices of the radio emission from both the thin disk and thick disk or halo components are critical to understanding the propagation mechanisms of electrons within spiral galaxies. The spectral indices give information of relative importance of diffusion and synchrotron energy loss in the propagation of electrons in the disk. Our goal of this survey is to locate a larger sample of spiral galaxies that exhibit halo phenomena so that a statistical analysis will be possible

    Oxidative Effects of Lead in Young and Adult Fisher 344 Rats

    Get PDF
    Abstract. Lead poisoning has been extensively studied over the years. Many adverse physiological and behavioral impacts on the human body have been reported due to the entry of this heavy metal. It especially affects the neural development of children. The current study investigates the effect of lead exposure in young (1.5 months) and adult (10 months) male Fisher 344 rats. Five weeks of lead administration resulted in a profound change in the lead levels in the red blood cells (RBCs) of the young lead-exposed group (37.0 � 4.47 �g/dl) compared to the control (�1 �g/dl) and adult (27.4 � 8.38 �g/dl) lead-exposed groups. Therefore, this study confirms the fact that gastrointestinal absorption of lead in young is greater than that of adults. Furthermore, glutathione and glutathione disulfide (GSSG) levels in RBCs, liver, and brain tissues were measured to determine thiol status; malondialdehyde (MDA

    Reasoning about goal-directed real-time teleo-reactive programs

    Get PDF
    The teleo-reactive programming model is a high-level approach to developing real-time systems that supports hierarchical composition and durative actions. The model is different from frameworks such as action systems, timed automata and TLA+, and allows programs to be more compact and descriptive of their intended behaviour. Teleo-reactive programs are particularly useful for implementing controllers for autonomous agents that must react robustly to their dynamically changing environments. In this paper, we develop a real-time logic that is based on Duration Calculus and use this logic to formalise the semantics of teleo-reactive programs. We develop rely/guarantee rules that facilitate reasoning about a program and its environment in a compositional manner. We present several theorems for simplifying proofs of teleo-reactive programs and present a partially mechanised method for proving progress properties of goal-directed agents. © 2013 British Computer Society

    Towards structured sharing of raw and derived neuroimaging data across existing resources

    Full text link
    Data sharing efforts increasingly contribute to the acceleration of scientific discovery. Neuroimaging data is accumulating in distributed domain-specific databases and there is currently no integrated access mechanism nor an accepted format for the critically important meta-data that is necessary for making use of the combined, available neuroimaging data. In this manuscript, we present work from the Derived Data Working Group, an open-access group sponsored by the Biomedical Informatics Research Network (BIRN) and the International Neuroimaging Coordinating Facility (INCF) focused on practical tools for distributed access to neuroimaging data. The working group develops models and tools facilitating the structured interchange of neuroimaging meta-data and is making progress towards a unified set of tools for such data and meta-data exchange. We report on the key components required for integrated access to raw and derived neuroimaging data as well as associated meta-data and provenance across neuroimaging resources. The components include (1) a structured terminology that provides semantic context to data, (2) a formal data model for neuroimaging with robust tracking of data provenance, (3) a web service-based application programming interface (API) that provides a consistent mechanism to access and query the data model, and (4) a provenance library that can be used for the extraction of provenance data by image analysts and imaging software developers. We believe that the framework and set of tools outlined in this manuscript have great potential for solving many of the issues the neuroimaging community faces when sharing raw and derived neuroimaging data across the various existing database systems for the purpose of accelerating scientific discovery

    Large-scale Motions in the Perseus Galaxy Cluster

    Full text link
    By combining large-scale mosaics of ROSAT PSPC, XMM-Newton, and Suzaku X-ray observations, we present evidence for large-scale motions in the intracluster medium of the nearby, X-ray bright Perseus Cluster. These motions are suggested by several alternating and interleaved X-ray bright, low-temperature, low-entropy arcs located along the east-west axis, at radii ranging from ~10 kpc to over a Mpc. Thermodynamic features qualitatively similar to these have previously been observed in the centers of cool core clusters, and were successfully modeled as a consequence of the gas sloshing/swirling motions induced by minor mergers. Our observations indicate that such sloshing/swirling can extend out to larger radii than previously thought, on scales approaching the virial radius.Comment: 6 pages, 6 figures, accepted for publication in Ap
    corecore