Although widely studied in many portions of North America, little is known about the specific habitat requirements of mallard ducks (Anas platyrhynchos) during the breeding season in western Oregon. I radio-marked 72 female mallards in the Willamette Valley of Oregon in March-April 1995-96 to document wetland habitat selection during pre-nesting...
As a general solution to the problem of managing structural and content variability in relational databases, in previous work we have introduced the Variational Database Management System (VDBMS). VDBMS consists of a representation of a variational database (VDB) and a corresponding typed query language (v-query). However, since this is a...
Variation in data is abundant and ubiquitous in real-world applications. Managing variation in databases is, however, difficult and has been extensively studied by the database community. Schema evolution, data integration, and database versioning are examples of well-studied forms of database variation with effective context-specific solutions. However, variation appears in different...
In the days following Oct. 5, 2007, the staff of The Daily Barometer - the student newspaper at Oregon State University - was left scrambling for understanding. The paper published a image of a man wearing black face paint for an event called "Blackout Reser." That black face paint looked...
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....
The Eastern California Shear Zone (ECSZ) is a broad zone of dextral shear inboard of the North American - Pacific plate boundary. Despite decades of study, the significance of a mismatch between geodetic velocities and geologic fault slip rates across the ECSZ remains incompletely understood. Geodetically determined interseismic strain across...
Variation is a commonly encountered element of modern software systems. Recent research into variation has led to increasing interest in the development of variational programming languages and corresponding variational models of execution. Variational imperative languages pose a particular challenge due to the complex interactions between side effects and variation. The...
The importance of wind-driven latent heat fluxes for supporting tropical intraseasonal precipitation variability is analyzed. Tropical
intraseasonal variability in the west pacific and Indian ocean is analyzed for northern and southern hemisphere summer during 1999-2005 using
satellite and buoy observations. A composite analysis of QuikSCAT ocean vector winds and TRMM...
Image segmentation continues to be a fundamental problem in computer vision and image understanding. In this thesis, we present a Bayesian network that we use for object boundary detection in which the MPE (most probable explanation) before any evidence can produce multiple non-overlapping, non-self-intersecting closed contours and the MPE with...
In this thesis, we present semantic equivalence rules for an extension of the choice calculus and sound operations for an implementation of variational lists. The choice calculus is a calculus for describing variation and the formula choice calculus is an extension with formulas. We prove semantic equivalence rules for the...