Search Constraints

Start Over
Filtering by: Creator Clawson, Jeffrey E. Remove constraint Creator: Clawson, Jeffrey E. Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and 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

  • Manufacture and characterization of novel ACTFEL materials and devices

    Creator:
    Bender, Jeffrey P.
    Abstract:
    The aim of this dissertation is to develop non-traditional approaches to alternating-current thin-film electroluminescent (ACTFEL) device fabrication. ACTFEL technology suffers from a lack of adequately bright and efficient primary-color phosphors and cannot presently compete in the low-cost display market. Therefore the research presented in this dissertation focuses on an exploration...
    Resource Type:
    Dissertation
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF Jeffrey P. Bender for the

  • Web-based analysis module for a germplasm collection

    Creator:
    Sharma, Akash
    Abstract:
    GEM-GIS is a prototype of a web-based GIS/Database application for managing a germplasm collection. This application include a database, a map interface, a set of web forms for database access, and an analysis module. The analysis module perform statistical analysis for the accessions of a species selected by the user...
    Resource Type:
    Capstone Project
    Full Text:
    . Toshimi Minoura Committee Member: Dr. Jeffrey J. Steiner Submitted to Oregon State University in

  • 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

  • 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:
    . Along with random testing we 15 use the concept of feedback i,e., feedback directed random test

  • 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:
    AN ABSTRACT OF THE DISSERTATION OF Jonathan E

  • A Novel CCRW Receiver with Variable Width Window for Mitigating Multipath and Ambiguity in GNSS Positioning

    Creator:
    Alhussein, Fahad
    Abstract:
    This work presents a novel CCRW receiver that utilizes a window of variable width, for e˙ectively mitigating multipath and ambiguity in both civil and military positioning applica-tions using Global Navigation Satellite Systems (GNSS). This CCRW receiver incorporates a single stroboscopic window, whose width is iteratively reduced until the e˙ect of...
    Resource Type:
    Dissertation
    Full Text:
    procedure, thus defining two types of receivers, namely early-late (E-L) [3], and code correlation

  • High Tech, Low Results : The Role of Technology in the US’s Current Narcoterrorism War in the Andean Region and Why it is Failing

    Creator:
    Schönau-Taylor, Jesse
    Abstract:
    This paper studies the current counternarcotics methods and the electronics technology used by the United States and Colombian governments to combat narcoterrorism in the Andean region. The efficiency and efficacy of these methods with the use of electronics technology are analyzed to determine if they are successful. The current counternarcotics...
    Resource Type:
    Undergraduate Thesis
    Full Text:
    , and this ultimately led to the creation of the Colombian drug cartels. (Clawson and Lee 37

  • Exploration of regression models for cancer noncoding mutation recurrence

    Creator:
    Xu, Tanjin
    Abstract:
    An important impact of the genome technology revolution will be the elucidation of mechanisms of cancer pathogenesis, leading to improvements in the diagnosis of cancer and the selection of cancer treatment. Integrated with current well-studied massive knowledge and findings about the role of protein-coding mutations in cancer, demystifying the functional...
    Resource Type:
    Masters Thesis
    Full Text:
    ) = e−λiλyii yi! , λi > 0, yi ∈ {0, 1, 2, . . . }. (2.4) The most common formulation for λi is the log

  • Applications of Conditional Topic Models to Species Distribution Prediction

    Creator:
    Wilkins, Paul Christopher
    Abstract:
    The topic of species distribution modelling has been on of increasing interest in recent years. As climate change is becoming of even more interest to researchers, more tools are needed to better analyze and predict various climate change scenarios. One particular area of interest is that of species distribution modeling....
    Resource Type:
    Capstone Project
    Full Text:
    collected and compiled by Oregon State ecologist Dr. Jeffrey Miller, between the years of 1986 and 2008