Search Constraints

Start Over
Filtering by: Creator Al-Aghbari, Abdulwali M. Remove constraint Creator: Al-Aghbari, Abdulwali M. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • Auxiliary Tasks for Efficient Learning of Point-Goal Navigation

    Creator:
    Desai, Saurabh Satish
    Abstract:
    Top-performing approaches to embodied AI tasks like point-goal navigation often rely on training agents via reinforcement learning over tens of millions (or even billions) of experiential steps – learning neural agents that map directly from visual observations to actions. In this work, we question whether these extreme training durations are...
    Resource Type:
    Masters Thesis
    Full Text:
    for Efficient Learning of Point-Goal Navigation Abstract approved: Stefan M. Lee Top-performing

  • 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:
    Hussain Y. Al-Hammali for the degree of Doctor of Philosophy in Mathematics presented on August 22, 2016

  • 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:
    intensive lit- erature review. For example in the automotive domain, Roundtree et al. reviewed the needs

  • Interactive fault localization techniques to empower the debugging efforts of end-user programmers

    Creator:
    Ruthruff, Joseph Ronald
    Abstract:
    End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spreadsheet environments. Despite this, there has been only a little research on finding ways to help these programmers with the dependability of the software they create....
    Resource Type:
    Masters Thesis
    Full Text:
    : Margaret M. Burnett End users develop more software than any other group of programmers, using 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:
    implementation, we have used the modification described in Herlocker et al. [3], which weights similarities by

  • 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:
    : M:lp Tool bar c Ql a. 0 :i: v A 1.2: SubnitForm()➔ rrap: Frame 1-----t_~Oil_:m _L:~F

  • 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:
    . . . . . . . . . . . . 180 M Data Appendix - CNNs poisoned by perception/action . . . . . . . . . . . . 182 TABLE OF

  • 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:
    contains a set of Boolean variables vs . A model, m, is a set of assignments of Boolean 1See Biere et al

  • Sliding-mode control of the super maneuverable aircraft

    Creator:
    Koo, Chang Sul
    Abstract:
    In this thesis, A nonlinear methodology for the control of the highly maneuverable, high performance aircraft HARV (F-18) is studied by using sliding-mode control (SMC). This control law, which takes a continuous function when the input constraints are not considered, satisfies the reachability condition by which concerned states are driven...
    Resource Type:
    Dissertation
    Full Text:
    encouragement throughout this study. I am also grateful to my committee members, including Dr. W. Kolodziej, M

  • High-speed implementation of the RSA cryptosystem

    Creator:
    Peng, Yanqun
    Abstract:
    A public key cryptosystem allows two or more parties to securely communicate over an insecure channel without establishing a physically secure channel for key exchange. The RSA cryptosystem is the most popular public key cryptosystem ever invented. It is based on the difficulty of factoring large composite numbers. Once the...
    Resource Type:
    Masters Thesis
    Full Text:
    for modular exponentiation are presented, including the binary method and the m-ary method. We give a