Search Constraints

Start Over
Filtering by: Creator Sobsey, Mark D. Remove constraint Creator: Sobsey, Mark D. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad Resource Type Masters Thesis Remove constraint Resource Type: Masters Thesis

Search Results

  • Interactive fault localization techniques to empower the debugging efforts of end-user programmers

    Creator:
    Ruthruff, Joseph Ronald
    Abstract:
    End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spreadsheet environments. Despite this, there has been only a little research on finding ways to help these programmers with the dependability of the software they create....
    Resource Type:
    Masters Thesis
    Full Text:
    : Tutorial for Experiment #2 123 APPENDIX D: Materials for Experiment #2 133 LIST OF FIGURES Figure Page

  • Long Wave Amplification in a Coral-Reef Lagoon

    Creator:
    Bheeroo, Vivek Anand
    Abstract:
    A series of laboratory experiments were conducted to study the wave field in the inner lagoon excited by ‘long’ incident waves. Three cases were considered: Cases A, B and C presenting incident waves of wavelength with factors of 1, 2 and 2.5 times the width of the reef respectively. The...
    Resource Type:
    Masters Thesis
    Full Text:
    (d) : noise during termination of wave maker ……………………..………….…………33 Fig 4.2: Le Mehaute (1976

  • A Benchmarking Study of Unsupervised Anomaly Detection Algorithms

    Creator:
    Emmott, Andrew F.
    Abstract:
    It is common practice in the unsupervised anomaly detection literature to create experimental benchmarks by sampling from existing supervised learning datasets. We seek to improve this practice by identifying four dimensions important to real-world anomaly detection applications --- point difficulty, clusteredness of anomalies, relevance of features, and relative frequency of...
    Resource Type:
    Masters Thesis
    Full Text:
    simulate and control these factors when sampling points during bench- mark creation. We apply this

  • 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:
    syntax of the choice calculus can be found in [17]. e ::= ε | D | D〈e,e〉 | e...e The syntax says a

  • Auxiliary Tasks for Efficient Learning of Point-Goal Navigation

    Creator:
    Desai, Saurabh Satish
    Abstract:
    Top-performing approaches to embodied AI tasks like point-goal navigation often rely on training agents via reinforcement learning over tens of millions (or even billions) of experiential steps – learning neural agents that map directly from visual observations to actions. In this work, we question whether these extreme training durations are...
    Resource Type:
    Masters Thesis
    Full Text:
    prediction outperforms RGB-D . . . . . . . . . . . . . . . 20 6.4 Combining multiple auxiliary tasks

  • Re-understanding Finite-State Representations of Recurrent Policy Networks

    Creator:
    Danesh, Mohamad H.
    Abstract:
    We propose an approach for understanding control policies represented as recurrent neural networks. Recent work has approached this problem by transforming such recurrent policy networks into finite-state machines (FSM) and then analyzing the equivalent minimized FSM. While this led to interesting insights, the minimization process can obscure a deeper understanding...
    Resource Type:
    Masters Thesis
    Full Text:
    ) is used to understand decisions in terms of observations. d) Functional pruning (Section 3.3.3

  • Object highlighting : real-time boundary detection using a Bayesian network

    Creator:
    Jia, Jin
    Abstract:
    Image segmentation continues to be a fundamental problem in computer vision and image understanding. In this thesis, we present a Bayesian network that we use for object boundary detection in which the MPE (most probable explanation) before any evidence can produce multiple non-overlapping, non-self-intersecting closed contours and the MPE with...
    Resource Type:
    Masters Thesis
    Full Text:
    in 3-D object understanding to related model components to predict appearances and to control the

  • Learning-based Control of Experimental Hybrid Fuel Cell Power Plant

    Creator:
    Gabler, Andrew
    Abstract:
    Direct red Solid Oxide Fuel Cell (SOFC) Turbine hybrid plants have the potential to dramatically increase power plant efficiency, decrease emissions, and provide fast response to transient loads. The US Department of Energy's (DOE) Hybrid Performance Project is an experimental hybrid SOFC plant, built at the National Energy Technology Laboratory...
    Resource Type:
    Masters Thesis
    Full Text:
    lFu el In B le ed A ir V al ve C ol d A ir V al ve H ot A ir V al ve A ir In

  • UCT for tactical assault battles in real-time strategy games

    Creator:
    Balla, Radha-Krishna
    Abstract:
    We consider the problem of tactical assault planning in real-time strategy games where a team of friendly agents must launch an assault on an enemy. This problem offers many challenges including a highly dynamic and uncertain environment, multiple agents, durative actions, numeric attributes, and different optimization objectives. While the dynamics...
    Resource Type:
    Masters Thesis
    Full Text:
    group) then 7: stop the simulation and mark the attack action as finished. 8: compute the time

  • 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:
    )...................................................................................................90 Appendix D. OME Compatibility With Simile