Search Constraints

Start Over
Filtering by: Creator Wallace, Joe D. Remove constraint Creator: Wallace, Joe D. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • 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

  • Knowledge Base Completion Leveraging Natural Language Data

    Creator:
    Shahbazi, Hamed
    Abstract:
    Information about named entities (real-world objects) is usually harvested from different sources and organized as a multiple relational directed graph in Knowledge Bases (KBs). KBs play essential roles in many NLP modules including question answering, fact-checking, search engines, etc. KBs are big but still incomplete: relational information among entities is...
    Resource Type:
    Dissertation
    Full Text:
    , providing insight into the strength of our method. 2.3 Proposed Approach We are given a document D

  • Towards reliable and survivable ocean wave energy converters

    Creator:
    Brown, Adam C.
    Abstract:
    Ocean wave energy is a new and developing field of renewable energy with great potential. The energy contained in one meter of an average wave off the coast of Newport Oregon could supply dozens of homes with electricity. However, ocean waves are usually quite irregular which leads to large bursts...
    Resource Type:
    Masters Thesis
    Full Text:
    . Alan Wallace of the Electrical Engineering department began writing white papers and giving

  • A collaborative filtering algorithm and evaluation metric that accurately model the user experience

    Creator:
    McLaughlin, Matthew
    Abstract:
    "Collaborative filtering algorithms’ performances have been evaluated using a variety of metrics. These metrics, such as Mean Absolute Error and Precision, have often ignored recommendations for which they do not have data. Ignoring these recommendations has provided numbers which do not accurately represent the user experience. Qualitatively we have seen...
    Resource Type:
    Capstone Project
    Full Text:
    like to thank Suzanne, Joe, and Kevin for making college tolerable at the worst of times and highly

  • Improving and Understanding Deep Models for Natural Language Comprehension

    Creator:
    Ghaeini, Reza
    Abstract:
    Natural Language Comprehension is a challenging domain of Natural Language Processing. To improve a model’s language comprehension/understanding, one approach would be to enrich the structure of the model to enhance its capability in learning the latent rules of the language. In this dissertation, we will first introduce several deep models...
    Resource Type:
    Dissertation
    Full Text:
    ) and (b,d,f) represent the normalized attention weights for Entailment, Neutral, and Contradiction

  • Topics in toroidal interconnection networks

    Creator:
    Broeg, Robert Richard
    Resource Type:
    Dissertation
    Full Text:
    surface area of a sphere of radius d are derived, and methods of decomposing a Qkr, into n disjoint

  • 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:
    Joe Armstrong [9], “No theory is complete without proof that the ideas work in practice”; this is 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

  • Efficient Incremental Panorama Reconstruction from Multiple Videos

    Creator:
    Feng, Zhongyuan
    Abstract:
    Constructing a panorama from a set of videos is a long-standing problem in computer vision. A panorama represents an enhanced still-image representation of an entire scene captured in a set of videos, where each video shows only a part of the scene. Importantly, a panorama shows only the scene background,...
    Resource Type:
    Capstone Project
    Full Text:
    (initialized by a 3× 3 identity matrix I) at the next step (line 5). Function sign(D) ∈ {+1,−1} indicates the

  • Deep Learning for Human and Biological Languages

    Creator:
    Hong, Junki
    Abstract:
    We explore the application of deep learning to the disparate fields of natural language processing and computational biology. Both the sentences uttered by humans as well as the RNA and protein sequences found within the cells of their bodies can be considered formal languages in computer science, as sets of...
    Resource Type:
    Dissertation