Previous research has suggested that the use of more authentic learning activities can produce more robust and durable knowledge gains. This is consistent with calls within civil engineering education, specifically hydrology, that suggest that curricula should more often include professional perspective and data analysis skills to better develop the ‘T-shaped’...
Although there are considerable site-based data for individual or groups of ecosystems, these datasets are widely scattered, have different data formats and conventions, and often have limited accessibility. At the broader scale, national datasets exist for a large number of geospatial features of land, water, and air that are needed...
While there has been growing interest in the gut microbiome in recent years, it remains unclear whether closely related species and strains have similar or distinct functional roles and if organisms capable of both aerobic and anaerobic growth do so simultaneously. To investigate these questions, we implemented a high-throughput mass...
Surface water and groundwater interactions are a key component in the functioning of stream ecosystems. Exchange of water between the stream and the hyporheic zone creates habitat for aquatic organisms and serves as a control for stream biogeochemical, thermal, and flow processes. This study takes a multi-method field-based approach to...
Clostridium perfringens is a spore-forming pathogenic bacterium that causes a variety of diseases in human and animals. C. perfringens type A isolates produce enterotoxin (CPE) causing food poisoning (FP) and non-food-borne (NFB) gastrointestinal (GI) diseases including antibiotic-associated diarrhea and sporadic diarrhea. C. perfringens type A food poisoning currently ranks as...
The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...