Search Constraints

Start Over
Filtering by: Creator Child, Anna Remove constraint Creator: Child, Anna Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • 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

  • Towards an Algorithm for the Third Normal Form (3NF) Using Relational Algebra

    Creator:
    Sorbello, Priscilla
    Abstract:
    This algorithm presents the first steps towards a solution for novice database administrators that helps them transform a non-normalized relational database into a database in the third normal form. The algorithm uses relational algebra operations that apply principles from the third normal form. This provides the database administrator with an...
    Resource Type:
    Honors College Thesis
    Full Text:
    ) count > 1) Then (Delete child columns from Relational Algebra tables and type dictionaries) … Repeat

  • Computing Bounded Chains and Surfaces in a Simplicial Complex with Bounded-treewidth 1-skeleton

    Creator:
    Black, Mitchell
    Abstract:
    We consider three problems on simplicial complexes: the Optimal Bounded Chain Problem, the Optimal Homologous Chain Problem, and 2-Dim-Bounded-Surface. The Optimal Bounded Chain Problem asks to find the minimum weight d-chain in a simplicial complex K bounded by a given (d−1)-chain, if such a d-chain exists. The Optimal Homologous Chain...
    Resource Type:
    Masters Thesis
    Full Text:
    4.2 An example of a forget node t and its child t′. The triangle {u, v, w} is contained in K[Xt′ ] but

  • 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:
    the joy of your children with me. Anna, Elijah, and Rebecca, you have been such a light in my life

  • Local and Global Explanations for Deep Image Classification via Structured Attention Graphs

    Creator:
    Shitole, Vivswan
    Abstract:
    Attention maps are popular tools of explaining the decisions of convolutional neural net-works (CNNs) for image classification. Typically, for each image of interest, a single attention map is produced, which assigns weights to pixels based on their importance to the classification. We argue that a single attention map provides an...
    Resource Type:
    Masters Thesis
    Full Text:
    achieve a high confidence for the classifier’s prediction. Each child node is obtained by deleting a

  • High-Dimensional Reinforcement Learning with Human Feedback

    Creator:
    Curran, William
    Abstract:
    State-of-the-art personal robots need to perform complex manipulation tasks to be viable in complex scenarios. However, many of these robots, like the PR2, use manipulators with high degrees of freedom. High degrees of freedom are desirable from a functionality standpoint, but make the learning task more difficult by adding a...
    Resource Type:
    Dissertation

  • The ChildsPlay Approach: Evaluating an Experimental Approach for Teaching Introductory CS at University

    Creator:
    Nelson, Aiden J.
    Abstract:
    University students first learning about computer science (CS) can be intimidated and frustrated by programming. In addition, the general-purpose programming languages chosen for introducing students to programming contain several features that have the potential to overwhelm and distract them from focused curriculum topics, which can lead to reduced retention of...
    Resource Type:
    Masters Thesis
    Full Text:
    Child- sPlay approach perform differently in their course than students without prior coding

  • Semantic image segmentation using domain constraints

    Creator:
    Roy, Anirban
    Abstract:
    This dissertation addresses the problem of semantic labeling of image pixels. In the course of our work, we considered different types of semantic labels, including object classes (e.g., car, person), 3D depth values (in the range 0 to 80 meters), and affordance classes (e.g., walkable, sittable). Semantic pixel labeling is...
    Resource Type:
    Dissertation

  • Anomaly Detection and Probabilistic Diagnosis for Automated Data Quality Control

    Creator:
    Zemicheal, Tadesse H.
    Abstract:
    Advances in sensor technology are greatly expanding the range of quantities that can be measured while simultaneously reducing the cost. However, deployed sensors drift out of calibration and fail, so every sensor network requires quality control procedures to promptly detect these failures. To address these problems, we propose a two-level...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . 44 2.1 child-parent relationship between view tuples and parent sensors . . . . . 99 2.2 Sensor

  • Learning cost-sensitive diagnostic policies from data

    Creator:
    Zubek, Valentina Bayer
    Abstract:
    In its simplest form, the process of diagnosis is a decision-making process in which the diagnostician performs a sequence of tests culminating in a diagnostic decision. For example, a physician might perform a series of simple measurements (body tem- perature, weight, etc.) and laboratory measurements (white blood count, CT scan,...
    Resource Type:
    Dissertation
    Full Text:
    gen- erosity. Thank you to Anna Zubek, my mother-in-law, for her love and gentle nature. To my