Search Constraints

Start Over
Filtering by: DOI https://doi.org/10.1002/ajhb.21033 Remove constraint DOI: https://doi.org/10.1002/ajhb.21033 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

  • The Ownership Monad

    Creator:
    McGirr, Michael G.
    Abstract:
    The Rust programming language is a systems programming language with a strong static type system. A central feature of Rust’s type system is its unique concept of “ownership”, which enables Rust to give a user safe, low-level control over resources without the overhead of garbage collection. In Haskell, most data...
    Resource Type:
    Capstone Project
    Full Text:
    concurrency. 1 The library presented in this project report is available at: https://github.com/lambda- land

  • Synthetic instrument generation : generating novel instrument timbres with a genetic algorithm

    Creator:
    Knowlton, John
    Abstract:
    The use of genetic algorithms to compose music and generate sounds is an area of interest in the artificial intelligence field. Music and instrument sounds have known rules and structures that can be followed which make them well-suited for genetic algorithms. However, genetic algorithms still struggle to generate sounds comparable...
    Resource Type:
    Honors College Thesis

  • Assisting Sustainability Analysis of Forest Bioenergy Supply Chains using Mathematical Optimization

    Creator:
    Sadeghi, Javad
    Abstract:
    Changes in the global climate and forest management practices have given rise to increasing numbers and severity of wildfires. More than five million acres burned in the United States in 2017, while in Canada 7.4 million acres burned. In particular, an increasing amount of dead woody biomass is a key...
    Resource Type:
    Masters Thesis
    Full Text:
    Submitted to the Journal of Operations Research & Decision Theory https://link.springer.com/journal/12597

  • Safe navigation in highway environment using behavioral cloning

    Creator:
    Damle, Malhar
    Abstract:
    Over 37,000 people die each year in automobile accidents, with many of these fatalities resulting from collisions with emergency vehicles. The rise of autonomous cars creates the need for an accurate and failsafe method of detecting and responding to emergency vehicles safely and on time. This thesis investigates the ability...
    Resource Type:
    Honors College Thesis

  • 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:
    . Chapter 2 https://doi.org/10.1145/3301275.3302310 6 2.1 Introduction Increasingly, important

  • Advances in Simultaneous Translation

    Creator:
    Zheng, Renjie
    Abstract:
    Simultaneous translation, which translates concurrently with the source language speech, is widely used in many scenarios including multilateral organizations. However, it is well known to be one of the most challenging tasks for humans due to the simultaneous perception and production in two languages. On the other hand, simultaneous translation...
    Resource Type:
    Dissertation

  • Responder tracking application

    Creator:
    Wanalertlak, Naroot
    Abstract:
    We have developed a prototype web-based GIS application for tracking the locations of moving entities. This application, which is called the Responder application, consists of two parts: the Responder client and the Responder server. The Responder client is a .NET application written in C#. It reads the location data from...
    Resource Type:
    Capstone Project
    Full Text:
    location data from a GPS device and submits them to the Responder server as an HTTP request, possibly by

  • OME : A Framework for Running Spatially Explicit System Dynamics Models

    Creator:
    Wingo, Patrick C.
    Abstract:
    The Open Modeling Environment (OME) is a tool developed to address some known shortcomings in ecological System Dynamics (SD) modeling research. OME provides a common set of methods for interacting directly with spatial information, reducing the need for modelers to create their own methods for doing so. The environment is...
    Resource Type:
    Masters Thesis

  • An Investigation on Nanoscale-shape-mediated Coupling Between Temperature and Densification in Intense Pulsed Light Sintering of Silver Nanoparticles

    Creator:
    Bansal, Shalu
    Abstract:
    In Intense Pulsed Light (IPL) sintering, pulsed large-area visible light from a xenon lamp is absorbed by nanoparticle films or patterns and converted to heat, resulting in rapid sintering of the nanoparticles. This work experimentally characterizes IPL sintering of silver nanoparticle films. A newly observed turning point in the evolution...
    Resource Type:
    Masters Thesis