In this thesis I present the choice calculus, a formal language for representing variation in software and other structured artifacts. The choice calculus is intended to support variation research in a way similar to the lambda calculus in programming language research. Specifically, it provides a simple formal basis for presenting,...
Published May 2004. Facts and recommendations in this publication may no longer be valid. Please look for up-to-date information in the OSU Extension Catalog: http://extension.oregonstate.edu/catalog
There has been serious interest in hydrogen as a source of energy in the United States due to its capability of delivering a sustainable, carbon-free energy future. Currently, most hydrogen in the United States is produced via the steam methane reforming of natural gas, which converts methane to hydrogen through...
Soil instability from tsunami hazards causes substantial damage to coastal infrastructure (e.g., the damage caused by the 2011 Great East Japan Tsunami, or the Heisei Tsunami). Tsunamis are unpredictable, so it is difficult to obtain field-scale measurements. Simulating tsunamis in a laboratory setting is therefore important to further understanding of...