Search Constraints

Start Over
Filtering by: Creator Brewster, C. S. Remove constraint Creator: Brewster, C. S. Committee Member Fern, Alan Remove constraint Committee Member: Fern, Alan Rights Statement In Copyright Remove constraint Rights Statement: In Copyright

Search Results

  • Principles of Variational Databases

    Creator:
    Ataei, Parisa S.
    Abstract:
    Data variations are prevalent in real-world applications. For example, software vendors have to handle numerous variations in the business requirements, conventions, and environmental settings of a software product. In database-backed software, the database of each version may have a different schema and content. As another example, data scientists often need...
    Resource Type:
    Masters Thesis
    Full Text:
    ) OSJ.K : Vsch→ C→ S OSJf̂〈{V R1; . . . ;V Rn},∅〉Kc = { {ORJV R1Kc; . . . ;ORJV RnKc}, if F Jf̂Kc = true

  • Theory and Implementation of a Variational Database Management System

    Creator:
    Ataei, Parisa S.
    Abstract:
    In this thesis, I present the variational database management system, a formal framework and its implementation for representing variation in relational databases and managing variational information needs. A variational database is intended to support any kind of variation in a database. Specific kinds of variation in databases have already been...
    Resource Type:
    Dissertation
    Full Text:
    type system and its denotational semantics. c©Copyright by Parisa S. Ataei June 11, 2021 All Rights

  • Learning MDP action models via discrete mixture trees

    Creator:
    Wynkoop, Michael S.
    Abstract:
    This thesis addresses the problem of learning dynamic Bayesian network (DBN) models to support reinforcement learning. It focuses on learning regression tree models of the conditional probability distributions of the DBNs. Existing algorithms presume that the stochasticity in the domain can be modeled as a deterministic function with additive noise....
    Resource Type:
    Masters Thesis
    Full Text:
    : let h∗ := hs; s∗ := s 20: E∗left := Eleft;E ∗ right := Eright;C ∗ left := Cleft;C ∗ right := Cright

  • Customizable Visual Traces for Program Explanations

    Creator:
    Bajaj, Divya
    Abstract:
    Correctness and efficiency are important properties of programs. However, to support maintenance and debugging, the programs should also be understandable. Program explanations also play a vital role in educational settings, enhancing the understanding of programs among students. Proof trees provide a sound basis for generating dynamic explanations of programs. But...
    Resource Type:
    Masters Thesis
    Full Text:
    Removing intermediate node c from trace in Figure 5.1 . . . . . . . . . . 29 5.3 Hiding node c from trace

  • A tool for visualizing sequence alignments and associating annotations

    Creator:
    Zhang, Wenpeng
    Abstract:
    Alignment of genomic sequences from different species is becoming an increasingly powerful method in biology, and is being used for many purposes. The result of sequence alignments is a list of pairs of matched locations between the pattern string and the text string. However, without any proper visualization tools to...
    Resource Type:
    Capstone Project
    Full Text:
    annotation(s) and allows users to save the matched result. Keywords: alignment region clustering

  • Probabilities of voting paradoxes with three candidates

    Creator:
    McDonald, Leslie M.
    Abstract:
    Pardoxes in voting has been an interest of voting theorists since the 1800's when Condorcet demonstrated the key example of a voting paradox: voters with individually transitive rankings produce an election outcome which is not transitive. With Arrow's Impossibility Theorem, the hope of finding a fair voting method which accurately...
    Resource Type:
    Masters Thesis
    Full Text:
    ’ preferences are strictly transitive. The set of preferences is S = {A � B � C , A � C � B , B � A � C , C � A

  • Agile Bipedal Maneuvers Optimized then Learned from Single Rigid-Body Model Dynamics

    Creator:
    Batke, Ryan
    Abstract:
    As bipedal robots move ever closer to being integrated into all manner of real world envi-ronments there is a necessity to push their dynamic capabilities to meet or exceed those of humans and animals. Advancements must be made to address ordinary challenges that arise everyday in the same environments that...
    Resource Type:
    Masters Thesis
    Full Text:
    ◦ turn into 3-step +90◦ turn at 2 m/s. C: −90◦ spin jump, CoM reaching 1.2 m. Vertical dashed lines on

  • Object detection in biological images using a search-based framework

    Creator:
    Lam, Michael
    Abstract:
    This thesis addresses a basic problem in computer vision, that of semantic labeling of images. Our work is aimed at object detection in biological images for evolutionary biology research. In particular, our goal is to detect nematocysts in Scanning Electron Microscope (SEM) images. This biological domain presents challenges for existing...
    Resource Type:
    Masters Thesis
    Full Text:
    according to C(s) and returns the ŷ of the lowest-cost state as the predicted output. Let y ∗ denote the

  • Deep Learning for Human and Biological Languages

    Creator:
    Hong, Junki
    Abstract:
    We explore the application of deep learning to the disparate fields of natural language processing and computational biology. Both the sentences uttered by humans as well as the RNA and protein sequences found within the cells of their bodies can be considered formal languages in computer science, as sets of...
    Resource Type:
    Dissertation
    Full Text:
    Adenine (A) prefers to bind with Uracil (U) and Cytosine (C) prefers to bind with Guanine (G). The

  • Revenue-based spectrum management via Markov decision process

    Creator:
    Zhu, Pingan
    Abstract:
    We consider the problem of wireless spectrum management in cognitive wireless networks that maximizes the revenue for a spectrum operator. Specifically, we study the problem on how a wireless spectrum operator can optimally allocate its limited spectrum to various classes users/devices who pay differently for their spectrum per unit time....
    Resource Type:
    Masters Thesis
    Full Text:
    13 's sstates sn = s to sn = s ' , and let c and c be specified as in the state space above m,n m,n