Ecological indicators, historical land use, and invasive species detection in the lower Iowa River floodplain." MA has been approved by the Examining Committee for the thesis requirement for the Master of Arts degree in Geography at the May 2014 graduation.

The current study used ecological momentary assessment to test several tenets of the reserve capacity model (L.C. Gallo & K. A. Matthews, 2003). Women (N = 108) with varying socioeconomic status (SES) monitored positive and negative psychosocial experiences and emotions across 2 days. Measures of intrapsychic and social resources were aggregated to represent the reserve capacity available to ma...

We address the question how citation-based bibliometric indicators can best be normalized to ensure fair comparisons between publications from different scientific fields and different years. In a systematic large-scale empirical analysis, we compare a traditional normalization approach based on a field classification system with three source normalization approaches. We pay special attention t...

The ability to achieve ecological sustainability and the sustainable development of marine and estuarine ecosystems constitutes a complex major challenge and depends on many driving forces, often conflicting with each other. In particular, there are three major drivers: (a) the search for human well-being, health and safety, (b) the maintenance of ecological sustainability and environmental equ...

In a work of Just, Miller, Scheepers and Szeptycki it was asked whether certain diagonalization properties for sequences of open covers are provably closed under taking finite or countable unions. In a recent work, Scheepers proved that one of the properties in question is closed under taking countable unions. After surveying the known results, we show that none of the remaining classes is prov...

In this paper we investigate to what extent a very simple and natural ”reachability as deducibility” approach, originating in research on formal methods for security, is applicable to the automated verification of large classes of infinite state and parameterized systems. This approach is based on modeling the reachability between (parameterized) states as deducibility between suitable encoding...