Search Constraints

Start Over
Filtering by: Creator Leonard, Jeffrey M. Remove constraint Creator: Leonard, Jeffrey M. 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:
    AN ABSTRACT OF THE DISSERTATION OF Jeffrey M. Young for

  • Computational Approaches for RNA Structure Prediction with Dynamic Programming and Deep Neural Networks

    Creator:
    Deng, Dezhong
    Abstract:
    Our goal is to build a system to model the RNA sequences that reveals their structural information by using efficient dynamic programming algorithms and deep learning approaches. We aim to 1) achieve linear-time for RNA secondary structure prediction based on existing minimum free energy models; 2) utilize deep neural networks...
    Resource Type:
    Dissertation
    Full Text:
    professor Alan Fern, professor Glencora Borradaile, professor Prasad Tadepalli, and professor Leonard Coop

  • 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

  • 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:
    . . . . . . . . . . . . 180 M Data Appendix - CNNs poisoned by perception/action . . . . . . . . . . . . 182 TABLE OF

  • High-speed implementation of the RSA cryptosystem

    Creator:
    Peng, Yanqun
    Abstract:
    A public key cryptosystem allows two or more parties to securely communicate over an insecure channel without establishing a physically secure channel for key exchange. The RSA cryptosystem is the most popular public key cryptosystem ever invented. It is based on the difficulty of factoring large composite numbers. Once the...
    Resource Type:
    Masters Thesis
    Full Text:
    for modular exponentiation are presented, including the binary method and the m-ary method. We give a

  • Topics in toroidal interconnection networks

    Creator:
    Broeg, Robert Richard
    Resource Type:
    Dissertation
    Full Text:
    marked by a "*" may or may not exist depending on the value of m. Let f1(X) = an_ian_2 ao and n(Y

  • 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:
    members of my M.S. committee, Prasad Tadepalli, Liang Huang, David Hendrix and Leonard Coop, for all of

  • ThreshKnot: Thresholded ProbKnot for Improved RNA Secondary Structure Prediction

    Creator:
    Zhang, Liang
    Abstract:
    RNA structure prediction is a challenging problem, especially with pseudoknots. Recently, there has been a shift from the classical minimum free energy-based methods (MFE) to partition function-based ones that assemble structures based on base-pairing probabilities. Two typical examples of the latter group are the popular maximum expected accuracy (MEA) method...
    Resource Type:
    Masters Thesis
    Full Text:
    -Keen Wong, Professor Xiaoli Z. Fern, Professor Prasad Tadepalli, and Professor Leonard Coop. Thanks