Search Constraints

Start Over
Filtering by: Alternative title ssim Instruction Memorandum No. 2016-139 Remove constraint Alternative title ssim: Instruction Memorandum No. 2016-139 Degree Field Computer Science Remove constraint Degree Field: Computer Science Degree Level Doctoral Remove constraint Degree Level: Doctoral

Search Results

  • Al-Khorezmi : an intelligent algebra tutoring system

    Creator:
    Bayley, Garland J.
    Abstract:
    This thesis presents our investigation of the problem of creating an intelligent tutor for solving algebra word problems that employs effective pedagogy. Among our major concerns are the problems of sufficient knowledge and proper knowledge organization. From student protocols and test papers, we derived sets of general purpose strategic rules...
    Resource Type:
    Dissertation
    Full Text:
    techniques to computer-assisted instruction when he built a geography tutor that exploited an information

  • An empirical study into learning through experimentation

    Creator:
    Ruff, Ritchey Alvin
    Abstract:
    A key aspect of how we understand the world revolves around an ability to manipulate our surroundings to experiment. From the scientific method through theories of child development, the ability to experiment is deemed critical; however, few studies have been performed to understand the strengths and weaknesses of different experimental...
    Resource Type:
    Dissertation
    Full Text:
    the experiment selector had little or no effect. Our best situations were where: (a) only a small

  • 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:
    . Young, Author ACKNOWLEDGEMENTS No research is the sole product of the first author and this work is

  • 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:
    Instructions 13 2 A Simulation Benchmark for Instruction-Following in Continuous Environments 14 2.1

  • Keeping your Friends Secret: Improving the Security, Effciency and Usability of Private Set Intersection

    Creator:
    Rindal, Peter B.
    Abstract:
    Private set intersection (PSI) allows two parties, who each hold a set of items, to compute the intersection of those sets without revealing anything about other items. Recent advances in PSI have significantly improved its performance for the case of semi-honest security, making semi-honest PSI a practical alternative to insecure...
    Resource Type:
    Dissertation
    Full Text:
    3× slower than the best semi-honest protocol (Kolesnikov et al., CCS 2016). Alternatively, when

  • New constructions and applications for homomorphic secret sharing and function secret sharing

    Creator:
    Singh, Jaspal
    Abstract:
    A secret sharing scheme allows a dealer to distribute a secret with a set of parties, such that only a certain subset of parties can collaborate and learn the shared secret. Traditional secret sharing schemes have been used as building blocks in various subdomains of cryptography. Recently, two new extensions...
    Resource Type:
    Dissertation
    Full Text:
    - duced by Boyle, Gilboa, and Ishai (Crypto 2016), who give a construction based on the Decisional Diffie

  • 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:
    Research (CER) implicitly assume that students, especially college students, have no barriers to access

  • The inclusion of expertise in a decision support system for strategic decision making

    Creator:
    Goul, Kenneth Michael
    Abstract:
    A decision support system (DSS) incorporating domain expertise guides, tutors, and consults a decision maker in opportunity, problem, and crisis identification activities. The objective for the system is to promote improved decision making. Using an "Independent Groups" design, an experimental study was conducted to investigate the effects of DSS use...
    Resource Type:
    Dissertation
    Full Text:
    % subset of the complete rule base, and 3) no DSS exposure. Measures of performance from several stages of

  • 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:
    of actions present; and (3) Unsupervised learning, where no ground truth is available. To address

  • Specifications for a fuzzy system modeling language

    Creator:
    Fellinger, William Lowell
    Abstract:
    Specifications for a simulation language capable of modeling fuzzy systems are presented. Actions occurring in the running model are to be displayed on a graphics terminal in the .form of modified E-nets. The concept of partial execution of predicates is introduced in connection with the underlying continuously valued logic. Fuzzy...
    Resource Type:
    Dissertation
    Full Text:
    . 3 Classes in the real world are usually "fuzzy." Humans have no difficulty in manipulating fuzzy