Search Constraints

Start Over
Filtering by: Creator Oakley, Brian B. Remove constraint Creator: Oakley, Brian B. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • Nanoparticle-assisted diffusion brazing of metal microchannel arrays : nanoparticle synthesis, deposition, and characterization

    Creator:
    Eluri, Ravindranadh T.
    Abstract:
    Microchannel process technology (MPT) offers several advantages to the field of nanomanufacturing: 1) improved process control over very short time intervals owing to shorter diffusional distances; and 2) reduced reactor size due to high surface area to volume ratios and enhanced heat and mass transfer. The objective of this thesis...
    Resource Type:
    Dissertation
    Full Text:
    : _____________________________________________________________________ Brian K. Paul Microchannel process technology (MPT) offers several advantages to the field

  • Adversarial planning by strategy switching in a real-time strategy game

    Creator:
    King, Brian D.
    Abstract:
    We consider the problem of strategic adversarial planning in a Real-Time Strategy (RTS) game. Strategic adversarial planning is the generation of a network of high-level tasks to satisfy goals while anticipating an adversary's actions. In this thesis we describe an abstract state and action space used for planning in an...
    Resource Type:
    Masters Thesis
    Full Text:
    AN ABSTRACT OF THE THESIS OF Brian D. King for the

  • 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
    Full Text:
    ..............................................................................65 Appendix B: SDP functions and flag mappings

  • 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

  • Learning with Partial Supervision for Clustering and Classification

    Creator:
    Pei, Yuanli
    Abstract:
    In the field of machine learning, clustering and classification are two fundamental tasks. Traditionally, clustering is an unsupervised method, where no supervision about the data is available for learning; classification is a supervised task, where fully-labeled data are collected for training a classifier. In some scenarios, however, we may not...
    Resource Type:
    Dissertation
    Full Text:
    bag-level labels; b) clustering with constraints, where the partial supervision is expressed as

  • Effectiveness of integration of internet technologies in support of teaching and learning computer science programming

    Creator:
    Hajebi, Mojgan
    Abstract:
    In spite of wide spread adoption of the internet technology in teaching and learning, little research exists on the use and the effect of web incorporation in teaching and learning. Immediate clarification of how, when, and for whom the web integration in education is beneficial is needed. This qualitative study...
    Resource Type:
    Dissertation
    Full Text:
    .................................................................................................. 135 Brian

  • Using Change Representations to Analyze Properties of Variational Software

    Creator:
    Wang, Xiangyu
    Abstract:
    Appropriate representations of variational software simplify the analysis of their properties.This thesis proposes tailored representations of two kinds variational softwares: difference files of merge commits in Git and feature models. For the former, we use the Choice Edit Model, which is based on the choice calculus, to represent changes introduced...
    Resource Type:
    Masters Thesis
    Full Text:
    Choice Edit Model . . . . . 59 B Source code of the Coq Program to translate Edit Sequences to Choice

  • Inclusive Software Design and Its Methods for Beyond-WIMP User Interfaces

    Creator:
    Fallatah, Abrar
    Abstract:
    While digital inclusivity researchers and software practitioners have been trying to address exclusion biases in Windows, Icons, Menus, and Pointers (WIMP) user interfaces (UIs) for a long time, little has been done to investigate if and how inclusive software design and its methods that have been devised for WIMP UIs...
    Resource Type:
    Dissertation
    Full Text:
    , Abhijeet Agnihotri, Brian Layng, together with the exceptional contributions of Fatima A Moussaoui, Md

  • A Distributed Scheme for Accelerating and Scaling PSPNet

    Creator:
    Krishna, Ajay
    Abstract:
    Advances in deep learning based image processing have led to their adoption for a wide range of applications, and in tow with these developments is a dramatic increase in the availability of high quality datasets. With this comes the need to accelerate and scale deep learning applications in order to...
    Resource Type:
    Masters Thesis
    Full Text:
    Zhao, Rohan Varma, Omkar Salpekar, Pieter Noordhuis, Teng Li, Adam Paszke, Jeff Smith, Brian Vaughan

  • 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:
    satisfiability problem. (b) A formal semantics of variational satisfiability solving. A variational SAT problem