Search Constraints

Start Over
Filtering by: Creator Albrecht, B. A. Remove constraint Creator: Albrecht, B. A. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • 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:
    : Computing Resource Usage as a Factor of Student Success Abstract approved: Jennifer Parham-Mocello Robin B

  • OME : A Framework for Running Spatially Explicit System Dynamics Models

    Creator:
    Wingo, Patrick C.
    Abstract:
    The Open Modeling Environment (OME) is a tool developed to address some known shortcomings in ecological System Dynamics (SD) modeling research. OME provides a common set of methods for interacting directly with spatial information, reducing the need for modelers to create their own methods for doing so. The environment is...
    Resource Type:
    Masters Thesis
    Full Text:
    OME: A Framework for Running Spatially Explicit System

  • Monte Carlo Tree Search with Fixed and Adaptive Abstractions

    Creator:
    Hostetler, Jesse A.
    Abstract:
    Monte Carlo tree search (MCTS) is a class of online planning algorithms for Markov decision processes (MDPs) and related models that has found success in challenging applications. In the online planning approach, the agent makes a decision in the current state by performing a limited forward search over possible futures...
    Resource Type:
    Dissertation
    Full Text:
    0.5. (b) A history MDP for which a (0,∞)-consistent abstraction 〈χ, µ〉 is unsound for some weighting

  • 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:
    $5 bill, and a basket asking for help. (b) A cafe customer helping the robot buy an item. After

  • Analytical Methods for Improving Causal Inference

    Creator:
    Sinha, Meghamala
    Abstract:
    Causal inference is an important analytical tool to bridge the gap between prediction and decision-making. However, learning a causal network solely from data is a challenging task. In this work, various techniques have been explored for a better and improved causal network learning from data. Firstly, the problem of learning...
    Resource Type:
    Dissertation
    Full Text:
    a red arrow be- tween Vi and Vj), and false negative edges (shown in (b) as blue arrows between Vi

  • Seismic performance of a pile-supported container wharf structures in rockfill

    Creator:
    Kawamata, Yohsuke
    Abstract:
    Recently, the concept of performance based design has become popular for many types of structures, including port facilities under seismic loading. For the case of pile-supported wharves, the level of performance is generally estimated using the displacement capacity of the structure. Therefore, understanding soil-pile interaction is one of the most...
    Resource Type:
    Dissertation
    Full Text:
    .......................................................................................... 306  APPENDIX-A UPLIFT CAPACITY OF PILE ........................................ 311  APPENDIX-B

  • Software for configuration of a video server

    Creator:
    Venkataraman, Saumya
    Abstract:
    A video server is the multimedia equivalent of a data file server. As video goes digital video servers that support digital media are required for production and broadcasting in television companies. Grass Valley Group provides comprehensive digital video solutions through a range of video servers called Profiles. The Profile Media...
    Resource Type:
    Capstone Project
    Full Text:
    Software for Configuration of a Video Server A Project

  • Interpretable Machine Learning: Applications in Biology and Genomics

    Creator:
    Danaee, Padideh
    Abstract:
    Machine learning (ML) and deep learning (DL) models impact our daily lives with applications in natural language modeling, image analysis, healthcare, genomics, and bioinformatics. The exponential growth of biological sequence data necessitates accompanying advances in computational methods. Although deep learning is highly effective for detecting and classifying biological sequences, challenges...
    Resource Type:
    Dissertation
    Full Text:
    Structure Types. A. cartoon schematic of RNA structure types. B. Hairpins have one closing pair and one

  • 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:
    : Coordination for Scalable Multiple Robot Planning Under Temporal Uncertainty Abstract approved: Julie A

  • Conceptual Representations within the Social and Material Contexts of an Engineering Workplace and Academic Environments

    Creator:
    Barner, Matthew S.
    Abstract:
    Situated cognition theory emphasizes the role that social and material contexts have on learning and knowledge application. Several studies of engineering workplace environments have noted differences between the social and material contexts of the workplace and those of undergraduate engineering education. No existing research has studied the social and material...
    Resource Type:
    Dissertation
    Full Text:
    : ______________________________________________________ Shane A. Brown Situated cognition theory emphasizes the role that social and material

  • 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:
    .................................................................. 181 Appendix A: CS 180 Context for Subject Backgrounds............... 182 Appendix B: CS 582 Context

  • Power saving in WAP

    Creator:
    Potti, Girish
    Abstract:
    Wireless Application Protocol (WAP) is an industry standard aimed to bring the web to handheld devices. The handheld devices are constrained by battery life and it becomes important that power is conserved across web transactions. The power consumed by the handheld device is directly proportional to the time taken for...
    Resource Type:
    Capstone Project
    Full Text:
    release it once it is done. This way the count would always be in a consistent state. (b) How is the

  • Selling and buying in a distributed virtual market place

    Creator:
    Bella, Ravi
    Abstract:
    We present a model for a distributed virtual market place that can be con­structed on the Internet to support selling and buying requests, such as those found as classified advertisements. One requirement for a transaction to take place in the virtual market place is that a sell request and a...
    Resource Type:
    Capstone Project
    Full Text:
    Figure 1, a seller's scope is defined as S. Scope and a buyer's scope is defined as B. Scope. S. Loe is

  • Supporting branch-and-bound computations on parallel machines

    Creator:
    Mannan, Mohammed A.
    Abstract:
    We have developed SearchPak, a machine independent parallel searching tool on shared and distributed memory machines. It can be used for combinatorial optimiza­tion problems and OR-parallel computations as well. Both depth-first and best-first search of the state space can be performed using the SearchPak. With SearchPak, a user just provides...
    Resource Type:
    Capstone Project
    Full Text:
    ) B2 (3x4,4x3,6x2) V3 (a) . (c) U3 Ul 6x2 @ @ X X 3x4 4 Vl 0 V3 (b) 0 U3

  • Computational Approaches for RNA Structure Prediction with Dynamic Programming and Deep Neural Networks

    Creator:
    Deng, Dezhong
    Abstract:
    Our goal is to build a system to model the RNA sequences that reveals their structural information by using efficient dynamic programming algorithms and deep learning approaches. We aim to 1) achieve linear-time for RNA secondary structure prediction based on existing minimum free energy models; 2) utilize deep neural networks...
    Resource Type:
    Dissertation
    Full Text:
    the Transformer decoder layer. . . . . . . . . . . . 12 3.1 RNA structure types. B shows a hairpin

  • Porting and optimizing a routing library for Dataparallel C on the nCUBE 2 system

    Creator:
    Sivaramapuram, Krishna
    Abstract:
    Dataparallel C has been designed for various kinds of architectures and was devel­oped jointly at University of New Hampshire and Oregon State University. This project dealt with porting the libraries to the nCUBE 2 system and helping a user compile his programs on nCUBE 2 directly from a Sun workstation...
    Resource Type:
    Capstone Project
    Full Text:
    within the domain are referred to as members. e.g., domain alpha { int a, b; float c; void d

  • Porting and optimizing a routing library for C* on the iPSC/860

    Creator:
    Uberoy, Chetan
    Abstract:
    High level data-parallel languages are easy to use and shield the programmer from machine specific details. A simple and efficient way of providing an interface to such languages is to develop a machine-independent compiler and a routing library, which isolates the low-level machine dependent communication functions, The compiler translates the...
    Resource Type:
    Capstone Project
    Full Text:
    ™ microprocessor and are organized in a hypercube topology, as shown in Figure 2.l(b). These nodes are also

  • A C* development environment for the Meiko CS-2 multicomputer

    Creator:
    Zhang, Chung
    Abstract:
    With sequential computing technology reaching its speed limits, parallel processing is emerg­ing as the key to very-high-speed computation. However, developing a parallel program is by no means a simple task; neither is analyzing the performance of parallel programs. C* is a high-level data-parallel language that hides explicit message passing and...
    Resource Type:
    Capstone Project
    Full Text:
    model. . . . . . . . . .. . . . .. . .. . C* examples for a 2x3 shape. (a) z = 2*x + y, (b) [1][2]y

  • Reaction Pathways of Oxo-Hydroxo Group 5 Clusters to Metal Oxide Thin Films

    Creator:
    Mansergh, Ryan H.
    Abstract:
    Oxo-hydroxo Group 5 metal clusters are an untapped resource to study and advance aqueous solution processing of metal oxide thin films. The tetramethylammonium (TMA) hexatantalate salt (TMA6[H2Ta6O19]) yields dense Ta2O5 films (~95% of the bulk ß-Ta2O5 density) with atomically smooth surfaces (<4 Å root mean square surface roughness). This same...
    Resource Type:
    Dissertation
    Full Text:
    54 nm, respectively. Scale bars represent 500 nm. (b) Cross-sectional TEM image of a 60-nm Ta6

  • A Benchmarking Study of Unsupervised Anomaly Detection Algorithms

    Creator:
    Emmott, Andrew F.
    Abstract:
    It is common practice in the unsupervised anomaly detection literature to create experimental benchmarks by sampling from existing supervised learning datasets. We seek to improve this practice by identifying four dimensions important to real-world anomaly detection applications --- point difficulty, clusteredness of anomalies, relevance of features, and relative frequency of...
    Resource Type:
    Masters Thesis
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 A Comparison to Our Previous Work . . . . . . . . . . . . . . . . . . . 98 B The Synthetic

  • Assisting Sustainability Analysis of Forest Bioenergy Supply Chains using Mathematical Optimization

    Creator:
    Sadeghi, Javad
    Abstract:
    Changes in the global climate and forest management practices have given rise to increasing numbers and severity of wildfires. More than five million acres burned in the United States in 2017, while in Canada 7.4 million acres burned. In particular, an increasing amount of dead woody biomass is a key...
    Resource Type:
    Masters Thesis
    Full Text:
    , Appendix A and Appendix B report the MATLAB and CPLEX source codes, respectively, for solving the

  • Long Wave Amplification in a Coral-Reef Lagoon

    Creator:
    Bheeroo, Vivek Anand
    Abstract:
    A series of laboratory experiments were conducted to study the wave field in the inner lagoon excited by ‘long’ incident waves. Three cases were considered: Cases A, B and C presenting incident waves of wavelength with factors of 1, 2 and 2.5 times the width of the reef respectively. The...
    Resource Type:
    Masters Thesis
    Full Text:
    ’ incident waves. Three cases were considered: Cases A, B and C presenting incident waves of wavelength

  • 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:
    Page 3.6 Visualization of the energy function for one erroneous sample (a) and the fixed sample (b

  • Incorporating and Learning Behavior Constraints for Sequential Decision Making

    Creator:
    Pinto, Jervis
    Abstract:
    Writing a program that performs well in a complex environment is a challenging task. In such problems, a method of deterministic programming combined with reinforcement learning (RL) can be helpful. However, current systems either force developers to encode knowledge in very specific forms (e.g., state-action features), or assume advanced RL...
    Resource Type:
    Dissertation
    Full Text:
    2.2). The objects A and B are adaptives, and are used to encode the programmer’s uncertainty. Program

  • 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:
    Energy Converter B is designed to continue harvesting power up to a seven meter significant wave height

  • Learning with Limited Labeled Data in Natural Language Processing

    Creator:
    Obeidat, Rasha
    Abstract:
    The advent of deep learning models leads to a substantial improvement in a wide range of NLP tasks, achieving state-of-art performances without any hand-crafted features. However, training deep models requires a massive amount of labeled data. Labeling new data as a new task or domain emerges consumes time and efforts...
    Resource Type:
    Dissertation
    Full Text:
    ) label spaces, whose relationship is represented by a bipartite graph B. An edge of B between two labels

  • Event detection with forward-backward recurrent neural networks

    Creator:
    Ghaeini, Mohammad Reza
    Abstract:
    Automatic event extraction from natural text is an important and challenging task for natural language understanding. Traditional event detection methods heavily rely on manually engineered rich features. Recent deep learning approaches alleviate this problem by automatic feature engineering. But such efforts, like tradition methods, have so far only focused on...
    Resource Type:
    Masters Thesis
    Full Text:
    described with a phrase. In this thesis, we introduce and apply forward-backward recur- rent neural

  • 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:
    displays information on a record of table A, and that there is a relationship type between tables A and B

  • Synthetic instrument generation : generating novel instrument timbres with a genetic algorithm

    Creator:
    Knowlton, John
    Abstract:
    The use of genetic algorithms to compose music and generate sounds is an area of interest in the artificial intelligence field. Music and instrument sounds have known rules and structures that can be followed which make them well-suited for genetic algorithms. However, genetic algorithms still struggle to generate sounds comparable...
    Resource Type:
    Honors College Thesis
    Full Text:
    conduct A−B testing through a web application to pick the sounds they prefer which guides the algorithm to

  • Development of a mobile process to extract phosphorus from livestock wastes as a valuable fertilizer

    Creator:
    Hoilman, Gene
    Abstract:
    Environmental and regulatory concerns are causing confined animal feeding operations (CAFO's) to account for phosphorous content when applying wastewater to agricultural fields for disposal. In most cases this requires more land to spread the waste onto so that the phosphorous needs of the crop are not exceeded. A mobile process...
    Resource Type:
    Masters Thesis
    Full Text:
    : Development of a Mobile Process to Extract Phosphorous from Livestock Wastes as a Valuable Fertilizer rt IV

  • Separabilities for a new class of gray codes

    Creator:
    Park, Jung Pil
    Resource Type:
    Capstone Project
    Full Text:
    two vectors A = (an-1an-2 · · · ao) and B = (bn-1bn-2 · · · bo) is denoted by DL(A, B) and is

  • A factoring approach for probabilistic inference in belief networks

    Creator:
    Li, Zhaoyu
    Abstract:
    Reasoning about any realistic domain always involves a degree of uncertainty. Probabilistic inference in belief networks is one effective way of reasoning under uncertainty. Efficiency is critical in applying this technique, and many researchers have been working on this topic. This thesis is the report of our research in this...
    Resource Type:
    Dissertation
    Full Text:
    belief network is a belief network in which there 3 p(a): p(a=1)=0.2 p(b): p(b=1)=0.3 p(cla): p(c=11a

  • Development of a dose conversion factor from uptakes of Po-210 through smoking using a modified ICRP 30 lung model

    Creator:
    Hout, Jason D.
    Abstract:
    A thesis presented on the determination of factors related to deposition, clearance, and dosimetry of the ICRP 30 lung model as related to smoking. Variations in calculations used to determine radiation doses leave a need to determine a standard method to determine absorbed dose from smoking. Standard parameters are used...
    Resource Type:
    Masters Thesis
    Full Text:
      Compar‐ tment  T Day  F  T Day  F  T Day  F  N‐P  a  0.01  0.5  0.01  0.1  0.01  0.01  (DN‐P = 0.30)  b

  • Update programming -- a safe approach to software maintenance

    Creator:
    Ren, Deling
    Abstract:
    Software maintenance accounts for a large portion of the software development cost, particularly the process of updating programs either to adapt for requirement change or to enhance design or efficiency. Currently, program updates are generally performed manually by programmers using text editors. This is an unreliable method because syntax and...
    Resource Type:
    Dissertation
    Full Text:
    ˜ � “�“�›/œ‚–X¦Z§¨—žœ � œb¥t—�©y–b›/˜Œª«–X¡¢‚—w˜P¢�–b¢�¦i˜ oHG #%$'&)()*,+�-.$/* Q¬#%…SO;O,sa-�]vQC]^…S­

  • Object highlighting : real-time boundary detection using a Bayesian network

    Creator:
    Jia, Jin
    Abstract:
    Image segmentation continues to be a fundamental problem in computer vision and image understanding. In this thesis, we present a Bayesian network that we use for object boundary detection in which the MPE (most probable explanation) before any evidence can produce multiple non-overlapping, non-self-intersecting closed contours and the MPE with...
    Resource Type:
    Masters Thesis
    Full Text:
    ) (b) Figure 3.2: Examples of Tobogganing and weighted graph creation. (a) The original 256x256 block

  • A SAT-based planning framework for optimizing resource production

    Creator:
    Ventura, Christopher
    Abstract:
    Domain-independent automated planning is concerned with computing a sequence of actions that can transform an initial state into a desired goal state. Resource production domains form an interesting class of such problems, in that they typically require reasoning about concurrent durative-actions with continuous effects while minimizing some cost function. Although...
    Resource Type:
    Masters Thesis
    Full Text:
    Bibliography 54 Appendices 57 A PDDL+ Definition of the Stratagus Resource Production Domain . . 58 B PDDL

  • 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:
    Issues 178 Bibliography 182 Appendices 190 A Chess Domain Theory B King-Rook-King Problem

  • A numerical approach to Tamme's problem in euclidean n-space

    Creator:
    Adams, Patrick Guy
    Resource Type:
    Masters Thesis
    Full Text:
    . Tarnai (1996), and A. B. J. Kuijlaars and E. B. Saff (1997). Most researchers have limited their

  • Galileo - a system for analyzing Java bytecode database handlers subsystem

    Creator:
    Balasubramanian, Eswar, Sharma, Hitesh, and Thorat, Aarti
    Abstract:
    Analysis of programs forms an important activity in the field of software engineering. It is necessary to help understand the code, which facilitates comprehensive testing, maintenance and optimization of code. Aristotle is a tool for analyzing programs written in C. We have designed a system on similar lines for Java...
    Resource Type:
    Capstone Project
    Full Text:
    December, 2002. Title: Galileo: A System for Analyzing Java Bytecode Abstract approved: Gregg

  • A Distributed Scheme for Accelerating and Scaling PSPNet

    Creator:
    Krishna, Ajay
    Abstract:
    Advances in deep learning based image processing have led to their adoption for a wide range of applications, and in tow with these developments is a dramatic increase in the availability of high quality datasets. With this comes the need to accelerate and scale deep learning applications in order to...
    Resource Type:
    Masters Thesis
    Full Text:
    /1202.1056, 2012. [10] A. Munappy, J. Bosch, H. H. Olsson, A. Arpteg, and B. Brinne. Data man- agement

  • 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:
    denoted a, b, c, and d. The objective space contains two objectives f1 and f2, where the acceptable

  • Metacontent based techniques for the regression testing of component based software : a case study

    Creator:
    Williams, Vasanth
    Abstract:
    Component based software technologies are viewed as essential for creating the software systems of the future. However, the use of externally provided component has serious drawbacks for a wide range of software engineering activities often because of a lack of information about the components. One such drawback involves validation of...
    Resource Type:
    Capstone Project
    Full Text:
    of Component Based Software: A Case Study Abstract approved: Component based software

  • 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:
    , San Francisco. (pp. 43-52). 2. Dahlen, B. J., Konstan, J. A., Herlocker, J. L., Good, N

  • Metacontent based techniques for the regression testing of component based software : a case study

    Creator:
    Chattopadhyay, Soumya
    Abstract:
    Component based software technologies are viewed as essential for creating the software systems of the future. However the use of externally provided components has serious drawbacks for a wide range of software engineering activities often because of a lack of information about the components. One such drawback involves validation of...
    Resource Type:
    Capstone Project
    Full Text:
    ) Metacontent Based Techniques for the Regression Testing of Component Based Software: A Case Study _ by

  • Adversarial planning by strategy switching in a real-time strategy game

    Creator:
    King, Brian D.
    Abstract:
    We consider the problem of strategic adversarial planning in a Real-Time Strategy (RTS) game. Strategic adversarial planning is the generation of a network of high-level tasks to satisfy goals while anticipating an adversary's actions. In this thesis we describe an abstract state and action space used for planning in an...
    Resource Type:
    Masters Thesis
    Full Text:
    : Adversarial Planning by Strategy Switching in a Real-Time Strategy Game Abstract approved: Alan P. Fern We

  • A Study of Temporal Convolutional Neural Networks for Music Language Modeling as Applied to Automatic Music Transcription

    Creator:
    Meyn, Matthew
    Abstract:
    Automatic music transcription (AMT) is the task, given an acoustic representation of music, to recover a symbolic notation of the written notes expressed by the sound. Transcribing music with multiple notes sounding simultaneously is difficult for both humans and machines. Much existing work on AMT has focused on suitable acoustic...
    Resource Type:
    Capstone Project
    Full Text:
    the degree of Master Of Science in Computer Science presented on June 19, 2019. Title: A Study of

  • A study on student perceptions of principles of logic and their application to the principle of mathematical induction

    Creator:
    Boone, Allan R.
    Abstract:
    The purpose of this article is to explore student reasoning with regard to problems in logic, particularly those related to the Principle of Mathematical Induction (PMI). The five case studies presented build off of work done by other researchers, most notably Dubinsky and Harel, who both looked at how students'...
    Resource Type:
    Masters Thesis
    Full Text:
    application of modus ponens- the logical conclusion of the statement B given statements of the form 𝐴

  • Learning with Partial Supervision for Clustering and Classification

    Creator:
    Pei, Yuanli
    Abstract:
    In the field of machine learning, clustering and classification are two fundamental tasks. Traditionally, clustering is an unsupervised method, where no supervision about the data is available for learning; classification is a supervised task, where fully-labeled data are collected for training a classifier. In some scenarios, however, we may not...
    Resource Type:
    Dissertation
    Full Text:
    . . . . 19 3.1 The unified graphical model for clustering with constraints. (a) the uni- fied model; (b

  • Simulator-Defined MDP Planning with Applications in Natural Resource Management

    Creator:
    Alkaee Taleghan, Majid
    Abstract:
    This work is inspired by problems in natural resource management centered on the challenge of invasive species. Computing optimal management policies for maintaining ecosystem sustainable is challenging. Many ecosystem management problems can be formulated as MDP (Markov Decision Process) planning problems. In a simulator-defined MDP, the Markovian dynamics and rewards...
    Resource Type:
    Dissertation
    Full Text:
    , Appendix B] with an upstream parameter of 0.1 and a downstream parameter of 0.5. An important aspect of

  • Advances in Simultaneous Translation

    Creator:
    Zheng, Renjie
    Abstract:
    Simultaneous translation, which translates concurrently with the source language speech, is widely used in many scenarios including multilateral organizations. However, it is well known to be one of the most challenging tasks for humans due to the simultaneous perception and production in two languages. On the other hand, simultaneous translation...
    Resource Type:
    Dissertation
    Full Text:
    : (a) none of them can achieve any arbitrary given latency such as “3-word delay”; (b) their base

  • 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
    Full Text:
    . B: A simple example of an input RNA sequence (bottom) becoming “fixed” by our model (top), with the

  • Weakly Supervised Learning for Activity Recognition from Time Series Data

    Creator:
    Guan, Xinze
    Abstract:
    The thesis focuses on activity recognition from sensor data, which has spurred a great deal of interest due to its impact on health care and security. Previous work on activity recognition from multivariate time series data has mainly applied supervised learning techniques which require a high degree of annotation effort...
    Resource Type:
    Dissertation
    Full Text:
    initial probabilities 13 Θ = {π,A,B} are unknown parameters that we want to estimate. There are two

  • Advancing Power Grid Computing: Analysis and Synthesis of Wide-Area Data, Distributed Real-Time Hardware-In-the-Loop Simulations, and Machine Learning for Event Detection

    Creator:
    Hagan, Travis
    Abstract:
    Global Positioning Systems have allowed for precise timing of power system measurements over wide areas. This newly found capability has the potential to provide much greater insight into the operation of the power system and its response to contingencies, but few analytical techniques currently exist that provide enough robustness and...
    Resource Type:
    Dissertation
    Full Text:
    < =B 2>F;>)>BGD,A>->@D' G)<-<0;<=8>+<:&<)HIJHKHH L>::<0F<:<0;M90

  • WebGD : Framework for web-based GIS/database applications

    Creator:
    Wangmutitakul, Paphun
    Abstract:
    We have developed a framework for Web-based GIS/database applications which allow users to insert, update, delete, and query data with a map interface displayed by Web browsers. The framework was designed so that a Web-based GIS application that uses ArcIMS as a map server can be easily created, customized, and...
    Resource Type:
    Capstone Project
    Full Text:
    ..................................................................... 37 B.1 Defining a Spatial Reference

  • Heuristic search in symbolic probability inference

    Creator:
    Pan, Yonghong
    Abstract:
    I present a new heuristic search approach to compute approximate answers for the probability query in belief nets. This approach can compute the 'best' bounds for a query in a period of any given time (if time permitted, it will get an exact value). It inherits the essence of Symbolic...
    Resource Type:
    Capstone Project
    Full Text:
    following symbolic expressions for the prior probability of each node: P(A) = P(A) P(B) = LA P(BIA)P(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:
    Confusion Matrices for (a) using heuristic h1 with τ = 25%n, (b) heuristic h1 with τ = 50%n and (c

  • Bayesian optimization with empirical constraints

    Creator:
    Azimi, Javad
    Abstract:
    Bayesian Optimization (BO) methods are often used to optimize an unknown function f(•) that is costly to evaluate. They typically work in an iterative manner. In each iteration, given a set of observation points, BO algorithms select k ≥ 1 points to be evaluated. The results of those points are...
    Resource Type:
    Dissertation
    Full Text:
    correlated with the size of the constraints. In addition, we must operate within a total budget B. The

  • Scheduling and Online Planning in Stochastic Diffusion Networks

    Creator:
    Xue, Shan
    Abstract:
    Diffusion processes in networks are common models for many domains, including species colonization, information/idea cascade, disease propagation and fire spreading. In diffusion networks, a diffusion event occurs when a behavior spreads from one node to the other following a probabilistic model, where the behavior could be species, an idea, a...
    Resource Type:
    Dissertation
    Full Text:
    = {a, b}, p2 = {c}. The schedule (π(p1) = 0, π(p2) = 3) is also illustrated, using shaded boxes to

  • Web-PST : web-based pesticide screening tool

    Creator:
    Yao, Hua
    Abstract:
    Web-based Pesticide Screening Tool (Web-PST) is a web-based software application for evaluating the potential risk of pesticides on the surrounding environment. It uses the formulas and standards specified by the Soil/Pesticide Interaction Screening Procedure Version II (SPISP II). Web-PST closely models the stand-alone Windows application Windows Pesticide Screening Tool (WIN-PST)....
    Resource Type:
    Capstone Project
    Full Text:
    8. Summary and Future Work 41 9. References 43 Appendix A. Screen shots 44 Appendix B

  • Web-PST : Web-based Pesticide Screening Tool

    Creator:
    Manda, Ashwin Prasad
    Abstract:
    We have developed a web-based software tool for evaluating the potential risk of pesticides on the surrounding environment. The software tool is called Web-based Pesticide Screening Tool (Web-PST). It uses the formulas and standards specified by the Soil/Pesticide Interaction Screening Procedure Version II (SPISP II). Web-PST closely models the stand-alone...
    Resource Type:
    Capstone Project
    Full Text:
    , where A, B, C and D stand for the following: Low runoff, high percolation Moderate runoff and

  • 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:
    ] . . . . . 10 2.2 3 plain programs produced by edit A and B in the linear edit model. . . . 15 5.1 The mapping

  • An Investigation on Nanoscale-shape-mediated Coupling Between Temperature and Densification in Intense Pulsed Light Sintering of Silver Nanoparticles

    Creator:
    Bansal, Shalu
    Abstract:
    In Intense Pulsed Light (IPL) sintering, pulsed large-area visible light from a xenon lamp is absorbed by nanoparticle films or patterns and converted to heat, resulting in rapid sintering of the nanoparticles. This work experimentally characterizes IPL sintering of silver nanoparticle films. A newly observed turning point in the evolution...
    Resource Type:
    Masters Thesis
    Full Text:
    Figure 1.2: Application for dense thin films in (a) Photovoltaics (b) RFID (c) flexible displays

  • Responder tracking application

    Creator:
    Wanalertlak, Naroot
    Abstract:
    We have developed a prototype web-based GIS application for tracking the locations of moving entities. This application, which is called the Responder application, consists of two parts: the Responder client and the Responder server. The Responder client is a .NET application written in C#. It reads the location data from...
    Resource Type:
    Capstone Project
    Full Text:
    client browser (Figure 9 d). a) u V .r <'UillllJ.g 1 @, Responder ,tjmormati.on b) 449, 237

  • Novelty Detection Under the Multi-Instance Multi-Label Framework

    Creator:
    Lou, Qi
    Abstract:
    Novelty detection plays an important role in machine learning and signal processing. This project studies novelty detection in a new setting where the data object is represented as a bag of instances and associated with multiple class labels, referred to as multi-instance multi-label (MIML) learning. Contrary to the common assumption...
    Resource Type:
    Capstone Project
    Full Text:
    ) shows a spec- trogram that contains bird syllables. (b) marks those syllables with yellow brushstrokes

  • Ensemble Monte-Carlo planning : an empirical study

    Creator:
    Lewis, Paul
    Abstract:
    Monte-Carlo planning algorithms such as UCT make decisions at each step by intelligently expanding a single search tree given the available time and then selecting the best root action. Recent work has provided evidence that it can be advantageous to instead construct an ensemble of search trees and make a...
    Resource Type:
    Masters Thesis
    Full Text:
    ) --------------------- --------------------- : A-D A-D B-C A-C: : A-D A-D B-C A-C: :A-B A-B A-C A-B: :A-B A-B [C] A-B: : [A

  • The Ownership Monad

    Creator:
    McGirr, Michael G.
    Abstract:
    The Rust programming language is a systems programming language with a strong static type system. A central feature of Rust’s type system is its unique concept of “ownership”, which enables Rust to give a user safe, low-level control over resources without the overhead of garbage collection. In Haskell, most data...
    Resource Type:
    Capstone Project
    Full Text:
    => ORef a -> (a -> Own b) -> Own b readORef :: Typeable a => ORef a -> Own a These functions provide the

  • Anomaly Detection: Theory, Explanation and User Feedback

    Creator:
    Siddiqui, Md Amran
    Abstract:
    Anomaly detection has been used in variety of applications in practice, including cyber-security, fraud detection and detecting faults in safety critical systems, etc. Anomaly detectors produce a ranked list of statistical anomalies, which are typically examined by human analysts in order to extract the actual anomalies of interest. Unfortunately, most...
    Resource Type:
    Dissertation
    Full Text:
    − µ) ≤ t =⇒ x>A x− 2x>A µ ≤ t− µ>A µ =⇒ d∑ i,j=1 Aijxixj − d∑ i=1 2(Aµ)ixi ≤ t− µ>Aµ =⇒ w>z ≤ b

  • Test case prioritization

    Creator:
    Malishevsky, Alexey Grigorievich
    Abstract:
    Regression testing is an expensive software engineering activity intended to provide confidence that modifications to a software system have not introduced faults. Test case prioritization techniques help to reduce regression testing cost by ordering test cases in a way that better achieves testing objectives. In this thesis, we are interested...
    Resource Type:
    Dissertation
    Full Text:
    place the test cases in order ABCDE to form a prioritized test suite Ti. Figure 1.1 .B shows the

  • Approximation Schemes in Planar Graphs

    Creator:
    Zheng, Baigong
    Abstract:
    There are growing interests in designing polynomial-time approximation schemes (PTAS) for optimization problems in planar graphs. Many NP-hard problems are shown to admit PTAS in planar graphs in the last decade, including Steiner tree, Steiner forest, two- edge-connected subgraphs and so on. We follow this research line and study several...
    Resource Type:
    Dissertation
    Full Text:
    the brick (that is, not in MG). We denote the interior of a brick B by int(B). Consider a brick B of

  • Object Tracking-by-Segmentation in Videos

    Creator:
    Chen, Sheng
    Abstract:
    This thesis focuses on the problem of object tracking. Given a video, the general objective of tracking is to track the location over time of one or more targets in the image sequence. This is a very challenging task as algorithms need to deal with problems such as appearance variations,...
    Resource Type:
    Dissertation
    Full Text:
    object tracking. Given a video, the general objective of tracking is to track the location over time of

  • WebRUSLE : web-based revised universal soil loss equation (RUSLE)

    Creator:
    Wuttiwat, Teerawat
    Abstract:
    Revised Universal Soil Loss Equation (RUSLE) is a standard for estimating soil loss caused by rainfall and overland flow. The current software tool that implements this standard is RUSLE 1.06b, which is a stand-alone DOS application. In this project, we converted the DOS application to a Web application, which we...
    Resource Type:
    Capstone Project
    Full Text:
    wuttiwat@cs.orst.edu Abstract Revised Universal Soil Loss Equation (RUSLE) is a standard for estimating

  • Learning ranking functions for efficient search

    Creator:
    Xu, Yuehua
    Abstract:
    This dissertation explores algorithms for learning ranking functions to efficiently solve search problems, with application to automated planning. Specifically, we consider the frameworks of beam search, greedy search, and randomized search, which all aim to maintain tractability at the cost of not guaranteeing completeness nor optimality. Our learning objective for...
    Resource Type:
    Dissertation
    Full Text:
    consistency. . . . . . . . 25 4.4 A tractable class of breadth-first consistency, where b = 1 and t = 1. 28

  • 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
    Full Text:
    inf j 6=k | �j � �k |� � for all k 2 Z for some � > 0) and (ii) There exist A, B and ⌘ such that Ae

  • 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:
    satisfiability problem. (b) A formal semantics of variational satisfiability solving. A variational SAT problem

  • The density signature

    Creator:
    Migler-VonDollen, Theresa
    Abstract:
    In real networks, identifying dense regions is of great importance. For example, in a network that represents academic collaboration, authors within the densest component of the graph tend to be the most prolific. Dense subgraphs often identify communities in social networks. And dense subgraphs can be used to discover regulatory...
    Resource Type:
    Dissertation
    Full Text:
    .10 The density signature C.10(a) and the semi-log plot of the density signa­ ture C.10(b) for October

  • CREEDA budget generator

    Creator:
    Tao, Wenfang
    Abstract:
    CREEDA-BG (Crop Rotation Economic and Environmental Decision-Aid Budget Generator) is a web-based enterprise budgeting tool that allows a user to manage information on her fields, rotations, crops, and operations, and to view estimates of income and expenses. The user can then use this information to evaluate alternative plans and make...
    Resource Type:
    Capstone Project
    Full Text:
    Obermiller to be my committee members. This work was partially supported by a specific cooperative

  • Protein secondary structure prediction using conditional random fields and profiles

    Creator:
    Shen, Rongkun
    Abstract:
    Protein secondary structure prediction plays a pivotal role in predicting protein folding in three-dimensions. Its task is to assign each residue one of the three secondary structure classes helix, strand, or random coil. This is an instance of the problem of sequential supervised learning in machine learning. This thesis describes...
    Resource Type:
    Masters Thesis
    Full Text:
    --- Note: a Nucleic acid sequences, as of Dec. 15, 2005. b Protein sequences, as of Jan. 10, 2006. c

  • 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:
    Constructing a panorama from a set of videos is a long-standing problem in computer vision. A panorama

  • Optimal inference with local expressions

    Creator:
    Borujerdi, Mohammad
    Abstract:
    Probabilistic inference using Bayesian networks is now a well-established approach for reasoning under uncertainty. Among many e ciency-driven tech- niques which have been developed, the Optimal Factoring Problem (OFP) is distinguished for presenting a combinatorial optimization point of view on the problem. The contribution of this thesis is to extend...
    Resource Type:
    Dissertation
    Full Text:
    � A B D FIGURE 2.1: An example of noisy-or interaction. Noisy-or If A and B have a noisy-or in

  • Incorporating User Feedback into Machine Learning Systems

    Creator:
    Das, Shubhomoy
    Abstract:
    Although machine learning systems are often effective in real-world applications, there are situations in which they can be even better when provided with some degree of end user feedback. This is especially true when the machine learning system needs to customize itself to the end user's preferences, such as in...
    Resource Type:
    Dissertation
    Full Text:
    numerically. (a) LR on linearly separable data (b) LR on unseparable data (c) LWLR on unseparable data

  • An efficient switched capacitor buck-boost voltage regulator using delta-sigma control loop

    Creator:
    Rao, Arun
    Abstract:
    Voltage converters or charge pumps find their use in many circuits. They are extensively used in hand held devices as cell phones, pagers, PDA's and laptops. Some of the important issues relating to design of voltage regulators for handheld devices are size, efficiency and noise. Another important factor to be...
    Resource Type:
    Masters Thesis
    Full Text:
    Configuration for (a) gain = 3/2 and (b) gain = 4/3 .............. 13 3.4 Configuration for gain = 1/2

  • 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:
    distance between two vectors A and B is denoted by DL(A, B) and is defined to be WL(A B). That is, the

  • New learning modes for sequential decision making

    Creator:
    Judah, Kshitij
    Abstract:
    This thesis considers the problem in which a teacher is interested in teaching action policies to computer agents for sequential decision making. The vast majority of policy learning algorithms o er teachers little flexibility in how policies are taught. In particular, one of two learning modes is typically considered: 1)...
    Resource Type:
    Dissertation
    Full Text:
    . (a) τ = ∞, (b) τ = 2, (c) τ = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

  • Nanoparticle-assisted diffusion brazing of metal microchannel arrays : nanoparticle synthesis, deposition, and characterization

    Creator:
    Eluri, Ravindranadh T.
    Abstract:
    Microchannel process technology (MPT) offers several advantages to the field of nanomanufacturing: 1) improved process control over very short time intervals owing to shorter diffusional distances; and 2) reduced reactor size due to high surface area to volume ratios and enhanced heat and mass transfer. The objective of this thesis...
    Resource Type:
    Dissertation
    Full Text:
    : volume diffusion of atoms to the vacancies. …………………………………………………………… 10 1.4. (a) Initial condition. (b

  • Image feature detection and matching for biological object recognition

    Creator:
    Deng, Hongli
    Abstract:
    Image feature detection and matching are two critical processes for many computer vision tasks. Currently, intensity-based local interest region detectors and local feature-based matching methods are used widely in computer vision applications. But in some applications, such as biological object recognition tasks, within-class changes in pose, lighting, color, and texture...
    Resource Type:
    Dissertation
    Full Text:
    ap- paratus. (a) The original images. (b) A close look. (left column: Calinueria californica. right

  • Learning MDP action models via discrete mixture trees

    Creator:
    Wynkoop, Michael S.
    Abstract:
    This thesis addresses the problem of learning dynamic Bayesian network (DBN) models to support reinforcement learning. It focuses on learning regression tree models of the conditional probability distributions of the DBNs. Existing algorithms presume that the stochasticity in the domain can be modeled as a deterministic function with additive noise....
    Resource Type:
    Masters Thesis
    Full Text:
    arcs have been omitted. Circles represent state variables, and the di- amond is the reward node. (b) a

  • Machine learning in engineering : techniques to speed up numerical optimization

    Creator:
    Cerbone, G. (Giuseppe)
    Abstract:
    Many important application problems in engineering can be formalized as nonlinear optimization tasks. However, numerical methods for solving such problems are brittle and do not scale well. For example, these methods depend critically on choosing a good starting point from which to perform the optimization search. In high-dimensional spaces, numerical...
    Resource Type:
    Dissertation
    Full Text:
    Bibliography 129 Appendices 136 A Simplifying Assumptions 136 B Objective Function 138 C Mathematica in the

  • Learning greedy policies for the easy-first framework

    Creator:
    Xie, Jun
    Abstract:
    Easy-first, a search-based structured prediction approach, has been applied to many NLP tasks including dependency parsing and coreference resolution. This approach employs a learned greedy policy (action scoring function) to make easy decisions first, which constrains the remaining decisions and makes them easier. This thesis studies the problem of learning...
    Resource Type:
    Masters Thesis
    Full Text:
    across documents [24]. (a) Hugh Jackman plays a furry comic-book hero. (b) The Australian actor is

  • 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:
    number of troops in that part. . . . . . . . . . . . . . . . . . 151 B.3 In Study One (left), we used a

  • 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
    Full Text:
    Tumer Air traffic flow management over the U.S. airpsace is a difficult problem. Current man­ agement

  • Predicting Aerodynamic Loads on Highly Flexible Membrane Wings

    Creator:
    Carpenter, Trenton James
    Abstract:
    Through passive adaptation to incidental flow, flexible aerodynamic surfaces exploit effects of increased lift, delayed stall and disturbance rejection. Wings of birds, bats, and insects exhibit these passive effects, and at the same time through the use of structural state feedback sensed from the loads on the wing, active control...
    Resource Type:
    Dissertation
    Full Text:
    requirements as opposed to aerodynamic forces, nevertheless this method 5 (a) (b) FIGURE 1.2: Movement of

  • UCT for tactical assault battles in real-time strategy games

    Creator:
    Balla, Radha-Krishna
    Abstract:
    We consider the problem of tactical assault planning in real-time strategy games where a team of friendly agents must launch an assault on an enemy. This problem offers many challenges including a highly dynamic and uncertain environment, multiple agents, durative actions, numeric attributes, and different optimization objectives. While the dynamics...
    Resource Type:
    Masters Thesis
    Full Text:
    in case-ii(b) of section 4.4.2, there is a chance of multiple friendly groups being pitted against

  • 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:
    approach is to learn a codebook by clustering the words. Most of the current word- clustering algorithms

  • Re-understanding Finite-State Representations of Recurrent Policy Networks

    Creator:
    Danesh, Mohamad H.
    Abstract:
    We propose an approach for understanding control policies represented as recurrent neural networks. Recent work has approached this problem by transforming such recurrent policy networks into finite-state machines (FSM) and then analyzing the equivalent minimized FSM. While this led to interesting insights, the minimization process can obscure a deeper understanding...
    Resource Type:
    Masters Thesis
    Full Text:
    loops back to S2. In this example, MM has a decision point at S2. b) Interpretable reductions applied

  • Visual SQL analyzer project report

    Creator:
    Li, Xiaoyan
    Abstract:
    Structure Query Language (SQL) is widely used to access data stored in relational database systems. Although a powerful and flexible language, SQL can also be complex and hard to learn. For most new SQL users, it's easy to write SQL statement by following SQL grammar and syntax rules, but it's...
    Resource Type:
    Capstone Project
    Full Text:
    stored in relational database systems. Although a powerful and flexible language, SQL can also be

  • 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:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229 A Proofs for Chapter 4 B Proofs for Chapter 5 C Proofs for Chapter 8 LIST OF FIGURES

  • 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
    Full Text:
    autoencoder using the standard L2 reconstruction error ∥x− b(x)∥2 for a given input x. 2.4.2 Bottleneck

  • 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:
    observations for (A) American Tree Sparrow and (B) Chipping Sparrow in Tompkins Co., NY. The time periods of

  • Machine learning methods for public policy : simulation, optimization, and visualization

    Creator:
    McGregor, Sean
    Abstract:
    Society faces many complex management problems, particularly in the area of shared public resources such as ecosystems. Existing decision making processes are often guided by personal experience and political ideology rather than state-of-the-art scientific understanding. This dissertation envisions a future in which multiple stakeholders are provided with computational tools for...
    Resource Type:
    Dissertation
    Full Text:
    row has the three parameter con- trols for (A) the reward specification, (B) the model modifiers, and

  • Visual object discovery and understanding

    Creator:
    Yuan, Jialin
    Abstract:
    Learning to recognize objects is a fundamental and essential step in human perception and understanding of the world. Accordingly, research of object discovery across diverse modalities plays a pivotal role in the context of computer vision. This field not only contributes significantly to enhancing our understanding of visual information but...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.1 Visualization1of (a) Image classification using a CNN. (b) Semantic seg- mentation using an