Search Constraints

Start Over
Filtering by: Creator St. Clair, Samuel B. Remove constraint Creator: St. Clair, Samuel B. Degree Field Computer Science Remove constraint Degree Field: Computer Science

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

  • On-line deadlock detection in distributed computer systems

    Creator:
    Edemenang, Effiong James Akpan
    Abstract:
    A new algorithm, the Horizontal and Vertical Algorithm, for on-line detection of deadlocks in distributed computer systems, is presented. Two protocols for implementing the algorithm are given. The first protocol, the centralized protocol, is based on the assumption that one site in the network acts as the controller for global...
    Resource Type:
    Dissertation
    Full Text:
    . Freiling and Dr. B. Bose, for their contributions to this work. I also wish to express my gratitude to my

  • 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:
    confidence interval should be employed to bound the optimality of the policy and (b) how should samples be

  • 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

  • Towards Direct Simultaneous Speech Translation

    Creator:
    Chen, Junkun
    Abstract:
    Simultaneous speech translation (SimulST) is widely useful in many cross-lingual communication scenarios, including multinational conferences and international traveling. Since text-based simultaneous machine translation (SimulMT) has achieved great success in recent years. The conventional cascaded approach for SimulST uses a pipeline of streaming ASR followed by simultaneous MT but suffers from...
    Resource Type:
    Dissertation
    Full Text:
    between (a) cascaded pipeline, (b) direct simultaneous ST, and (c) our ASR-assisted simultaneous ST. In (a

  • 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

  • The applicability of a general relational database management system for developing an automated library system : a preliminary investigation

    Creator:
    Hackleman, Debbie
    Abstract:
    An automated library system should be capable of providing at least all of the information and capabilities of existing manual catalogs. In addition, an automated system must provide the capability of manipulating that information to produce varying types of reports and statistics. This paper briefly: - describes historical representations of...
    Resource Type:
    Capstone Project
    Full Text:
    , 1988). Preservation of materials, and not access to those materials, was the major goal (Poole and st

  • Enhancing Instructors’ Teaching Experience through Virtualization

    Creator:
    Patil, Ajinkya
    Abstract:
    In the current education environment, many instructors make use of some type of software, such as Visual Studio or a software library like OpenGL, in the classroom. Incorrect setup and configuration on an individual’s own system is a common problem when using these software tools. This thesis explores the difficulty...
    Resource Type:
    Masters Thesis

  • 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:
    types, where B- and I- mean the beginning of an entity mention, and the continuation of an entity

  • PC++ : an extension of C++ for parallel programming

    Creator:
    Bae, Myungmun
    Abstract:
    Understanding of techniques that can be used to develop software for various parallel machines has not fully matched the dramatic progress in hardware in recent years. Most parallel programming techniques have been closely tied to specific hardware. Different machines have different primitives and architectures. Programming and porting an application with...
    Resource Type:
    Capstone Project
    Full Text:
    PC++ 63 B Example Programs 66 B.l Bounded Buffer Problem . 66 B.2 Quick Sort ....... 68 B.3 1r

  • On Avoiding Power-Seeking by Artificial Intelligence

    Creator:
    Turner, Alexander M.
    Abstract:
    We do not know how to align a very intelligent AI agent's behavior with human interests. I investigate whether—absent a full solution to this AI alignment problem—we can build smart {\ai} agents which have limited impact on the world, and which do not autonomously seek power. In this thesis, I...
    Resource Type:
    Dissertation
    Full Text:
    , including Karen Shuman, Jared Weinman, Samuel Rebelsky, Joe Buck, Marianne Marcek, Ronald Mallett, Craig

  • Applying machine learning for prediction, recommendation, and integration

    Creator:
    Bao, Xinlong
    Abstract:
    This dissertation explores the idea of applying machine learning technologies to help computer users find information and better organize electronic resources, by presenting the research work conducted in the following three applications: FolderPredictor, Stacking Recommendation Engines, and Integrating Learning and Reasoning. FolderPredictor is an intelligent desktop software tool that helps...
    Resource Type:
    Dissertation
    Full Text:
    cannot recommend resources that do not have text associated with them, b) there are substantial

  • Reinforcement learning for job-shop scheduling

    Creator:
    Zhang, Wei, 1960-
    Resource Type:
    Dissertation
    Full Text:
    Samual's checker-playing program [Samuel, 1959] and the LEX system [Mitchell et al., 1983]. Applying

  • 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:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 B Data 52 B.1 Tiling With XOR3D

  • 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:
    | ≥ |O| − |B| where B will be the multiset of boundary vertices. Since |B| is at most O(|X|/�), we can

  • A modification of Veto logic for a committee of threshold logic units and the use of 2-class classifiers for function estimation

    Creator:
    Osborne, Martin
    Abstract:
    The well-known local adjustment algorithm for training a threshold logic unit, TLU, is extended to a local adjustment algorithm for training a network of TLUs Computer simulations show that the extension is unsatisfactory. A new logic for a committee of TLUs, called modified veto logic, and a local adjustment algorithm...
    Resource Type:
    Dissertation
    Full Text:
    the classes by A and B and let class(X) = f-1 if X E A +1 if X E B . 2.2.5 Correct, incorrect. The

  • Parallel simplex algorithms and loop spreading

    Creator:
    Wu, Youfeng
    Abstract:
    Parallel solutions for two classes of linear programs are presented. First we parallelized the two-phase revised simplex algorithm and showed that it is possible to get linear improvement in performance. The simplex algorithm is the best known algorithm for solving linear programs, and we claim our result is the best...
    Resource Type:
    Dissertation
    Full Text:
    Algorithm 211 Appendix B. Sequential Algorithm for Decomposed Linear Programs B.1. Decomposed Linear

  • Convergence Analysis Framework for Fixed-Point Algorithms in Machine Learning and Signal Processing

    Creator:
    Vu, Trung
    Abstract:
    Iterative algorithms are simple yet efficient in solving large-scale optimization problems in practice. With a surge in the amount of data in past decades, these methods have become increasingly important in many application areas including matrix/tensor recovery, deep learning, data mining, and reinforcement learning. To optimize or improve iterative algorithms,...
    Resource Type:
    Dissertation
    Full Text:
    ll ow b ox es in d ic at e ex is ti n g w or k s in th e li te ra tu re , th e gr ee n b ox es

  • 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:
    APPENDICES 147 APPENDIX A COGNITIVE DIMENSIONS 148 APPENDIX B SAMPLE INTERPRETATION OF BENCHMARK

  • 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:
    - mated Annotation of RNA Secondary Structures . . . . . . . . . . . . . . . . 104 B Model

  • Action Segmentation with Limited Supervision

    Creator:
    Li, Jun
    Abstract:
    In this dissertation, we address action segmentation in videos under limited supervision. The goal of action segmentation is to predict an action class for each frame of a video. The limited supervision means ground truth labels of video frames are not available in training. We focus on three types of...
    Resource Type:
    Dissertation
    Full Text:
    loss. Given video v with only two classes {c, a} and another video v′ with also two classes {c, b}, we

  • Domain-Independent Planning for Markov Decision Processes with Factored State and Action Spaces

    Creator:
    Raghavan, Aswin
    Abstract:
    Markov Decision Processes (MDPs) are the de-facto formalism for studying sequential decision making problems with uncertainty, ranging from classical problems such as inventory control and path planning, to more complex problems such as reservoir control under rainfall uncertainty and emergency response optimization for fire and medical emergencies. Most prior research...
    Resource Type:
    Dissertation

  • PEESHTAZ : the interactive computer programming system in Farsi

    Creator:
    Ayromloo, Shahram Shawn
    Resource Type:
    Dissertation
    Full Text:
    DeMorgan's Theorem the following can be observed: 5 ' 12 A NAND B = AB = A + f Given the AND/OR

  • Representationally Robust and Scalable Learning over Relational Databases

    Creator:
    Picado Leiva, Jose Manuel
    Abstract:
    Learning novel concepts from relational databases is an important problem with applications in several disciplines, such as data management, natural language processing, and bioinformatics. For a learning algorithm to be effective, the input data should be clean and in some desired representation. However, real-world data is usually heterogeneous – the...
    Resource Type:
    Dissertation

  • Tensor Field Design and Analysis for Applications in Computer Graphics and Scientific Visualization

    Creator:
    Palacios, Jonathan
    Abstract:
    Many applications in computer graphics and geometry processing rely on the ability to locally orient 2D and 3D entities on a surface, or inside a volume, such as the sinusoidal kernels in Gabor noise, the color and geometry textures in pattern synthesis, and the finite elements in remeshing. In these...
    Resource Type:
    Dissertation
    Full Text:
    square and the cross (a) and (b) exhibit 4-way rotational symmetry (4-RoSy), meaning that they can be

  • Multi-instance multi-label learning : algorithms and applications to bird bioacoustics

    Creator:
    Briggs, Forrest
    Abstract:
    We consider the problem of supervised classification of bird species from audio recordings in a real-world acoustic monitoring scenario (i.e. audio data is collected in the field with an omnidirectional microphone, without human supervision). Obtaining better data about bird activity can assist conservation efforts, and improve our understanding of their...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143 B Instance Annotation for Multi-Instance Multi-Label Learning – Implementation Details

  • Routerless Network-on-chip

    Creator:
    Alazemi, Fawaz
    Abstract:
    Traditional bus-based interconnects are simple and easy to implement, but the scalability is greatly limited. While router-based networks-on-chip (NoCs) offer superior scalability, they also incur significant power and area overhead due to complex router structures. In this thesis, a new class of on-chip networks, referred to as Routerless (RL) NoCs,...
    Resource Type:
    Dissertation
    Full Text:
    in (a), (b) and (c). In (d), RL is also compared with a 3D Cube

  • 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:
    . . . . . . . . . . . . . . . . . . 147 B Design evolution of explanations in Chapter 4 and 5 . . . . . . . . . . . . . 148 C More about

  • Pattern systems and methodologies for multiparadigm analysis and design

    Creator:
    Knutson, Charles D.
    Abstract:
    In this research, we have captured, in pattern form, key elements of programming and design in four programming paradigms (imperative, object-oriented, functional and logical) as well as multiparadigm programming. These pattern sets have formed a foundation upon which we were able to build a deeper understanding of multiparadigm programming and...
    Resource Type:
    Dissertation