Creating an untraditional more personalized thesis allowed me to combine my
passion for children, travel, language, and books all into one. Hans the Adventurer is
a children’s book about a young German boy who loves to go on adventures.
However Han’s has to go on the adventure alone when his...
Oregon has a growing artisan cheese industry and is developing a reputation as one of the country’s leading regions for many varieties of cheeses. This thesis is an exploration of four of Oregon’s premier artisan creameries. The primary research for this project included visiting the farms and cheesemakers, tasting the...
This ethnomusicological study has examined the forces that have globalized the Andean instrument of the quena and the genre of Andean music as a whole. This thesis specifically addresses the cultural, and socio-political factors over the last century that has led to the quena being circulated across the globe. Much...
Innovation is a critical component for long term success of an organization. However, being innovative is rarely easy. Successful implementation of any innovation (product, process, or business system) can heavily rely on the functionality of the current innovation system in a given industry. An innovation system is composed of policies,...
This paper discusses the merits of providing users variational views when editing variational code. I provide a plugin for the popular Atom Integrated Development Environment (IDE) which replaces #ifdef annotations commonly used by the C PreProcessor (CPP) with colored backgrounds, thus reducing code clutter and attempting to help programmers quickly...
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...
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, 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...