Search Constraints

Start Over
Filtering by: Contributor Samelson, Roger, M. Remove constraint Contributor: Samelson, Roger, M. Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • Guarantees and requirements : implementation and complexity analysis of a new model of types for declarative visual programming languages

    Creator:
    Chen, Roger Ding-Fu
    Abstract:
    Djang et al. [1998] introduced a new model of types for declarative visual programming languages (VPLs). Implicit static typing is used in their type model, in order to eliminate the programming mechanisms associated with type declarations, provide immediate visual feedback with respect to type errors and guarantee type safe programs....
    Resource Type:
    Masters Thesis
    Full Text:
    of Roger Ding-Fu Chen for the degree of Master of Science in Computer Science presented on

  • An Exploration Into The Ever-changing Expanse of Non-periodic Tilings

    Creator:
    Tassin, Ian
    Abstract:
    This paper synthesizes various works Wang tiles up to this point, including: the reduction from the Halting Problem to Wang Tiling Problem and notions around various aspects of periodicity, including minimal period, aperiodicity, and axis-aligned periodicity. Additionally it includes new work, including: a proof that a tiling can be periodic...
    Resource Type:
    Honors College Thesis
    Full Text:
    _____________________________________________________________________ Roger Roybal, Committee Member, representing Mathematics I understand that my project will become

  • Algorithm animation in a declarative visual programming language

    Creator:
    Carlson, Paul M.
    Abstract:
    How might capabilities for algorithm animation be seamlessly integrated into a programming language that is both visual and declarative? Until now, visual programming language researchers have not attempted to answer that question, making the fruits of algorithm animation available only to users of textual programming languages. Users of visual programming...
    Resource Type:
    Masters Thesis
    Full Text:
    language AN ABSTRACT OF THE THESIS OF Paul M. Carlson for the degree of Master of Science in Computer

  • 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:
    introduced to Human-Computer Interaction (HCI) in 1994 by Roger Coleman to enable independence for older

  • Personalizing machine learning systems with explanatory debugging

    Creator:
    Kulesza, Todd
    Abstract:
    How can end users efficiently influence the predictions that machine learning systems make on their behalf? Traditional systems rely on users to provide examples of how they want the learning system to behave, but this is not always practical for the user, nor efficient for the learning system. This dissertation...
    Resource Type:
    Dissertation
    Full Text:
    Explanatory Debugging Abstract approved: Margaret M. Burnett How can end users efficiently influence the

  • Similarity inheritance : a model of inheritance for declarative visual programming languages

    Creator:
    Djang, Rebecca W. (Rebecca Walpole)
    Abstract:
    Declarative visual programming languages (VPLs), including spreadsheets, make up a large portion of both research and commercial VPLs. Spreadsheets in particular enjoy a wide audience, including end users. Unfortunately, spreadsheets and most other declarative VPLs still suffer from some of the problems that have been solved in other languages, such...
    Resource Type:
    Dissertation
    Full Text:
    Model of Inheritance for Declarative Visual Programming Languages. Abstract approved: Margaret M

  • Message Queue Manager

    Creator:
    Fang, Don Y.
    Abstract:
    The conventional way of debugging is to examine the program's state at various points during execution. With the addition of message passing as a means of communication and synchronization in message passing programs, the state of pending message operations also needs to be examined. Current parallel debuggers or analysis tools...
    Resource Type:
    Capstone Project
    Full Text:
    requirements for the degree of :Master of Science Major Professor : Dr. Cherri M. Pancake Completed

  • Generalizing abstractions in form-based visual programming languages : from direct manipulation to static representation

    Creator:
    Yang, Sherry
    Abstract:
    We believe concreteness, direct manipulation and responsiveness in a visual programming language increase its usefulness. However, these characteristics present a challenge in generalizing programs for reuse, especially when concrete examples are used as one way of achieving concreteness. In this thesis, we present a technique to solve this problem by...
    Resource Type:
    Dissertation
    Full Text:
    Representation. Margaret M. Burnett Abstract approved: We believe concreteness, direct manipulation and

  • A fast algorithm for determining the primitivity of an n x n nonnegative matrix

    Creator:
    Leegard, Amanda D.
    Abstract:
    Nonnegative matrices have a myriad of applications in the biological, social, and physical genres. Of particular importance are the primitive matrices. A nonnegative matrix, M, is primitive exactly when there is a positive integer, k, such that M[superscript k] has only positive entries; that is, all the entries in M[superscript...
    Resource Type:
    Masters Thesis
    Full Text:
    are the primitive matrices. A nonnegative matrix, M, is primitive exactly when there is a positive

  • Evaluating the Effects of Multiple Environmental Stressors on the Gulf of Alaska Pacific Cod Fishery Using a Dynamic Stress-Scape Framework

    Creator:
    Blaisdell, Josiah
    Abstract:
    The Gulf of Alaska (GOA) is home to the most productive fisheries in the world. In 2019, 2.2 million metric tons of fish were shipped from Alaska to destinations all over the world (NOAA Fisheries, 2019). From 2014-2016 and, more recently, in 2019 the largest heatwaves in recorded history caused...
    Resource Type:
    Masters Thesis