Search Constraints

Start Over
Filtering by: Creator Voigt, Christian C. Remove constraint Creator: Voigt, Christian C. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • 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

  • Variational Satisfiability Solving

    Creator:
    Young, Jeffrey M.
    Abstract:
    Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
    Resource Type:
    Dissertation
    Full Text:
    incremental SAT program which is suitable for execution on an incremental SAT solver. (c) A formal

  • Predicting Aerodynamic Loads on Highly Flexible Membrane Wings

    Creator:
    Carpenter, Trenton James
    Abstract:
    Through passive adaptation to incidental flow, flexible aerodynamic surfaces exploit effects of increased lift, delayed stall and disturbance rejection. Wings of birds, bats, and insects exhibit these passive effects, and at the same time through the use of structural state feedback sensed from the loads on the wing, active control...
    Resource Type:
    Dissertation
    Full Text:
    around a pitching membrane airfoil to model the time varying loads due to dynamic pitching. c

  • Ensemble Monte-Carlo planning : an empirical study

    Creator:
    Lewis, Paul
    Abstract:
    Monte-Carlo planning algorithms such as UCT make decisions at each step by intelligently expanding a single search tree given the available time and then selecting the best root action. Recent work has provided evidence that it can be advantageous to instead construct an ensemble of search trees and make a...
    Resource Type:
    Masters Thesis
    Full Text:
    sequential model. Additionally, from our work we produced an open-source planning library. c©Copyright by

  • Interpretable Machine Learning: Applications in Biology and Genomics

    Creator:
    Danaee, Padideh
    Abstract:
    Machine learning (ML) and deep learning (DL) models impact our daily lives with applications in natural language modeling, image analysis, healthcare, genomics, and bioinformatics. The exponential growth of biological sequence data necessitates accompanying advances in computational methods. Although deep learning is highly effective for detecting and classifying biological sequences, challenges...
    Resource Type:
    Dissertation
    Full Text:
    applicable more broadly to other areas of data science. c�Copyright by Padideh Danaee December 6, 2019

  • Approximation Schemes in Planar Graphs

    Creator:
    Zheng, Baigong
    Abstract:
    There are growing interests in designing polynomial-time approximation schemes (PTAS) for optimization problems in planar graphs. Many NP-hard problems are shown to admit PTAS in planar graphs in the last decade, including Steiner tree, Steiner forest, two- edge-connected subgraphs and so on. We follow this research line and study several...
    Resource Type:
    Dissertation
    Full Text:
    PTAS. c©Copyright by Baigong Zheng November 7, 2018 All Rights Reserved Approximation Schemes in

  • Leveraging Structures of the Data in Deep Learning

    Creator:
    Li, Xingyi
    Abstract:
    The performance of deep learning frameworks could be significantly improved through considering the particular underlying structures for each dataset. In this thesis, I summarize our three work about boosting the performance of deep learning models through leveraging structures of the data. In the first work, we theoretically justify that, for...
    Resource Type:
    Dissertation
    Full Text:
    comparison to the state-of-the-art point-based approaches on both SemanticKITTI and ScanNet. c©Copyright

  • Object Tracking-by-Segmentation in Videos

    Creator:
    Chen, Sheng
    Abstract:
    This thesis focuses on the problem of object tracking. Given a video, the general objective of tracking is to track the location over time of one or more targets in the image sequence. This is a very challenging task as algorithms need to deal with problems such as appearance variations,...
    Resource Type:
    Dissertation
    Full Text:
    benchmark video collections, which demonstrate improve- ments over the state-of-the-art. c©Copyright by

  • Coordination for Scalable Multiple Robot Planning Under Temporal Uncertainty

    Creator:
    Marcon dos Santos, Gilberto
    Abstract:
    This dissertation incorporates coalition formation and probabilistic planning towards a domain-independent automated planning solution scalable to multiple heterogeneous robots in complex domains. The first research direction investigates the effectiveness of Task Fusion and introduces heuristics that improve task allocation and result in better quality plans, while requiring lower computational cost...
    Resource Type:
    Dissertation
    Full Text:
    algorithms. c©Copyright by Gilberto Marcon dos Santos June 8, 2020 All Rights Reserved Coordination

  • A Distributed Scheme for Accelerating and Scaling PSPNet

    Creator:
    Krishna, Ajay
    Abstract:
    Advances in deep learning based image processing have led to their adoption for a wide range of applications, and in tow with these developments is a dramatic increase in the availability of high quality datasets. With this comes the need to accelerate and scale deep learning applications in order to...
    Resource Type:
    Masters Thesis
    Full Text:
    TensorFlow [1] and PyTorch [11] by their developers, Google and Facebook respectively. With CUDA [4] C