Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Creator Martin, Olga Committee Member Borradaile, Glencora

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
Computational Elucidation of the Regulatory SNPs in the Non-Coding Regions of the Human Genome

Creator:

Yao, Yao

Abstract:

We describe a series of novel computational models, CERENKOV (Computational Elucidation of the REgulatory NonKOding Variome) and its successors CERENKOV2, CERENKOV3, and Convolutional CERENKOV3, for discriminating regulatory single nucleotide polymorphisms (rSNPs) from non-regulatory SNPs within non-coding genetic loci. The CERENKOV models are designed for recognizing rSNPs in the context of...

Resource Type:

Dissertation
Communication efficient private set and database operations

Creator:

Garimella, Gayathri Annapurna

Abstract:

Secure Computation is a powerful tool that enables a set of parties to jointly compute any function over their private inputs, without a trusted third party. Private Set Intersection is a specific case of two-party Secure Computation, where Alice (with private set X) and Bob (with private set Y) specifically...

Resource Type:

Dissertation