Asymmetric tensor fields are useful for understanding fluid flow and solid deformation. They present new challenges, however, for traditional tensor field visualization techniques such as hyperstreamline placement and glyph packing. This is because the physical behavior of tensors inside real domains where eigenvalues are real is fundamentally different from the...
The use of data extracted from particle image velocimetry (PIV) along with vector and tensor visualization techniques provides a valuable tool for understanding a complex flow field. By studying a simple geometric structure such as a cylinder under a simple transient waveform, fundamental mechanisms of wake development under solitary wave...
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...
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,...