Infrared detection of concrete deterioration

Infrared detection of concrete deterioratio

Setting and Achieving Appropriate Expectations for Faculty Performance

Evaluating colleagues is perhaps the most intimidating task for chair. This presentation aimsto: identify best practices for setting and meeting expectations for faculty performance; understand the importance of faculty expectations and the review process; and encourage accepting and sharing responsibility for the process. Interactive scenarios will be presented

Extravehicular activities limitations study. Volume 1: Physiological limitations to extravehicular activity in space

This report contains the results of a comprehensive literature search on physiological aspects of EVA. Specifically, the topics covered are: (1) Oxygen levels; (2) Optimum EVA work; (3) Food and Water; (4) Carbon dioxide levels; (5) Repetitive decompressions; (6) Thermal, and (7) Urine collection. The literature was assessed on each of these topics, followed by statements on conclusions and recommended future research needs

A role for DNA-dependent activator of interferon regulatory factor in the recognition of herpes simplex virus type 1 by glial cells

<p>Abstract</p> <p>Background</p> <p>The rapid onset of potentially lethal neuroinflammation is a defining feature of viral encephalitis. Microglia and astrocytes are likely to play a significant role in viral encephalitis pathophysiology as they are ideally positioned to respond to invading central nervous system (CNS) pathogens by producing key inflammatory mediators. Recently, DNA-dependent activator of IFN regulatory factor (DAI) has been reported to function as an intracellular sensor for DNA viruses. To date, the expression and functional role of DAI in the inflammatory responses of resident CNS cells to neurotropic DNA viruses has not been reported.</p> <p>Methods</p> <p>Expression of DAI and its downstream effector molecules was determined in C57BL/6-derived microglia and astrocytes, either at rest or following exposure to herpes simplex virus type 1 (HSV-1) and/or murine gammaherpesvirus-68 (MHV-68), by immunoblot analysis. In addition, such expression was studied in ex vivo microglia/macrophages and astrocytes from uninfected animals or mice infected with HSV-1. Inflammatory cytokine production by glial cultures following transfection with a DAI specific ligand (B-DNA), or following HSV-1 challenge in the absence or presence of siRNA directed against DAI, was assessed by specific capture ELISA. The production of soluble neurotoxic mediators by HSV-1 infected glia following DAI knockdown was assessed by analysis of the susceptibility of neuron-like cells to conditioned glial media.</p> <p>Results</p> <p>We show that isolated microglia and astrocytes constitutively express DAI and its effector molecules, and show that such expression is upregulated following DNA virus challenge. We demonstrate that these resident CNS cells express DAI <it>in situ</it>, and show that its expression is similarly elevated in a murine model of HSV-1 encephalitis. Importantly, we show B-DNA transfection can elicit inflammatory cytokine production by isolated glial cells and DAI knockdown can significantly reduce microglial and astrocyte responses to HSV-1. Finally, we demonstrate that HSV-1 challenged microglia and astrocytes release neurotoxic mediators and show that such production is significantly attenuated following DAI knockdown.</p> <p>Conclusions</p> <p>The functional expression of DAI by microglia and astrocytes may represent an important innate immune mechanism underlying the rapid and potentially lethal inflammation associated with neurotropic DNA virus infection.</p

Longitudinal patterns in an Arkansas River Valley stream: an Application of the River Continuum Concept

The River Continuum Concept (RCC) provides the framework for studying how lotic ecosystems vary from headwater streams to large rivers. The RCC was developed in streams in eastern deciduous forests of North America, but watershed characteristics and land uses differ across ecoregions, presenting unique opportunities to study how predictions of the RCC may differ across regions. Additionally, RCC predictions may vary due to the influence of fishes, but few studies have used fish taxa as a metric for evaluating predictions of the RCC. Our goal was to determine if RCC predictions for stream orders 1 through 5 were supported by primary producer, macroinvertebrate, and fish communities in Cadron Creek of the Arkansas River Valley. We sampled chlorophyll a, macroinvertebrates, and fishes at five stream reaches across a gradient of watershed size. Contrary to RCC predictions, chlorophyll a did not increase in concentration with catchment size. As the RCC predicts, fish and macroinvertebrate diversity increased with catchment size. Shredding and collecting macroinvertebrate taxa supported RCC predictions, respectively decreasing and increasing in composition as catchment area increased. Herbivorous and predaceous fish did not follow RCC predictions; however, surface-water column feeding fish were abundant at all sites as predicted. We hypothesize some predictions of the RCC were not supported in headwater reaches of this system due to regional differences in watershed characteristics and altered resource availability due to land use surrounding sampling sites

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

In recent work we have shown how it is possible to define very precise type systems for object-oriented languages by abstractly compiling a program into a Horn formula f. Then type inference amounts to resolving a certain goal w.r.t. the coinductive (that is, the greatest) Herbrand model of f. Type systems defined in this way are idealized, since in the most interesting instantiations both the terms of the coinductive Herbrand universe and goal derivations cannot be finitely represented. However, sound and quite expressive approximations can be implemented by considering only regular terms and derivations. In doing so, it is essential to introduce a proper subtyping relation formalizing the notion of approximation between types. In this paper we study a subtyping relation on coinductive terms built on union and object type constructors. We define an interpretation of types as set of values induced by a quite intuitive relation of membership of values to types, and prove that the definition of subtyping is sound w.r.t. subset inclusion between type interpretations. The proof of soundness has allowed us to simplify the notion of contractive derivation and to discover that the previously given definition of subtyping did not cover all possible representations of the empty type