Search Constraints

Start Over
Filtering by: Creator Kratzer, Eric Martin Remove constraint Creator: Kratzer, Eric Martin

Search Results

  • Characterization of acid sensing ion channel (ASIC) in mouse olfactory bulb

    Creator:
    Kratzer, Eric Martin
    Abstract:
    This study examined the role of acid- sensing ion channels (ASICs) in interneuron synaptic modulation. ASICS are ultra fine discriminators of acidic conditions in the neuronal microenvironment. Each ASIC subunit isoform has innate, subtly different electrophysiological properties and tissue distributions. Structurally, ASICs may form homo- or heteromeric channels, yielding combinatorial...
    Resource Type:
    Dissertation
    Full Text:
    OF THE DISSERTATION OF Eric Martin Kratzer for the degree of Doctor of Philosophy in Molecular

  • Doing Research: Joining the Scholarly Conversation (Chapter 6)

    Creator:
    Deitering, Anne-Marie and Ede, Lisa
    Abstract:
    Keywords: pedagogy, information literacy, undergraduate, rhetoric, composition
    Resource Type:
    Part of Book
    Full Text:
    . Some specialized databases like ERIC (for sources in education) or PsycINFO (for sources in psychology

  • A Language for Querying Source Code Repositories

    Creator:
    Kumar, Deepthi S.
    Abstract:
    The history of a software project plays a vital role in the software development process. Version control systems enable users of a software repository to look at the evolution of the source code, and see the changes that led to newer versions. Currently, version control systems provide commands that can...
    Resource Type:
    Masters Thesis
    Full Text:
    Querying Source Code Repositories Abstract approved: Martin Erwig The history of a software project

  • Application of the Variational Database Management System to Schema Evolution and Software Product Lines

    Creator:
    Li, Qiaoran
    Abstract:
    As a general solution to the problem of managing structural and content variability in relational databases, in previous work we have introduced the Variational Database Management System (VDBMS). VDBMS consists of a representation of a variational database (VDB) and a corresponding typed query language (v-query). However, since this is a...
    Resource Type:
    Capstone Project
    Full Text:
    : Eric Walkingshaw As a general solution to the problem of managing structural and content variability

  • The Ownership Monad

    Creator:
    McGirr, Michael G.
    Abstract:
    The Rust programming language is a systems programming language with a strong static type system. A central feature of Rust’s type system is its unique concept of “ownership”, which enables Rust to give a user safe, low-level control over resources without the overhead of garbage collection. In Haskell, most data...
    Resource Type:
    Capstone Project
    Full Text:
    Abstract approved: Eric Walkingshaw The Rust programming language is a systems programming language with

  • Domain-specific language support for experimental game theory

    Creator:
    Walkingshaw, Eric
    Abstract:
    Experimental game theory is the use of game theoretic abstractions—games, players, and strategies—in experiments and simulations. It is often used in cases where traditional, analytical game theory fails or is difficult to apply. This thesis collects three previously published papers that provide domain-specific language (DSL) support for defining and executing...
    Resource Type:
    Masters Thesis
    Full Text:
    . Published as: Eric Walkingshaw and Martin Erwig. A Domain-Specific Language for Experimental Game Theory

  • The choice calculus : a formal language of variation

    Creator:
    Walkingshaw, Eric
    Abstract:
    In this thesis I present the choice calculus, a formal language for representing variation in software and other structured artifacts. The choice calculus is intended to support variation research in a way similar to the lambda calculus in programming language research. Specifically, it provides a simple formal basis for presenting,...
    Resource Type:
    Dissertation
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF Eric Walkingshaw for

  • Spreadsheet Explanation Through Table Abstraction

    Creator:
    Dan, Mihai
    Abstract:
    Spreadsheets are a pervasive technology throughout personal and industrial use. Often times, the user is not the author, contributing to a lack of understanding of the purpose and functionality of a spreadsheet. Furthermore, the lack of understanding is a major reason for mistakes in the use and maintenance of spreadsheets....
    Resource Type:
    Masters Thesis
    Full Text:
    Through Table Abstraction Abstract approved: Martin Erwig Spreadsheets are a pervasive technology

  • Playing by the Rules: A Formal Specification of BoGL’s Loops and Type System

    Creator:
    Grejuc, Alex
    Abstract:
    BoGL is a programming language created for the purpose of computer science education that is specific to the domain of board games. Although there is a language grammar and an existing implementation that is currently used by students, a complete and formal language standard does not yet exist. In the...
    Resource Type:
    Honors College Thesis
    Full Text:
    : Martin Erwig, Mentor, representing Computer Science Eric Walkingshaw, Committee Member, representing

  • Using Change Representations to Analyze Properties of Variational Software

    Creator:
    Wang, Xiangyu
    Abstract:
    Appropriate representations of variational software simplify the analysis of their properties.This thesis proposes tailored representations of two kinds variational softwares: difference files of merge commits in Git and feature models. For the former, we use the Choice Edit Model, which is based on the choice calculus, to represent changes introduced...
    Resource Type:
    Masters Thesis
    Full Text:
    Analyze Properties of Variational Software Abstract approved: Martin Erwig Appropriate representations