System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment and identification of objects. The challenge posed in perception systems involves verifying the accuracy and rigidity of detections. The use of Spatio-Temporal Perception Logic (STPL) enables the user to express requirements for the perception system to verify, validate, and ensure its behavior; however, a drawback to STPL involves its accessibility. It is limited to individuals with an expert or higher-level knowledge of temporal and spatial logics, and the formal-written requirements become quite verbose with more restrictions imposed. In this thesis, I propose a domain-specific language (DSL) catered to Spatio-Temporal Perception Logic to enable non-expert users the ability to capture requirements for perception subsystems while reducing the necessity to have an experienced background in said logic. The domain-specific language for the Spatio-Temporal Perception Logic is built upon the formal language with two abstractions. The main abstraction captures simple programming statements that are translated to a lower-level STPL expression accepted by the testing monitor. The STPL DSL provides a seamless interface to writing formal expressions while maintaining the power and expressiveness of STPL. These translated equivalent expressions are capable of directing a standard for perception systems to ensure the safety and reduce the risks involved in ill-formed detections.

Human-environment interactions in aeolian (windblown) systems has focused research on<br/>human’s role in causing and aiding recovery from natural and anthropogenic disturbance. There<br/>is room for improvement in understanding the best methods and considerations for manual<br/>coastal foredune restoration. Furthermore, the extent to which humans play a role in changing the<br/>shape and surface textures of quartz sand grains is poorly understood. The goal of this thesis is<br/>two-fold: 1) quantify the geomorphic effectiveness of a multi-year manually rebuilt foredune and<br/>2) compare the shapes and microtextures on disturbed and undisturbed quartz sand grains. For<br/>the rebuilt foredune, uncrewed aerial systems (UAS) were used to survey the site, collecting<br/>photos to create digital surface models (DSMs). These DSMs were compared at discrete<br/>moments in time to create a sediment budget. Water levels and cross-shore modeling is also<br/>considered to predict the decadal evolution of the site. In the two years since rebuilding, the<br/>foredune has been stable, but not geomorphically resilient. Modeling shows landward foredune<br/>retreat and beach widening. For the quartz grains, t-testing of shape characteristics showed that<br/>there may be differences in the mean circularity between grains from off-highway vehicle and<br/>non-riding areas. Quartz grains from a variety of coastal and inland dunes were imaged using a<br/>scanning electron microscopy to search for evidence of anthropogenically-induced<br/>microtextures. On grains from Oceano Dunes in California, encouraging textures like parallel<br/>striations, grain fracturing, and linear conchoidal fractures provide exploratory evidence of<br/>anthropogenic microtextures. More focused research is recommended to confirm this exploratory<br/>work.

Fire is a naturally-occurring disruptive ecological force that is an essential part of certain ecosystems, and has historically been a tool used by indigenous fire stewards to maintain the health of the land. In the past century, fire has been severely suppressed throughout many areas of the Western United States as Western colonization and the suppression of native traditional ecological knowledge took place, causing a severe decline in ecosystem health and the accumulation of flammable vegetation, which has more recently contributed towards a frequency of catastrophic, high-intensity wildfires. Current fire management challenges include balancing social and ecological perspectives. In Colorado and other areas of the country, community wildfire protection plans (CWPP) are evolving as a means to involve a variety of community stakeholders in fire management decisions. Using Colorado CWPP boundaries as a social management unit and endangered species ranges as an ecological management unit, I analyzed the spatial overlap of these different factors. Since each CWPP has its own fire management policies, I drew implications from the results for which important factors different CWPPs should consider.

Surveys have shown that several hundred billion weather forecasts are obtained by the United States public each year, and that weather news is one of the most consumed topics in the media. This indicates that the forecast provides information that is significant to the public, and that the public utilizes details associated with it to inform aspects of their life. Phoenix, Arizona is a dry, desert region that experiences a monsoon season and extreme heat. How then, does the weather forecast influence the way Phoenix residents make decisions? This paper aims to draw connections between the weather forecast, decision making, and people who live in a desert environment. To do this, a ten-minute survey was deployed through Amazon Mechanical Turk (MTurk) in which 379 respondents were targeted. The survey asks 45 multiple choice and ranking questions categorized into four sections: obtainment of the forecast, forecast variables of interest, informed decision making based on unique weather variables, and demographics. This research illuminates how residents in the Phoenix metropolitan area use the local weather forecast for decision-making on daily activities, and the main meteorological factors that drive those decisions.

Globally, the incidental capture of non-target species in fisheries (bycatch) has been linked to declines of ecologically, economically, and culturally important marine species. Gillnet fisheries have especially high bycatch due to their non-selective nature, necessitating the development of new bycatch reduction technologies (BRTs). Net illumination is an emerging BRT that has shown promise in reducing bycatch of marine megafauna, including sea turtles, cetaceans, and seabirds. However, little research has been conducted to understand the effects of net illumination on fish assemblages, including bony fish and elasmobranchs (i.e. sharks, rays, and skates). Here, I assessed a 7-year dataset of paired net illumination trials using four different types of light (green LEDs, green chemical glowsticks, ultraviolet (UV) lights, and orange lights) to examine the effects of net illumination on fish catch and bycatch in a gillnet fishery at Baja California Sur, Mexico. Analysis revealed no significant effect on bony fish target catch or bycatch for any light type. There was a significant decrease in elasmobranch bycatch using UV and orange lights, with orange lights showing the most promise for decreasing elasmobranch bycatch, resulting in a 50% reduction in bycatch rates. Analysis of the effects of net illumination on elasmobranch target catch was limited due to insufficient data. These results indicate that the illumination of gillnets may offer a practical solution for reducing fish bycatch while maintaining target catch. More research should be conducted to understand the effects of net illumination in different fisheries, how net illumination affects fisher profit and efficiency, and how net illumination affects fish behavior. Further optimization of net illumination is also necessary before the technology can be recommended on a broader scale.

The COVID-19 Pandemic has provided a challenge for educators to create virtual learning materials that are engaging and impactful during times of high stress and isolation. In this creative project, I explore the variety of virtual tools and web applications from Esri by creating a Story Map on the Verde River Watershed. This Story Map is intended for an audience of students in late middle school and early high school but can be a resource to teachers for a wider age range. The integration of interactive technology and virtual tools in educational practices is likely to continue past the immediate circumstances of the COVID-19 pandemic. The purpose of this Story Map is to showcase one of the many uses for geospatial web applications beyond the immediate realm of GIS.