Search Constraints

Start Over
Filtering by: Has journal Journal of Atmospheric Sciences Remove constraint Has journal: Journal of Atmospheric Sciences Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad Language English [eng] Remove constraint Language: English [eng]

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:
    degree of Master of Sciencein Computer Science presented on July 23, 2004. Title: Interactive Fault

  • Variational Typing and Its Applications

    Creator:
    Chen, Sheng
    Abstract:
    The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
    Resource Type:
    Dissertation
    Full Text:
    ABSTRACT OF THE DISSERTATION OF Sheng Chen for the degree of Doctor of Philosophy in Computer Science

  • Machine learning for improving the quality of citizen science data

    Creator:
    Yu, Jun
    Abstract:
    Citizen Science is a paradigm in which volunteers from the general public participate in scientific studies, often by performing data collection. This paradigm is especially useful if the scope of the study is too broad to be performed by a limited number of trained scientists. Although citizen scientists can contribute...
    Resource Type:
    Dissertation
    Full Text:
    Science Data AN ABSTRACT OF THE DISSERTATION OF Jun Yu for the degree of Doctor of Philosophy in

  • High-speed implementation of the RSA cryptosystem

    Creator:
    Peng, Yanqun
    Abstract:
    A public key cryptosystem allows two or more parties to securely communicate over an insecure channel without establishing a physically secure channel for key exchange. The RSA cryptosystem is the most popular public key cryptosystem ever invented. It is based on the difficulty of factoring large composite numbers. Once the...
    Resource Type:
    Masters Thesis
    Full Text:
    Master of Science in Electrical and Computer Engineering presented on January 31, 1995. Title: High

  • 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:
    support of teaching and learning computer science programming AN ABSTRACT OF THE THESIS OF Mojgan

  • 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:
    Master of Science in Robotics presented on June 17, 2015. Title: Learning-based Control of Experimental

  • Parsing with Recurrent Neural Networks

    Creator:
    Cross, James Henry, III
    Abstract:
    Machine learning models for natural language processing have traditionally relied on large numbers of discrete features, built up from atomic categories such as word forms and part-of-speech labels, which are considered completely distinct from each other. Recently however, the advent of dense feature representations coupled with deep learning techniques has...
    Resource Type:
    Dissertation
    Full Text:
    the degree of Doctor of Philosophy in Computer Science presented on December 8, 2016. Title: Parsing

  • Stake-Free Evaluations of Black-Box Optimization and Spatio-Temporal Graph Network Algorithms

    Creator:
    Merrill, Erich, III
    Abstract:
    Papers proposing novel machine learning algorithms tend to present the algorithm or technique in question in the best possible light. The standard practice is generally for authors to emphasize their proposed algorithms' performance in the precise setting where it is maximally impressive, often by only fully evaluating their best known...
    Resource Type:
    Dissertation
    Full Text:
    Merrill III for the degree of Doctor of Philosophy in Computer Science presented on June 8th, 2022

  • Investigation of automatic construction of reactive controllers

    Creator:
    Westerberg, Caryl J.
    Abstract:
    In real-time control systems, the value of a control decision depends not only on the correctness of the decision but also on the time when that decision is available. Recent work in real-time decision making has used machine learning techniques to automatically construct reactive controllers, that is, controllers with little...
    Resource Type:
    Masters Thesis
    Full Text:
    controllers AN ABSTRACT OF THE THESIS OF Caryl J. Westerberg for the degree of Masters of Science in

  • Advanced separation of concerns and the compatibility of aspect-orientation

    Creator:
    Dechow, Doug
    Abstract:
    The appropriate separation of concerns is a fundamental engineering principle. A concern, for software developers, is that which must be represented by code in a program; by extension, separation of concerns is the ability to represent a single concern in a single appropriate programming language construct. Advanced separation of concerns...
    Resource Type:
    Dissertation
    Full Text:
    degree of Doctor of Philosophy in Computer Science presented on March 18, 2005. Title: Advanced