Search Constraints

Start Over
Filtering by: Creator Runge, Jeffrey A. Remove constraint Creator: Runge, Jeffrey A. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

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:
    . Young June 11, 2021 All Rights Reserved Variational Satisfiability Solving by Jeffrey M. Young A

  • 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

  • Analytical Methods for Improving Causal Inference

    Creator:
    Sinha, Meghamala
    Abstract:
    Causal inference is an important analytical tool to bridge the gap between prediction and decision-making. However, learning a causal network solely from data is a challenging task. In this work, various techniques have been explored for a better and improved causal network learning from data. Firstly, the problem of learning...
    Resource Type:
    Dissertation
    Full Text:
    : Analytical Methods for Improving Causal Inference Abstract approved: Stephen A. Ramsey Causal inference is

  • Coordination for Scalable Multiple Robot Planning Under Temporal Uncertainty

    Creator:
    Marcon dos Santos, Gilberto
    Abstract:
    This dissertation incorporates coalition formation and probabilistic planning towards a domain-independent automated planning solution scalable to multiple heterogeneous robots in complex domains. The first research direction investigates the effectiveness of Task Fusion and introduces heuristics that improve task allocation and result in better quality plans, while requiring lower computational cost...
    Resource Type:
    Dissertation
    Full Text:
    : Coordination for Scalable Multiple Robot Planning Under Temporal Uncertainty Abstract approved: Julie A

  • Selling and buying in a distributed virtual market place

    Creator:
    Bella, Ravi
    Abstract:
    We present a model for a distributed virtual market place that can be con­structed on the Internet to support selling and buying requests, such as those found as classified advertisements. One requirement for a transaction to take place in the virtual market place is that a sell request and a...
    Resource Type:
    Capstone Project
    Full Text:
    Selling and Buying in a Distributed Virtual Market Place

  • Event detection with forward-backward recurrent neural networks

    Creator:
    Ghaeini, Mohammad Reza
    Abstract:
    Automatic event extraction from natural text is an important and challenging task for natural language understanding. Traditional event detection methods heavily rely on manually engineered rich features. Recent deep learning approaches alleviate this problem by automatic feature engineering. But such efforts, like tradition methods, have so far only focused on...
    Resource Type:
    Masters Thesis
    Full Text:
    described with a phrase. In this thesis, we introduce and apply forward-backward recur- rent neural

  • Improving and Understanding Deep Models for Natural Language Comprehension

    Creator:
    Ghaeini, Reza
    Abstract:
    Natural Language Comprehension is a challenging domain of Natural Language Processing. To improve a model’s language comprehension/understanding, one approach would be to enrich the structure of the model to enhance its capability in learning the latent rules of the language. In this dissertation, we will first introduce several deep models...
    Resource Type:
    Dissertation
    Full Text:
    . Fern Natural Language Comprehension is a challenging domain of Natural Language Pro- cessing. To

  • Learning with Limited Labeled Data in Natural Language Processing

    Creator:
    Obeidat, Rasha
    Abstract:
    The advent of deep learning models leads to a substantial improvement in a wide range of NLP tasks, achieving state-of-art performances without any hand-crafted features. However, training deep models requires a massive amount of labeled data. Labeling new data as a new task or domain emerges consumes time and efforts...
    Resource Type:
    Dissertation
    Full Text:
    advent of deep learning models leads to a substantial improvement in a wide range of NLP tasks