Search Constraints

Start Over
Filtering by: Creator Muehlbauer, Jeffrey D. Remove constraint Creator: Muehlbauer, Jeffrey D. Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • 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

  • A comparison of methods for finding Hamiltonian circuits in graphs

    Creator:
    DeCurtins, Jeffrey Lee
    Abstract:
    This paper compares three classes of algorithms for finding Hamiltonian circuits in graphs. Two of the classes are exhaustive search procedures and this study finds them to have an exponential dependence on the size of the graph. The third class of algorithms, based on Warnsdorff's rule, is found to be...
    Resource Type:
    Masters Thesis
    Full Text:
    graphs Jeffrey Lee DeCurtins AN ABSTRACT OF THE THESIS OF for the degree of Master of Science in

  • Visualization, implementation, and application of the Walking Tree heuristics for biological string matching

    Creator:
    Cavener, Jeffrey Douglas
    Abstract:
    Biologists need tools to see the structural relationships encoded in biological sequences (strings). The Walking Tree heuristics calculate some of these relationships. I have designed and implemented graphic presentations which allow the biologist (user) to see these relations. This thesis contains background information on the biological sequences and some background...
    Resource Type:
    Masters Thesis
    Full Text:
    Tree heuristics for biological string matching AN ABSTRACT OF THE THESIS OF Jeffrey Douglas

  • Web-PST : web-based pesticide screening tool

    Creator:
    Yao, Hua
    Abstract:
    Web-based Pesticide Screening Tool (Web-PST) is a web-based software application for evaluating the potential risk of pesticides on the surrounding environment. It uses the formulas and standards specified by the Soil/Pesticide Interaction Screening Procedure Version II (SPISP II). Web-PST closely models the stand-alone Windows application Windows Pesticide Screening Tool (WIN-PST)....
    Resource Type:
    Capstone Project
    Full Text:
    . Jeffrey Steiner Department of Computer Science Oregon State University Corvallis, OR 97331

  • Web-PST : Web-based Pesticide Screening Tool

    Creator:
    Manda, Ashwin Prasad
    Abstract:
    We have developed a web-based software tool for evaluating the potential risk of pesticides on the surrounding environment. The software tool is called Web-based Pesticide Screening Tool (Web-PST). It uses the formulas and standards specified by the Soil/Pesticide Interaction Screening Procedure Version II (SPISP II). Web-PST closely models the stand-alone...
    Resource Type:
    Capstone Project
    Full Text:
    . Toshimi Minoura Minor Professor: Dr. Prasad Tadepalli Committee Member: Dr. Jeffrey Steiner 2

  • WebRUSLE : web-based revised universal soil loss equation (RUSLE)

    Creator:
    Wuttiwat, Teerawat
    Abstract:
    Revised Universal Soil Loss Equation (RUSLE) is a standard for estimating soil loss caused by rainfall and overland flow. The current software tool that implements this standard is RUSLE 1.06b, which is a stand-alone DOS application. In this project, we converted the DOS application to a Web application, which we...
    Resource Type:
    Capstone Project
    Full Text:
    Member: Dr. Jeffrey Steiner Dept. of Computer Science Oregon State University Corvallis, OR 97331

  • WebWEPP version 2.0 : Web-based water erosion prediction project

    Creator:
    Gyu Han, Hong
    Abstract:
    The WEPP (Water Erosion Prediction Project) application computes soil loss and sediment yield from a field based on the data on crops, management practices, and operations. In order to make WEPP, which is a Windows-based application, easily accessible, Web WEPP (Web-based WEPP) was developed by our research group. Web WEPP...
    Resource Type:
    Capstone Project
    Full Text:
    Minoura Dr. Bella Bose Dr. Jeffrey J. Steiner Department of Electrical Engineering and Computer

  • Web-WEPP : Web-based Water Erosion Prediction Project

    Creator:
    Jain, Manobal
    Abstract:
    WEPP (Water Erosion Prediction Project) is a stand-alone Windows application for predicting water erosion from overland flow on a hillslope. This application was developed by the National Soil Erosion Research Laboratory (NSERL). To make the WEPP application more accessible and easy to use, we created a web version of WEPP,...
    Resource Type:
    Capstone Project
    Full Text:
    would like to thank Dr. Kalman Toth and Dr. Jeffrey Steiner for serving on my committee and for their

  • Crop Rotation Economic and Environmental Impact Decision Aid (CREEDA) : a COM-based application

    Creator:
    Chang, Song
    Abstract:
    CREEDA (Crop Rotation Economic and Environmental Impact Decision Aid) is a Windows application for assessing economic and environmental impacts of agricultural activities. In implementing it, we extended the ProCosts database and incorporated the RUSLE (Revised Universal Soil-Loss Equation) application and the SCI (Soil Conditioning Index) application as COM components. ProCosts,...
    Resource Type:
    Capstone Project
    Full Text:
    . Toshimi Minoura, Minor Advisor Dr. Curtis Cook, Committee Member Dr. Jeffrey Steiner, Committee Member

  • Empirical study - pairwise prediction of fault based on coverage

    Creator:
    Shamasunder, Shalini
    Abstract:
    Researchers/engineers in the field of software testing have valued coverage as a testing metric for decades now. There have been various empirical results that have shown that as coverage increases the ability of the test program to detect a fault also increases. As a result numerous coverage techniques have been...
    Resource Type:
    Masters Thesis
    Full Text:
    while we generate mutants using 12 an algorithm for our subject programs d) We explore additional