Search Constraints

Start Over
Filtering by: Creator Little, David Remove constraint Creator: Little, David Degree Field Computer Science Remove constraint Degree Field: Computer Science License All rights reserved Remove constraint License: All rights reserved

Search Results

  • Computational Approaches for RNA Structure Prediction with Dynamic Programming and Deep Neural Networks

    Creator:
    Deng, Dezhong
    Abstract:
    Our goal is to build a system to model the RNA sequences that reveals their structural information by using efficient dynamic programming algorithms and deep learning approaches. We aim to 1) achieve linear-time for RNA secondary structure prediction based on existing minimum free energy models; 2) utilize deep neural networks...
    Resource Type:
    Dissertation
    Full Text:
    Abstract approved: David A. Hendrix Our goal is to build a system to model the RNA sequences that reveals

  • 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:
    Human and Biological Languages Abstract approved: David Hendrix and Liang Huang We explore the

  • Type-correct changes — a safe approach to version control implementation

    Creator:
    Dagit, Jason
    Abstract:
    Ensuring correctness of real-world software applications is a challenging task. Testing can be used to find many bugs, but is typically not sufficient for proving correctness or even eliminating entire classes of bugs. However, formal proof and verification techniques tend to be very heavy weight and are simply not available...
    Resource Type:
    Masters Thesis
    Full Text:
    Implementation Abstract approved: David Roundy Martin Erwig Ensuring correctness of real-world software

  • Information Foraging Theory as a Unifying Foundation for Software Engineering Research : Connecting the Dots

    Creator:
    Piorkowski, David
    Abstract:
    Empirical studies have shown that programmers spend up to one-third of their time navigating through code during debugging. Although researchers have conducted empirical studies to understand programmers’ navigation difficulties and developed tools to address those difficulties, the resulting findings tend to be loosely connected to each other. To address this...
    Resource Type:
    Dissertation
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF David Piorkowski for the degree of Doctor of Philosophy in

  • Comparison of the Longevities of Roman and Modern Construction Projects

    Creator:
    Taylor, David D.
    Abstract:
    Throughout Europe, Northern Africa, and the Near East, hundreds of Roman ruins lie scattered about. Many Roman aqueducts, bridges, roads, and even buildings remain standing over two thousand years after their construction, as functional as the day they were built. In the modern United States, however, many public works projects...
    Resource Type:
    Honors College Thesis
    Full Text:
    David D. Taylor UHC Thesis Spring 2012 An Abstract

  • Shape Modeling and GPU Based Image Warping

    Creator:
    Burri, David
    Abstract:
    This project addresses the problems of manually placing facial landmarks on a portrait and finding a fast way to warp the annotated image of a face. While there are many approaches to automatically find facial landmarks, most of them provide insufficient results in uncontrolled environments. Thus I introduce a method...
    Resource Type:
    Capstone Project
    Full Text:
    AN ABSTRACT OF THE PROJECT REPORT OF David Burri for the

  • The Pursuit of Hoppiness : Propelling Hop into the Genomic Era

    Creator:
    Hill, Steven T.
    Abstract:
    Hop (Humulus lupulus L. var lupulus) is a plant of great cultural significance, used as a medicinal herb for thousands of years, and for flavor and as a preservative in brewing beer. Studies of the medicinal effects of the unique compounds produced by hop have led to interest from the...
    Resource Type:
    Masters Thesis
    Full Text:
    David A. Hendrix John A. Henning Hop (Humulus lupulus L. var

  • Prediction of gene transcription start sites and initiation patterns from DNA sequence content

    Creator:
    Morton, Taj H.
    Abstract:
    The computational identification of gene Transcription Start Sites (TSSs) can provide insights into the regulation and function of genes without performing expensive experiments, particularly in organisms with incomplete annotations. High-resolution general-purpose TSS prediction remains a challenging problem, with little recent progress on the identification and differentiation of TSSs which are...
    Resource Type:
    Masters Thesis
    Full Text:
    challenging problem, with little recent progress on the identification and differentiation of TSSs which are

  • Exploration of regression models for cancer noncoding mutation recurrence

    Creator:
    Xu, Tanjin
    Abstract:
    An important impact of the genome technology revolution will be the elucidation of mechanisms of cancer pathogenesis, leading to improvements in the diagnosis of cancer and the selection of cancer treatment. Integrated with current well-studied massive knowledge and findings about the role of protein-coding mutations in cancer, demystifying the functional...
    Resource Type:
    Masters Thesis
    Full Text:
    . Xiaoli Fern, Prof. David Hendrix and Prof. Hector A. Vergara for their insights, suggestions and their

  • Object highlighting : real-time boundary detection using a Bayesian network

    Creator:
    Jia, Jin
    Abstract:
    Image segmentation continues to be a fundamental problem in computer vision and image understanding. In this thesis, we present a Bayesian network that we use for object boundary detection in which the MPE (most probable explanation) before any evidence can produce multiple non-overlapping, non-self-intersecting closed contours and the MPE with...
    Resource Type:
    Masters Thesis
    Full Text:
    thank Professor Ron Metoyer, Professor Prasad Tadepalli and Professor David Birkes for being on my