Search Constraints

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

Search Results

  • The Analysis of First Year Computer Science Design Documents

    Creator:
    Ernst, Shannon S.
    Abstract:
    Computer science is, at its core, about solving problems. The "Carry out the Plan" portion of problem solving is often examined and emphasized in CS 1 and CS 2, forgetting to emphasize the other important aspects of the problem solving process. This study focuses on the other problem-solving steps, which...
    Resource Type:
    Masters Thesis
    Full Text:
    inclusion rate between the terms. If there are differences, a Pairwise Wilcox test is used to determine

  • Explanations and Processes to Enable Humans to Assess AI with Respect to Manipulable Properties

    Creator:
    Dodge, Jonathan E.
    Abstract:
    Assessing AI systems is difficult. Humans rely on AI systems in increasing ways, both visible and invisible, meaning a variety of stakeholders need a variety of assessment tools (e.g., a professional auditor, a developer, and an end user all have different needs). We posit that it is possible to provide...
    Resource Type:
    Dissertation
    Full Text:
    critically important task of running several studies; Matthew Olson, who found key problems in my original

  • Automatic Detection of Possessions and Shots from Raw Basketball Videos

    Creator:
    Terhuja, Vikedo
    Abstract:
    Sports analytics is rapidly evolving today through the use of computer vision systems that automatically extract huge amount of information inherently present in multimedia data without much human assistance. This information can facilitate a better understanding of patterns and strategies in various sports. However, for non-professional teams, due to expense...
    Resource Type:
    Masters Thesis

  • The ChildsPlay Approach: Evaluating an Experimental Approach for Teaching Introductory CS at University

    Creator:
    Nelson, Aiden J.
    Abstract:
    University students first learning about computer science (CS) can be intimidated and frustrated by programming. In addition, the general-purpose programming languages chosen for introducing students to programming contain several features that have the potential to overwhelm and distract them from focused curriculum topics, which can lead to reduced retention of...
    Resource Type:
    Masters Thesis
    Full Text:
    Hill, Hannah Vaughan, Sharlena Luyen, Jessica Garcia, Matthew Hawkins, Garret Berliner, Javier Garcia

  • 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

  • Communication-Efficient Secure Two-Party Computation From Minicrypt and OT

    Creator:
    Roy, Lawrence
    Abstract:
    Secure two-party computation (2PC) is the task of performing arbitrary calculations on secret inputs provided by two parties, while maintaining secrecy if at least one party is honest. 2PC has been applied to privacy-preserving record linkage and machine learning, in areas such as medicine where maintaining privacy is crucial. One...
    Resource Type:
    Dissertation

  • An Anthology of Next-Generation WSNs and Transformative IoT Use-Cases

    Creator:
    Williams, Jennifer M.
    Abstract:
    The Internet of Things (IoT) paradigm brought an ever-increasing dependence on low-power devices to collect sensor data and transmit that information to the cloud, placing greater demand on connectivity and lifespan. In response, rapid worldwide innovation demonstrates the trade-offs in processing, communication, and energy consumption with diverse approaches to low-power...
    Resource Type:
    Dissertation
    Full Text:
    , Prof. Matthew Betts, and Prof. Adam Schultz. I extend the utmost thanks to the many others whom helped

  • Understanding and supporting end-user debugging strategies

    Creator:
    Grigoreanu, Valentina I.
    Abstract:
    End users' programs are fraught with errors, costing companies millions of dollars. One reason may be that researchers and tool designers have not yet focused on end-user debugging strategies. To investigate this possibility, this dissertation presents eight empirical studies and a new strategy-based end-user debugging tool for Excel, called StratCel....
    Resource Type:
    Dissertation