Search Constraints

Start Over
Filtering by: Creator Strem, Eric Thomas Remove constraint Creator: Strem, Eric Thomas Resource Type Dissertation Remove constraint Resource Type: Dissertation

Search Results

  • Variational Satisfiability Solving

    Creator:
    Young, Jeffrey M.
    Abstract:
    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....
    Resource Type:
    Dissertation
    Full Text:
    : Variational Satisfiability Solving Abstract approved: Eric Walkingshaw Over the last two decades

  • Theory and Implementation of a Variational Database Management System

    Creator:
    Ataei, Parisa S.
    Abstract:
    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...
    Resource Type:
    Dissertation
    Full Text:
    Implementation of a Variational Database Management System Abstract approved: Eric Walkingshaw In this thesis

  • North Atlantic Climate and Cryosphere Variability Over the Past 20,000 Years

    Creator:
    Sinclair, Gaylen
    Abstract:
    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...
    Resource Type:
    Dissertation
    Full Text:
    20,000 Years Abstract approved: ______________________________________________________ Eric

  • Women in Forest Sector Leadership: A Qualitative, Multi-country Study

    Creator:
    Larasatie, Pipiet
    Abstract:
    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...
    Resource Type:
    Dissertation
    Full Text:
    : ______________________________________________________ Eric Hansen Generally presented as a preferred social norm based on both ethical

  • An analysis of consumer response to environmentally certified, ecolabeled forest products

    Creator:
    Anderson, Roy Carl
    Abstract:
    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...
    Resource Type:
    Dissertation
    Full Text:
    Consumer Response to Environmentally Certified, Ecolabeled Forest Products Abstract approved: Eric N

  • Image feature detection and matching for biological object recognition

    Creator:
    Deng, Hongli
    Abstract:
    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...
    Resource Type:
    Dissertation
    Full Text:
    : Image Feature Detection and Matching for Biological Object Recognition Abstract approved: Eric

  • Spatial and Temporal Landscape Responses to Progressive Tectonic Forcing along California Fault Systems

    Creator:
    Manopkawee, Pichawut
    Abstract:
    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...
    Resource Type:
    Dissertation
    Full Text:
    Abstract approved: ______________________________________________________ Eric Kirby

  • Competitive interactions and resource partitioning between northern spotted owls and barred owls in western Oregon

    Creator:
    Wiens, J. David
    Abstract:
    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...
    Resource Type:
    Dissertation
    Full Text:
    : _____________________________________________________________________ Robert G. Anthony Eric D. Forsman The federally threatened northern spotted owl (Strix

  • The influence of biophysical feedbacks and species interactions on grass invasions and coastal dune morphology in the Pacific Northwest, USA

    Creator:
    Zarnetske, Phoebe Lehmann
    Abstract:
    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...
    Resource Type:
    Dissertation
    Full Text:
    : Sally D. Hacker Eric W. Seabloom Biological invasions provide a unique opportunity to study

  • The effects of thermodynamic parameterizations, ice shelf geometry, and tides on modeled basal melting of Weddell Sea ice shelves

    Creator:
    Mueller, Rachael D.
    Abstract:
    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...
    Resource Type:
    Dissertation
    Full Text:
    Shelves. Abstract approved: Eric D. Skyllingstad Laurence Padman Antarctic Ice Sheet mass balance and