Search Constraints

Start Over
Filtering by: Creator Wehmann, Nicholas K. Remove constraint Creator: Wehmann, Nicholas K. Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • Visualization and design systems for road infrastructure

    Creator:
    Esch, Gregory
    Abstract:
    Transportation infrastructure provides a vital service for the functionality of a city. The efficient design of road networks poses an interesting topic in computer science for digital content developers. For civil engineers, the visualization of analysis results on infrastructure both efficiently and intuitively is crucial. The following contributions are made...
    Resource Type:
    Masters Thesis

  • Visualization and analysis of sensor data for detecting microclimate cold air pools

    Creator:
    Singh, Satpreet Harcharan
    Abstract:
    Cold air pools are spatiotemporal phenomena that occur when cold air from higher elevations roll down the slope to accumulate in lower elevations. Behaviors like this lead to microclimate anomalies such as the city of Corvallis (Oregon) experiencing persistent cold weather even on a sunny day. We analyze multivariate temperature...
    Resource Type:
    Masters Thesis
    Full Text:
    , · · · , zK values. βk represents the vector of regression coefficients for two linear regressions, one to

  • Visual object discovery and understanding

    Creator:
    Yuan, Jialin
    Abstract:
    Learning to recognize objects is a fundamental and essential step in human perception and understanding of the world. Accordingly, research of object discovery across diverse modalities plays a pivotal role in the context of computer vision. This field not only contributes significantly to enhancing our understanding of visual information but...
    Resource Type:
    Dissertation
    Full Text:
    , Ali, Chanho, Daman, Hung, Jay, Kaibo, Lawrence, Michael, Neale, Nicholas, Nihar, Saeed, Tim, Wenxuan

  • 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

  • Understanding Software Development and Testing Practices

    Creator:
    Hilton, Michael
    Abstract:
    A bad software development process leads to wasted effort and inferior products. In order to improve a software process, it must be first understood. In this work I focus on understanding software processes. The first process we seek to understand is Continuous Integration (CI). CI systems automate the compilation, building,...
    Resource Type:
    Dissertation
    Full Text:
    Kraft, Nicholas Lu, Shane McKee, Nicholas Nelson, Semih Okur, August Shi, and Sruti Srinivasa Ragavan

  • 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:
    semantic perturbation-based method called, k-Randomized Transparent Image Overlays (k-RTIO), and (ii) a

  • Towards Automating Type Changes

    Creator:
    Ketkar, Ameya S.
    Abstract:
    Developers frequently change the type of a program element and update all its references for performance, security, concurrency, library migration, or better maintainability. Despite type changes being a common program transformation, it is the least automated and the least studied. Manually performing type changes is tedious since the programmers have...
    Resource Type:
    Dissertation

  • Toward Disentangling the Activations of the Deep Networks via Low-dimensional Embedding and Non-negative Factorization

    Creator:
    Khorram, Saeed
    Abstract:
    In this thesis, we introduce a novel Explanation Neural Network (XNN) to explain the predictions made by a deep network. The XNN works by embedding a high-dimensional activation vector of a deep network layer non-linearly into a low-dimensional explanation space while retaining faithfulness i.e., the original deep learning predictions can...
    Resource Type:
    Masters Thesis
    Full Text:
    feature is viEi, the product of the weight of the x-feature in the approxi- mation of ŷ(k) timed by the

  • The density signature

    Creator:
    Migler-VonDollen, Theresa
    Abstract:
    In real networks, identifying dense regions is of great importance. For example, in a network that represents academic collaboration, authors within the densest component of the graph tend to be the most prolific. Dense subgraphs often identify communities in social networks. And dense subgraphs can be used to discover regulatory...
    Resource Type:
    Dissertation
    Full Text:
    value of k and £ . . . . . . . . . . . 74 7.2.3 Properties of the top core

  • The connector : Macintosh to UNIX communication

    Creator:
    Manohar, M. D.
    Abstract:
    This research solves the problem of connecting a Macintosh to a Unix machine and presenting the Macintosh Desktop to Unix. Unix Files can be viewed. copied. renamed and opened in the same manner as Macintosh files. Unix programs and shell commands can be defined and attached to Macintosh menus and...
    Resource Type:
    Capstone Project
    Full Text:
    taHc D fJn1h~rHne D llli1h ic-on D Strndow ICON I I D Outlhu~ # K} I finger I t » Item Nome Enter