Search Constraints

Start Over
Filtering by: Creator Turley, Anna M. Remove constraint Creator: Turley, Anna M. Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • Maximum flow in planar digraphs

    Creator:
    Harutyunyan, Anna
    Abstract:
    Worst-case analysis is often meaningless in practice. Some problems never reach the anticipated worst-case complexity. Other solutions get bogged down with impractical constants during implementation, despite having favorable asymptotic running times. In this thesis, we investigate these contrasts in the context of finding maximum flows in planar digraphs. We suggest...
    Resource Type:
    Masters Thesis
    Full Text:
    THESIS OF Anna Harutyunyan for the degree of Master of Science in Computer Science presented on

  • End-user assertions : propagating their implications

    Creator:
    Summet, Jay W.
    Abstract:
    Spreadsheet languages are the most commonly used end-user programming paradigm, yet spreadsheets commonly contain errors. Research shows that a significant number of spreadsheets (20%-40%) created by end users contain errors. In an attempt to reduce this error rate, this work presents an assertion propagation system for an end-user spreadsheet programming...
    Resource Type:
    Masters Thesis
    Full Text:
    their Implications. Abstract approved: 0 Margaret M. Burnett Spreadsheet languages are the most

  • Message Queue Manager

    Creator:
    Fang, Don Y.
    Abstract:
    The conventional way of debugging is to examine the program's state at various points during execution. With the addition of message passing as a means of communication and synchronization in message passing programs, the state of pending message operations also needs to be examined. Current parallel debuggers or analysis tools...
    Resource Type:
    Capstone Project
    Full Text:
    requirements for the degree of :Master of Science Major Professor : Dr. Cherri M. Pancake Completed

  • Building Self Adaptive Software Systems via Test-based Modifications

    Creator:
    Christi, Arpit M.
    Abstract:
    Building software systems that adapt to the changing environment is challenging. Developers cannot anticipate all the changes in advance, and even if they could, the effort required to handle such situations is too onerous for practical purposes. Self Adaptive Software (SAS) adapts itself as per changing environment. The area of...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . viii 2.1 Average increase in memory use (mean M+) for NetBeans IDE ver- sions

  • 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
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF Jeffrey M. Young for

  • On Avoiding Power-Seeking by Artificial Intelligence

    Creator:
    Turner, Alexander M.
    Abstract:
    We do not know how to align a very intelligent AI agent's behavior with human interests. I investigate whether—absent a full solution to this AI alignment problem—we can build smart {\ai} agents which have limited impact on the world, and which do not autonomously seek power. In this thesis, I...
    Resource Type:
    Dissertation

  • Towards the Design and Evaluation of Effective Educational Virtual Reality Applications

    Creator:
    Rangarajan, Vaishnavi
    Abstract:
    With the rapid advancement of educational technology and the need for personalized, engaging content to accommodate diverse learning needs, Virtual Reality (VR) holds promises for the present and future. However, VR applications suffer from challenges, including usability concerns, lack of pedagogical value, and evaluation standards. This thesis focuses on two...
    Resource Type:
    Masters Thesis

  • Computing Bounded Chains and Surfaces in a Simplicial Complex with Bounded-treewidth 1-skeleton

    Creator:
    Black, Mitchell
    Abstract:
    We consider three problems on simplicial complexes: the Optimal Bounded Chain Problem, the Optimal Homologous Chain Problem, and 2-Dim-Bounded-Surface. The Optimal Bounded Chain Problem asks to find the minimum weight d-chain in a simplicial complex K bounded by a given (d−1)-chain, if such a d-chain exists. The Optimal Homologous Chain...
    Resource Type:
    Masters Thesis

  • Random access machine in secure multi-party computation

    Creator:
    Hu, Zhangxiang
    Abstract:
    Secure multi-party computation (MPC) is a conceptual framework in cryptography. It allows distrusting parties engage in a protocol to perform a computational task while still maintain some secure properties. Most existing approaches are required to interpret functions as a boolean circuit. With the recent state-of-art circuit garbling scheme, the performance...
    Resource Type:
    Masters Thesis
    Full Text:
    prover holds a large dataset M and can repeatedly prove NP relations about that dataset. This system

  • Inspiring End-user Programming Through Exposure to Multi-platform Computing and Improved Integrated Development Environments

    Creator:
    Beardsley, Dedrie
    Abstract:
    The art of software engineering inherently requires high-level problem solving and perseverance, as programmers and designers wrestle with complex design and implementation challenges in the process of turning loose concepts and ideas into working code. In the current developer ecosystem, engineers are commonly incentivized extrinsically by monetary rewards, approval or...
    Resource Type:
    Masters Thesis
    Full Text:
    complex iterative process and a large range of roles and capabilities. According to Turley and Beiman