Search Constraints

Start Over
Filtering by: Creator Endelman, Jeffrey B. Remove constraint Creator: Endelman, Jeffrey B. 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

  • 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:
    low? If test cases A and B get the same coverage by criteria X, what’s the correlation on criteria Y

  • Two Sides of a Coin: Adversarial-Based Image Privacy and Defending Against Adversarial Perturbations for Robust CNNs

    Creator:
    Rajabi, Arezoo
    Abstract:
    Emergence of highly accurate Convolutional Neural Networks (CNNs) with the capability to process large datasets, has led to their popularity in many applications, including safety/security-sensitive (e.g. disease recognition, self-driving cars). Despite the high accuracy of convolutional neural networks, they have been found to be susceptible to adversarial noise added to...
    Resource Type:
    Dissertation
    Full Text:
    CNNs Abstract approved: Rakesh B. Bobba Emergence of highly accurate Convolutional Neural Networks

  • Keeping your Friends Secret: Improving the Security, Effciency and Usability of Private Set Intersection

    Creator:
    Rindal, Peter B.
    Abstract:
    Private set intersection (PSI) allows two parties, who each hold a set of items, to compute the intersection of those sets without revealing anything about other items. Recent advances in PSI have significantly improved its performance for the case of semi-honest security, making semi-honest PSI a practical alternative to insecure...
    Resource Type:
    Dissertation

  • Computing Resource Usage as a Factor of Student Success

    Creator:
    Moissinac, Béatrice
    Abstract:
    Learning Analytics and other branches of Educational Research such as Computing Education Research (CER) implicitly assume that students, especially college students, have no barriers to access learning platforms or software packages. This assumption may be attributed to such pervasive beliefs such as "everyone has a device", or "everyone can access...
    Resource Type:
    Dissertation
    Full Text:
    : Computing Resource Usage as a Factor of Student Success Abstract approved: Jennifer Parham-Mocello Robin B

  • Elucidating Computational Narratives to Facilitate Code Comprehension

    Creator:
    Chattopadhyay, Souti
    Abstract:
    Programming is integrated across the workflow of multiple domains where end-user programmers, those who need to program as a means to an end, regularly need to code. In the modern setting of collaborative development, end-user programmers have to interpret the intentions behind existing code to contribute and build solutions to...
    Resource Type:
    Dissertation

  • 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:
    the Transformer decoder layer. . . . . . . . . . . . 12 3.1 RNA structure types. B shows a hairpin

  • Graph Imitation Learning for Optimal Joint Beamforming and Antenna Selection

    Creator:
    Shrestha, Sagar
    Abstract:
    Transmit beamforming is an important technique employed to improve efficiency and signal quality in wireless communication systems by steering signals towards their in- tended users. It often arises jointly with the antenna selection problem due to various reasons, such as limited number of radio frequency (RF) chains and energy/resource effi-...
    Resource Type:
    Masters Thesis
    Full Text:
    branch-and-bound (B&B) based method that guarantees optimal solutions to the problem of interest. To