Search Constraints

Start Over
Filtering by: Creator Minor, David Remove constraint Creator: Minor, David Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science

Search Results

  • Structural Results and Approximation Algorithms in Minor-free Graphs

    Creator:
    Le, Hung V.
    Abstract:
    Planarity has been successfully exploited to design faster and more accurate approximation algorithms for many graph optimization problems. The celebrated theorem of Kuratowski completely characterizes planar graphs as those excluding K_5 and K_{3,3} as minors. Kuratowski's theorem allows one to generalize planar graphs to H-minor-free graphs: those that exclude a...
    Resource Type:
    Dissertation
    Full Text:
    and Approximation Algorithms in Minor-free Graphs Abstract approved: Glencora Borradaile Planarity

  • Deep ultraviolet solid-state laser development

    Creator:
    Dutton, David A. (David Adam)
    Abstract:
    There is a new possibility of generating deep ultraviolet laser radiation from a solid-state source. With recent advances in material development, a new nonlinear optical crystal provides a greater damage threshold than current materials making higher conversion efficiencies possible. This thesis examines the possibility of using this crystal to generate...
    Resource Type:
    Masters Thesis
    Full Text:
    THESIS OF David A. Dutton for the degree of Master of Science in Electrical and Computer

  • 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

  • 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

  • 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

  • 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

  • Fabrication of a flexible glucose sensing catheter for human implantation

    Creator:
    Matthews, David J.
    Abstract:
    Flexible electronics processing techniques were applied to integrate a glucose sensor with a hormone-delivery catheter in order to create a cheap and minimally invasive method for patients with type 1 diabetes to continually monitor and control their blood sugar levels. Ultimately, this work intends to move toward the development of...
    Resource Type:
    Masters Thesis
    Full Text:
    Implantation AN ABSTRACT OF THE THESIS OF David J. Matthews for the degree of Master of

  • Channel Estimation in TDD MU-MIMO Systems using Sub-Linear Sparse Signal Recovery Algorithms

    Creator:
    Barry, David G.
    Abstract:
    Massive Multiple-User Miltiple-Input Multiple-Output (MU-MIMO) wireless communication systems incorporate promising advanced strong technologies for upcoming 5G communications. To obtain some of the high spectrum and energy e ciencies bonuses brought by MU-MIMO systems, the ability to obtain Channel State information, especially on the receiver side (CSI), is important. To minimize...
    Resource Type:
    Masters Thesis
    Full Text:
    AN ABSTRACT OF THE THESIS OF David Barry for the degree of

  • Kinematic and cyclostationary parameter estimation for co-channel emitter location applications

    Creator:
    Ohm, David R.
    Abstract:
    The problem of locating a signal source, or an emitter, has many civilian and military applications, such as communication regulations enforcement, military reconnaissance, and search-and-rescue operations. Many of the most widely used emitter location methods rely on the accurate and robust estimation of the differential time delay, or time-difference-of-arrival (TDOA),...
    Resource Type:
    Dissertation
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF David R. Ohm for the

  • The dynamic speculation and performance prediction of parallel loops

    Creator:
    Zier, David A.
    Abstract:
    General purpose computer systems have seen increased performance potential through the parallel processing capabilities of multicore processors. Yet this potential performance can only be attained through parallel applications, thus forcing software developers to rethink how everyday applications are designed. The most readily form of Thread Level Parallelism (TLP) within any...
    Resource Type:
    Dissertation
    Full Text:
    Parallel Loops AN ABSTRACT OF THE DISSERTATION OF David A. Zier for the degree of Doctor of Philosophy