Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
In this thesis, I present the variational database management system, a formal framework and its implementation for representing variation in relational databases and managing variational information needs. A variational database is intended to support any kind of variation in a database. Specific kinds of variation in databases have already been...
Reconstructing the sensitivity of past climate to forcings, and of ancient glaciers and ice sheets to this climate, can allow us to better understand the range of climate and cryosphere behavior we may see in the coming centuries. The Arctic is a region of particular importance due to its well-documented...
Generally presented as a preferred social norm based on both ethical considerations and legislative demands, gender equality has been highly encouraged in recent years. For instance, The United Nations Sustainable Development Goals for 2030 call out achieving gender equality and empowerment of women. However, although there are multiple efforts to...
Historically, researchers have used surveys, focus groups, and anecdotal evidence to evaluate consumer response to environmentally certified, ecolabeled forest products. These methods generally measure consumer attitudes toward certified forest products. Since the strength of the correlation between attitudes
and behavior has long been questioned, consumer response to certified forest products...
Image feature detection and matching are two critical processes for many computer vision tasks. Currently, intensity-based local interest region detectors and local feature-based matching methods are used widely in computer vision applications. But in some applications, such as biological object recognition tasks, within-class changes in pose, lighting, color, and texture...
Understanding the degree to which topography of erosional landscapes in active mountain belts encode the rates and patterns of active deformation in the upper crust is a primary goal in the field of tectonic geomorphology. In particular, the convolved influence of variations in rock mass quality and the erodibility of...
The federally threatened northern spotted owl (Strix occidentalis caurina) is the focus of intensive conservation efforts that have led to much forested land being reserved as habitat for the owl and associated wildlife species throughout the Pacific Northwest of the United States. Recently, however, a relatively new threat to spotted...
:
_____________________________________________________________________
Robert G. Anthony Eric D. Forsman
The federally threatened northern spotted owl (Strix
Biological invasions provide a unique opportunity to study the mechanisms that regulate community composition and ecosystem function. Invasive species that are also ecosystem engineers can substantially alter physical features in an environment, and this can lead to cascading effects on the biological community. Aquatic-terrestrial interface ecosystems are excellent systems to...
Antarctic Ice Sheet mass balance and, hence, sea level change is affected by the floating extensions of outlet glaciers and ice streams that take up about 44% of the coastline (Drewry et al., 1982) and are referred to as "ice shelves". Ice sheet mass loss accelerates when these ice shelves...