Search Constraints

Start Over
Filtering by: Subject Calculus of tensors Remove constraint Subject: Calculus of tensors Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science

Search Results

  • Hybrid visualization of asymmetric tensor fields : glyphs and hyperstreamlines

    Creator:
    Palke, Darrel
    Abstract:
    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...
    Resource Type:
    Masters Thesis
    Full Text:
    of elliptical patterns in the complex domains. In addition, I encode the tensor magnitude in the

  • A Formal Foundation for Variational Programming Using the Choice Calculus

    Creator:
    Hubbard, Spencer
    Abstract:
    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...
    Resource Type:
    Masters Thesis
    Full Text:
    thesis, we present semantic equivalence rules for an extension of the choice calculus and sound

  • The choice calculus : a formal language of variation

    Creator:
    Walkingshaw, Eric
    Abstract:
    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,...
    Resource Type:
    Dissertation
    Full Text:
    Calculus: A Formal Language of Variation Abstract approved: Martin Erwig In this thesis I present the