Search Constraints

Start Over
Filtering by: Creator Dillon, T. M. (Thomas M.) Remove constraint Creator: Dillon, T. M. (Thomas M.) Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • Distributed OpenCL : a platform for distributed, heterogeneous computing for domain scientists

    Creator:
    Dillon, William H.
    Abstract:
    It is possible to purchase, for as little as $10,000, a cluster of computers with the capability to rival the supercomputers of only a few years ago. Now, users that have little to no experience developing distributed applications or managing a cluster are in a position to do so. To...
    Resource Type:
    Dissertation
    Full Text:
    William H. Dillon for the degree of Doctor of Philosophy in Computer Science presented on May 29, 2012

  • Effects of interruption-style on end-user programmers

    Creator:
    Robertson, T. J. (Thomas James)
    Abstract:
    This thesis presents the results of two studies that investigate the question of what interruption-styles are most appropriate for end-user programmers who are debugging programs. In the studies, end-user programmers are presented with surprises that encourage them to investigate, use, and learn about debugging devices in their programming environment. We...
    Resource Type:
    Masters Thesis
    Full Text:
    interruptions. IMPACT OF INTERRUPTION STYLE ON END- USER DEBUGGING T. J. Robertson, Shrinu Prabhakararao

  • 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:
    . . . . . . . . . . . . 180 M Data Appendix - CNNs poisoned by perception/action . . . . . . . . . . . . 182 TABLE OF

  • Classification context in a machine learning approach to predicting protein secondary structure

    Creator:
    Langford, Bill T.
    Abstract:
    An important problem in molecular biology is to predict the secondary structure of proteins from their primary structure. The primary structure of a protein is the sequence of amino acid residues. The secondary structure is an abstract description of the shape of the folded protein, with regions identified as alpha...
    Resource Type:
    Masters Thesis
    Full Text:
    predicting protein secondary structure AN ABSTRACT OF THE THESIS OF Bill T. Langford for the degree of

  • Implementing a Run-time Library for a Parallel MATLAB Compiler

    Creator:
    Malishevsky, Alexey
    Abstract:
    Programming parallel machines has been a difficult and unrewarding task. The short lifespan of parallel machines and their incompatibility have made it difficult to utilize them. Our goal here is to create an environment for parallel computing which allows users to take advantage of parallel computers without writing parallel programs....
    Resource Type:
    Capstone Project
    Full Text:
    waiting for me to complete my course work prior to working on the project. Thanks to Dr. Thomas

  • Evaluation functions in aerial image segmentation

    Creator:
    Langford, William T.
    Abstract:
    Remote sensing is the most practical way to acquire large amounts of land cover data for monitoring and understanding environmental change, so it is important to be able to map land cover from imagery. Maps defining land cover patches as polygons rather than pixels greatly improve processing efficiency in models...
    Resource Type:
    Dissertation
    Full Text:
    ABSTRACT OF THE DISSERTATION OF William T. Langford for the degree of Doctor of Philosophy in Computer

  • 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

  • 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:
    for Efficient Learning of Point-Goal Navigation Abstract approved: Stefan M. Lee Top-performing

  • Information Theoretical Analysis of Self-Similar Trees

    Creator:
    Chunikhina, Evgenia V.
    Abstract:
    Tree-like patterns are ubiquitous in nature. Botanical trees, river networks, and blood systems are the most well-known examples of complex hierarchical systems met in observations. Interestingly, many of such systems exhibit statistical self-similarity. There are two main types of self-similarity: Horton self-similarity and Tokunaga self-similarity. Although there is an increased...
    Resource Type:
    Dissertation
    Full Text:
    : Information Theoretical Analysis of Self-Similar Trees Abstract approved: Juan M. Restrepo Tree-like

  • Practices for Engineering Gender-Inclusivity into Software

    Creator:
    Hilderbrand, Claudia
    Abstract:
    Although the need for gender-inclusivity in software itself is gaining attention among both SE researchers and SE practitioners, and methods have been published to help, little has been reported on how to make such methods work in real-world settings. For example, how do busy software practitioners use such methods in...
    Resource Type:
    Masters Thesis
    Full Text:
    reports for staff L 7 technologies M 2 Education platform for instructors N >12 An IT-support