Search Constraints

Start Over
Filtering by: Alternative title ssim Special report 711 Remove constraint Alternative title ssim: Special report 711 Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad Degree Name Master of Science (M.S.) Remove constraint Degree Name: Master of Science (M.S.)

Search Results

  • Visual SQL analyzer project report

    Creator:
    Li, Xiaoyan
    Abstract:
    Structure Query Language (SQL) is widely used to access data stored in relational database systems. Although a powerful and flexible language, SQL can also be complex and hard to learn. For most new SQL users, it's easy to write SQL statement by following SQL grammar and syntax rules, but it's...
    Resource Type:
    Capstone Project
    Full Text:
    I .. 'I') f Visual SQL Analyzer Project Report

  • muupi: An Abstract Syntax Tree based Mutation Testing Tool for Python 2.x Programs

    Creator:
    Liu, Xin
    Abstract:
    Mutation testing is one of the effective approaches measuring test adequacy of test suites. It is widely used in both academia and industry. Unfortunately, the adoption and practical use of mutation testing for Python 2.x programs face three obstacles. First, limited useful mutation operators. Existing mutation testing tools support very...
    Resource Type:
    Capstone Project
    Full Text:
    students for their feedback, cooperation and of course friendship. A very special grati- tude goes out to

  • An Empirical Evaluation of Policy Rollout for Clue

    Creator:
    Marshall, Eric
    Abstract:
    We model the popular board game of Clue as an MDP and evaluate Monte-Carlo policy rollout in a simulated environment pitting different agents and policies against each other. We describe the choices we made in the representation, along with some of the problems we encountered along the way. We find...
    Resource Type:
    Capstone Project
    Full Text:
    solved the game, so we added a special provision to the simulator to automatically end the game in the

  • Feedback-Based Random Test Generator for TSTL

    Creator:
    Kaneoka, Kazuki
    Abstract:
    Software testing is the process of evaluating the accuracy and performance of software, and automated software testing allows programmers to develop software more efficiently by decreasing testing costs. We compared two advanced random test generators, a Feedback-Directed Random Test Generator (FDR) and a Feedback-Controlled Random Test Generator (FCR), for an...
    Resource Type:
    Capstone Project
    Full Text:
    consider FDR as special case of FCR such that FCR with having a single POOL is FDR. We defined two object

  • The Ownership Monad

    Creator:
    McGirr, Michael G.
    Abstract:
    The Rust programming language is a systems programming language with a strong static type system. A central feature of Rust’s type system is its unique concept of “ownership”, which enables Rust to give a user safe, low-level control over resources without the overhead of garbage collection. In Haskell, most data...
    Resource Type:
    Capstone Project
    Full Text:
    mutable references and concurrency. This project report introduces the Ownership Monad, a monad that

  • CREEDA budget generator

    Creator:
    Tao, Wenfang
    Abstract:
    CREEDA-BG (Crop Rotation Economic and Environmental Decision-Aid Budget Generator) is a web-based enterprise budgeting tool that allows a user to manage information on her fields, rotations, crops, and operations, and to view estimates of income and expenses. The user can then use this information to evaluate alternative plans and make...
    Resource Type:
    Capstone Project
    Full Text:
    with his insightful comments. I also wish to give special thanks to Dr. Prasad Tadepalli and Dr. Fred

  • Improving the Effectiveness of Answering Keyword Queries Using Effective Subsets

    Creator:
    Khodadadi, Abtin
    Abstract:
    Most database users do not know formal query languages, such as SQL, and prefer to express their information needs using usable query languages, such as keyword queries. Keyword queries, however, are inherently ambiguous and challenging for the database systems to understand and answer effectively. We propose a novel approach to...
    Resource Type:
    Capstone Project
    Full Text:
    AN ABSTRACT OF THE TECHNICAL REPORT OF Abtin Khodadadi for

  • Galileo - a system for analyzing Java bytecode database handlers subsystem

    Creator:
    Balasubramanian, Eswar, Sharma, Hitesh, and Thorat, Aarti
    Abstract:
    Analysis of programs forms an important activity in the field of software engineering. It is necessary to help understand the code, which facilitates comprehensive testing, maintenance and optimization of code. Aristotle is a tool for analyzing programs written in C. We have designed a system on similar lines for Java...
    Resource Type:
    Capstone Project
    Full Text:
    System for Analyzing Java Bytecode Database Handlers Subsystem by Hitesh Sharma. A project report

  • Using Change Representations to Analyze Properties of Variational Software

    Creator:
    Wang, Xiangyu
    Abstract:
    Appropriate representations of variational software simplify the analysis of their properties.This thesis proposes tailored representations of two kinds variational softwares: difference files of merge commits in Git and feature models. For the former, we use the Choice Edit Model, which is based on the choice calculus, to represent changes introduced...
    Resource Type:
    Masters Thesis
    Full Text:
    of edit B. As a special application of the choice calculus, the CEM has the syntax: e ::= ε | p | D

  • Reinforcement learning-based off-equilibrium incentives to approximate the VCG mechanism

    Creator:
    Moissinac, Béatrice
    Abstract:
    Auctions are used to solve resource allocation problem between many agents and many items in real-world settings. Unfortunately, in most cases, it is possible for selfish agents to manipulate the system for their own interest at the expense of the social welfare. Such manipulation can be prevented using the Vickrey-Clarke-Groves...
    Resource Type:
    Masters Thesis
    Full Text:
    Approximation Solution . . . . . . . . . . . . . . . . . . . . . . . . 10 2.2.2 Identify Special cases