Search Constraints

Start Over
Filtering by: Creator Lauten, David J. Remove constraint Creator: Lauten, David J. Degree Field Computer Science Remove constraint Degree Field: Computer Science Resource Type Masters Thesis Remove constraint Resource Type: Masters Thesis

Search Results

  • Automatic Classification of Ultrasonic Harbor Porpoise Clicks in a Varying Noise Environment

    Creator:
    De Leon, Daniel
    Abstract:
    This study compares three approaches in the design of an autonomous machine listening agent that predicts harbor porpoise ultrasonic echolocation clicks in diverse noise environments. Considering the temporal variations of noisy coastal ocean soundscapes which the harbor porpoises inhabit, we propose a leave-one-day-out (LODO) cross-validation strategy in the training of...
    Resource Type:
    Masters Thesis
    Full Text:
    approved: ______________________________________________________ Patrick J. Donnelly This

  • Machine Learning Methods for the Discovery and Analysis of MicroRNAs

    Creator:
    Bell, Jimmy D.
    Abstract:
    MicroRNAs are a highly conserved class of small endogenous RNA, about ~22nt in length, involved in post-transcriptional gene silencing and have prominent roles in disease and development. Though the process of microRNA discovery was once an arduous task, the advent of high throughput sequencing technology has resulted in novel microRNAs...
    Resource Type:
    Masters Thesis
    Full Text:
    : ______________________________________________________ David A. Hendrix MicroRNAs are a highly conserved class of small endogenous RNA, about

  • Effectiveness of using two and three-parameter distributions in place of "best-fit distributions" in discrete event simulation models of production lines

    Creator:
    Sharma, Akash
    Abstract:
    This study presents the results of using common two or three-parameter "default" distributions in place of "best fit distributions" in simulations of serial production lines with finite buffers and blocking. The default distributions used instead of the best-fit distribution are chosen such that they are non-negative, unbounded, and can match...
    Resource Type:
    Masters Thesis
    Full Text:
    Event Simulation Models of Production Lines. Abstract approved: David S. Kim This study presents 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

  • A generalization of tree automata and its relation to matrix grammars

    Creator:
    Vomocil, David Leo
    Abstract:
    In this thesis we introduce alpha and beta tree acceptors, generalizations of tree automata. The alpha tree acceptors recognize a tree by final symbol and the beta tree acceptors by final state. We show that alpha and beta tree acceptors recognize the same sets of Gorn trees and demonstrate that...
    Resource Type:
    Masters Thesis
    Full Text:
    AN ABSTRACT OF THE THESIS OF DAVID LEO VOMOCIL for the

  • Modeling programmer navigation : an empirical evaluation of predictive models

    Creator:
    Piorkowski, David
    Abstract:
    Software developers frequently need to perform code maintenance tasks, but doing so requires time-consuming navigation through code. A variety of tools are aimed at easing this navigation by using models to predict places in the code that a developer might want to visit, and then providing shortcuts so that the...
    Resource Type:
    Masters Thesis
    Full Text:
    Predictive Models AN ABSTRACT OF THE THESIS OF David Piorkowski for the degree of Master of

  • 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

  • Layered rendering model for human teeth

    Creator:
    Shetty, Sudarshanram
    Abstract:
    This study introduces a layered model for rendering human teeth. Human teeth exhibit complex light interaction due to their layered structure. While the lighting responses of teeth have been studied in the dental industry for the production of realistic looking dentures, to our knowledge this is the first study of...
    Resource Type:
    Masters Thesis
    Full Text:
    Model for Human Teeth Abstract approved: Michael J. Bailey This study introduces a layered model for

  • AI, Robot: A Rhetorical Analysis of Jeopardy! Matches Featuring IBM’s Artificial Intelligence

    Creator:
    Steele, Evan T.
    Abstract:
    The relationship between the public and new technologies has historically been a tumultuous one, with public perceptions ranging from excited rapid adoption to standoffish pessimism. In 2011, IBM tried to use competition as a means of showcasing a new technology to the public. This thesis is a work of rhetorical...
    Resource Type:
    Masters Thesis
    Full Text:
    Intelligence, vol. 103, no. 1, 1998, p. 350. 6 Ibid., 6 7 Ibid., 7 8 Ibid., 8 9 Ferrucci, David, et

  • Hybrid computational voxelization using the graphics pipeline

    Creator:
    Rauwendaal, Randall
    Abstract:
    This thesis presents an efficient computational voxelization approach that utilizes the graphics pipeline. Our approach is hybrid in that it performs a precise gap-free computational voxelization, employs fixed-function components of the GPU, and utilizes the stages of the graphics pipeline to improve parallelism. This approach makes use of the latest...
    Resource Type:
    Masters Thesis
    Full Text:
    Graphics Pipeline Abstract approved: Michael J. Bailey This thesis presents an efcient computational