Search Constraints

Start Over
Filtering by: Creator Martin, Olga Remove constraint Creator: Martin, Olga Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science Degree Level Master's Remove constraint Degree Level: Master's

Search Results

  • Formal Verification of the Variational Database Management System

    Creator:
    Khan, Fariba
    Abstract:
    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...
    Resource Type:
    Masters Thesis

  • Efficient Oblivious Access to Trees

    Creator:
    Hackebeil, Gabriel A.
    Abstract:
    The outsourcing of data storage and related infrastructure to third-party services in the cloud is a trend that has gained considerable momentum in the last decade due to the savings it affords companies in both capital and operational costs. Although encryption can alleviate some of the privacy concerns associated with...
    Resource Type:
    Masters Thesis

  • Fluid flow on interacting, deformable surfaces

    Creator:
    Neill, Patrick
    Abstract:
    Fluid simulation is an interesting research problem with a wide range of applications including mechanical engineering, special effects in movies and games, and scientific simulation. Due to the complex nature of typical fluid flow equations, there are circumstances where a full volumetric fluid simulation may not be necessary to generate...
    Resource Type:
    Masters Thesis