Search Constraints

Start Over
Filtering by: Alternative title ssim Extension bulletin 141 Remove constraint Alternative title ssim: Extension bulletin 141 Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • 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:
    software developers, is that which must be represented by code in a program; by extension, separation of

  • An Information Modeling Framework for Support of Sustainable Manufacturing System Design Decision Making

    Creator:
    Shankar Raman, Arvind
    Abstract:
    Manufacturing technology has continuously evolved and advanced over the past century; this has led to an increase in the production of consumer and industrial goods driven by simultaneous growth in population and wealth. Despite the resulting economic and labor growth, environmental impacts of manufacturing have increased dramatically due to the...
    Resource Type:
    Dissertation
    Full Text:
    systems by enabling the reuse, extension, and composability of new and previously developed UMP models

  • Computing Resource Usage as a Factor of Student Success

    Creator:
    Moissinac, Béatrice
    Abstract:
    Learning Analytics and other branches of Educational Research such as Computing Education Research (CER) implicitly assume that students, especially college students, have no barriers to access learning platforms or software packages. This assumption may be attributed to such pervasive beliefs such as "everyone has a device", or "everyone can access...
    Resource Type:
    Dissertation
    Full Text:
    “(Q21) How old is your mobile phone? (n=258)” . . . . 141 D.12 Responses to “(Q22) During the past

  • 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:
    to different online documents .............. 141 4.19 Brian's connections on different days of the

  • 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:
    extension of recurrent neural networks which uses gating in order to determine how much of the current

  • 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:
    . . . . . . . . . . . . . . . . . . . . . . 48 5.1 Syntax of integer arithmetic extension. . . . . . . . . . . . . . . . . . . 53 5.2 Syntax of

  • Learning multiple non-redundant codebooks with word clustering for document classification

    Creator:
    Surve, Akshat Sudhakar
    Abstract:
    The problem of document classification has been widely studied in machine learning and data mining. In document classification, most of the popular algorithms are based on the bag-of-words representation. Due to the high dimensionality of the bag-of-words representation, significant research has been conducted to reduce the dimensionality via different approaches....
    Resource Type:
    Masters Thesis
    Full Text:
    Page A-1 Time-stamp extension to s-IB algorithm

  • Coordination for Scalable Multiple Robot Planning Under Temporal Uncertainty

    Creator:
    Marcon dos Santos, Gilberto
    Abstract:
    This dissertation incorporates coalition formation and probabilistic planning towards a domain-independent automated planning solution scalable to multiple heterogeneous robots in complex domains. The first research direction investigates the effectiveness of Task Fusion and introduces heuristics that improve task allocation and result in better quality plans, while requiring lower computational cost...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141 5.7 Logistics TCRA∗ (all � values), STA, and Serial makespan (min) for ten robots

  • Learning and Improving Policies for Probabilistic Planning Problems

    Creator:
    Issakkimuthu, Murugeswari
    Abstract:
    In this work, we study the problem of learning and improving policies for probabilistic planning problems. In the first part, we train neural network policies for probabilistic planning problems modeled as factored Markov decision problems. The objective is to train problem-specific neural networks via supervised learning to imitate the action...
    Resource Type:
    Dissertation
    Full Text:
    F510 F510 F55 F510 F310 F510 3 150 134 128 146 146 141 121 148 148 148 119 149 148 149 F510 S510 F310

  • Structured learning with latent variables : theory and algorithms

    Creator:
    Zhao, Kai
    Abstract:
    Most tasks in natural language processing (NLP) try to map structured input (e.g., sentence or word sequence) to some form of structured output (tag sequence, parse tree, semantic graph, translated/paraphrased/compressed sentence), a problem known as “structured prediction”. While various learning algorithms such as the perceptron, maximum entropy, and expectation-maximization have...
    Resource Type:
    Dissertation
    Full Text:
    Structured Extension . . . . . . . . . . . . . . . . . . . . . . . . . 23 3.1.3 Convergence of Structured

  • Correct abstraction in counter-planning : a knowledge compilation approach

    Creator:
    Flann, Nicholas S.
    Abstract:
    Knowledge compilation improves search-intensive problem-solvers that are easily specified but inefficient. One promising approach improves efficiency by constructing a database of problem-instance/best-action pairs that replace problem-solving search with efficient lookup. The database is constructed by reverse enumeration- expanding the complete search space backwards, from the terminal problem instances. This approach...
    Resource Type:
    Dissertation
    Full Text:
    -losses(Depth,NewWin) Algorithm . 131 7.1.2 The Compile-all-wins(Depth,NewLoss) Algorithm . 141 7.2 Best

  • WebSiteGen3 : a tool for generating ASP.NET forms

    Creator:
    Naik, Parijat
    Abstract:
    Web-Site Generator 3 (WebSiteGen3) is a rapid application development (RAD) tool that generates ASP.NET forms to insert, query, update and delete data stored in the user tables in a SQL Server 2000 database. WebSiteGen3 uses a graphical user interface to show the user tables in a hierarchical tree based on...
    Resource Type:
    Capstone Project
    Full Text:
    extension .aspx. cs, the name of the form file and code-behind file are the same: The code-behind file

  • Investigating Latent State and Uncertainty Representations in Reinforcement Learning

    Creator:
    Koul, Anurag
    Abstract:
    Learning latent space representations of high-dimensional world states has been at the core of recent rapid growth in reinforcement learning(RL). At the same time, RL algo- rithms have suffered from ignored uncertainties in the predicted estimates of model-free or model-based methods. In our work, we investigate both of these aspects...
    Resource Type:
    Dissertation

  • 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:
    notion of variational types, which is an extension of type representations with variational constructs

  • Using RUBI to partition agents in air traffic problems with hard constraints and reward shaping

    Creator:
    Curran, William
    Abstract:
    Air traffic flow management over the U.S. airpsace is a difficult problem. Current management approaches lead to hundreds of thousands of hours of delay, costing billions of dollars annually. Weather and airport conditions may instigate this delay, but routing decisions balancing delay with congestion contribute significantly to the propagation of...
    Resource Type:
    Masters Thesis

  • Scale effects on reinforced concrete beams strengthened for shear with discrete externally bonded carbon fiber-reinforced polymer U-wraps

    Creator:
    Dawson, Matthew Ryan
    Abstract:
    Current ACI design provisions for shear in reinforced concrete (RC) beams strengthened with externally bonded carbon fiber-reinforced polymer (CFRP) U-wraps may not adequately account for the effect of scale. This paper describes tests of 6 geometrically scaled beams to identify possible scale effects of such beams. Results indicated that effective...
    Resource Type:
    Masters Thesis

  • Resource placement, data rearrangement, and Hamiltonian cycles in torus networks

    Creator:
    Bae, Myung Mun
    Abstract:
    Many parallel machines, both commercial and experimental, have been/are being designed with toroidal interconnection networks. For a given number of nodes, the torus has a relatively larger diameter, but better cost/performance tradeoffs, such as higher channel bandwidth, and lower node degree, when compared to the hypercube. Thus, the torus is...
    Resource Type:
    Dissertation
    Full Text:
    . Some results from error correcting codes are used to obtain these results. The extension of these

  • Semantic embodied navigation : developing agents that navigate from language and vision

    Creator:
    Krantz, Jacob
    Abstract:
    Autonomous robotic agents are on their way to becoming in-home personal assistants, construction assistants, and warehouse workers. The degree of autonomy of such systems is reflected by the manner in which we specify goals to them; the abstraction of low-level commands to high-level goals goes hand-in-hand with increased autonomy. In...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136 D.1 Empirical performance of Re-ID thresholds on a subset of the Train split. 141 D.2 Examples

  • Nonuniform Sampling Of Band-limited Functions

    Creator:
    Al-Hammali, Hussain Y.
    Abstract:
    In this thesis, we will study certain generalizations of the classical Shannon Sampling Theorem, which allows for the reconstruction of a pi-band-limited, square-integrable function from its samples on the integers. J. R. Higgins provided a generalization where the integers can be perturbed by less than 1/4, which includes nonuniform and...
    Resource Type:
    Dissertation

  • A General Purpose Agent-Based Blackboard Optimization Method Applied to Sodium Fast Reactor Design and Analysis

    Creator:
    Stewart, Ryan H.
    Abstract:
    We present a novel multi-objective optimization methodology built upon a multi-agent blackboard framework. This multi-agent blackboard system (MABS) synthesizes blackboard architectures, multi-agent environments, and optimization theory. The blackboard architecture creates the framework for initializing, storing, and solving a multi-objective optimization problem. Multiple agents allow for an optimization problem to be...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140 4.9 Objectives of the optimization study. . . . . . . . . . . . . . . . . . 141 4.10 Constraints