Search Constraints

Start Over
Filtering by: Creator Gandhi, Kalpesh K. Remove constraint Creator: Gandhi, Kalpesh K. Degree Field Computer Science Remove constraint Degree Field: Computer Science Degree Name Doctor of Philosophy (Ph.D.) Remove constraint Degree Name: Doctor of Philosophy (Ph.D.)

Search Results

  • On the limits of mutation analysis

    Creator:
    Gopinath, Rahul
    Abstract:
    Mutation analysis is the gold standard for evaluating test-suite adequacy. It involves exhaustive seeding of all small faults in a program and evaluating the effectiveness of test suites in detecting these faults. Mutation analysis subsumes numerous structural coverage criteria, approximates fault detection capability of test suites, and the faults produced...
    Resource Type:
    Dissertation
    Full Text:
    – The composite fault hypothesis: Tests detecting a fault in isolation will (with probability K ≈ 99

  • Semantic embodied navigation : developing agents that navigate from language and vision

    Creator:
    Krantz, Jacob
    Abstract:
    Autonomous robotic agents are on their way to becoming in-home personal assistants, construction assistants, and warehouse workers. The degree of autonomy of such systems is reflected by the manner in which we specify goals to them; the abstraction of low-level commands to high-level goals goes hand-in-hand with increased autonomy. In...
    Resource Type:
    Dissertation

  • Uncertainty in Deep Learning with Implicit Neural Networks

    Creator:
    Ratzlaff, Neale
    Abstract:
    The ability to extract uncertainties from predictions is crucial for the adoption of deep learning systems to safety-critical applications. Uncertainty estimates can be used as a failure signal, which is necessary for automating complex tasks where safety is a concern. Furthermore, current deep learning systems do not provide uncertainty estimates,...
    Resource Type:
    Dissertation
    Full Text:
    is, we consider k-class classification functions f : Rm → Rk parameterized by θ. Consider the joint

  • Helping end-user programmers help themselves : the idea garden approach

    Creator:
    Cao, Chen
    Abstract:
    End-user programmers face many barriers in programming. Research has seen many programming environments that attempted to lower or remove the barriers but despite these efforts, empirical studies continue to report barriers users face. To investigate this issue, we took a theory-informed approach. Using theories from design, creativity, and problem solving...
    Resource Type:
    Dissertation

  • Helping end-user programmers find and fix performance problems in visual code

    Creator:
    Chambers, Chris
    Abstract:
    End-user programmers often struggle to create programs that run quickly and effectively, which can be a major deterrent in completing their tasks as desired. Current research has primarily focused on catching user mistakes, such as errors or misused formulas. However, end users deal with issues other than just correctness. In...
    Resource Type:
    Dissertation

  • 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:
    subqueries. The join operation is 20 Operators: • := < | ≤ | = | 6= | > | ≥ ◦ := ∪ | ∩ Constant: k

  • Learning cost-sensitive diagnostic policies from data

    Creator:
    Zubek, Valentina Bayer
    Abstract:
    In its simplest form, the process of diagnosis is a decision-making process in which the diagnostician performs a sequence of tests culminating in a diagnostic decision. For example, a physician might perform a series of simple measurements (body tem- perature, weight, etc.) and laboratory measurements (white blood count, CT scan,...
    Resource Type:
    Dissertation
    Full Text:
    Gandhi, Saket Joshi, Diane Damon, Poncho Wu. Warm thanks to Xin Wang for her kindness, generosity in