Search Constraints

Start Over
Filtering by: Creator Rux, Peter Turner Remove constraint Creator: Rux, Peter Turner Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • 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:
    Matt Turner for the degree of Doctor of Philosophy in Computer Science presented on May 27, 2022

  • A rule based approach to program development

    Creator:
    Birjandi, Abbas
    Abstract:
    A rule based transformational model for program development and a metatool based on the above model is presented. The meta-tool can be instantiated to create various program development tools such as tools for building reusable software components, language directed editors, language to language translators, program instrumentation, structured document generator, and...
    Resource Type:
    Dissertation
    Full Text:
    ., Newport, RI, September 1983. [Deu83] L. Peter Deutsch. Reusability In The Smalltalk-80 Programming Sys

  • The sum of its parts : investigating the component pieces of GenderMag

    Creator:
    Hill, Charles
    Abstract:
    Previous work introduced the GenderMag method, a software inspection method used to help software creators identify features within their software that are not gender-inclusive. Inclusiveness of software (gender or otherwise) matters because supporting diversity matters—it is well-known that the more diverse a group of problem-solvers, the higher the quality of...
    Resource Type:
    Masters Thesis

  • Linear-time Algorithms for RNA Folding: Partition Function, Stochastic Sampling and RNA-RNA Interaction

    Creator:
    Zhang, He
    Abstract:
    RNAs play important roles in the central dogma of molecular biology, and are involved in multiple biology processes such as chromatin modification, transcriptional interference and translation initiation. The functions of RNAs, especially non-coding RNAs, are highly related to its secondary structures, therefore computational methods for RNA structure prediction are of...
    Resource Type:
    Dissertation
    Full Text:
    -based Turner free-energy model [65, 61], but for presentation reasons, we use a revised Nussinov- 8

  • 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

  • Efficient Comparative Sequence Analysis Algorithms for RNA Conserved Structure and Region Detection

    Creator:
    Li, Sizhen
    Abstract:
    RNAs play important roles in multiple cellular processes, and many of their functions rely on folding to specific structures. To maintain their functions, secondary structures of RNA homologs are conserved across evolution. These conserved structures provide critical targets for diagnostics and therapeutics. Thus, there is a need for developing fast...
    Resource Type:
    Dissertation

  • Electra : integrating constraints, condition-based dispatching, and features exclusion into the multiparadigm language Leda

    Creator:
    Zamel, Nabil M.
    Abstract:
    Multiparadigm languages are languages that are designed to support more than one style of programming. Leda is a strongly-typed multiparadigm programming language that supports imperative, functional, object-oriented, and logic programming. The constraint programming paradigm is a declarative style of programming where the programmer is able to state relationships among some...
    Resource Type:
    Dissertation

  • 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:
    collaborations and Peter Anderson and Jesse Thomason for their advising insights and generosity. I thank the

  • 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:
    with Turner 2004 Free Energy Parameters [36] as the baseline. 2. free energy parameters from machine

  • Improving User Mental Models of XAI Systems with Inclusive Design Approaches

    Creator:
    Hamid, Md Montaser
    Abstract:
    Explainable Artificial Intelligence (XAI) systems aim to improve users’ understanding of AI but rarely consider the inclusivity aspects of XAI. Without inclusive approaches, improving explanations might not work well for everyone. This study investigates leveraging users’ diverse problem-solving styles as an inclusive strategy to fix an XAI prototype, with the...
    Resource Type:
    Masters Thesis