159 research outputs found

    Review of the book Unbegrenzte moglichkeiten: Amerikanisierung in Deutschland und Frankreich (1900-1933) by Egbert Klautke

    No full text
    Dr. Jeff R. Schutts (Douglas College) reviews the book Unbegrenzte Moglichkeiten: Amerikanisierung in Deutschland und Frankreich (1900-1933) by Egbert Klautke (2005).Final article published

    The New Textbook ”Advanced Aircraft Design – Conceptual Design, Technology and Optimization of Subsonic Civil Airplanes“

    No full text
    Presentation on the occasion of the new book: "Advanced Aircraft Design: Conceptual Design, Analysis and Optimization of Subsonic Civil Airplanes". Author: Egbert Torenbeek Published Online: 27 MAY 2013 Print ISBN: 9781118568118 Online ISBN: 9781118568101 DOI: 10.1002/9781118568101http://EWADE.AircraftDesign.org --- http://ProceedingsEWADE2013.AircraftDesign.or

    UA94/6/1 Ercell Jane Egbert: An Appreciation

    No full text
    Weaver, Bill. Ercell Jane Egbert: An Appreciation. The author, a former student, teaches in the History Department and is Staff Assistant in the Graduate College at Western Kentucky University. Grateful appreciation is expressed to Mrs. Cleo Carner, Mrs. Virgie Morse, Miss Fannie Holland, Miss Sara Tyler and Miss Julia Neal for sharing their information

    Archives and Absence: The Role of the Institutional Archive in Retaining Cultural Memory (Part 1)

    No full text
    Presented during American Archives Month, archivists Veronica Denison, Helena Egbert, and Irina Rogova from K-State Libraries’ Morse Department of Special Collections offer the first in a series of three talks inspired by the themes of community and memory in The Marrow Thieves by Cherie Dimaline. Part 1: Why are there so few materials from folks of marginalized identities in institutional archives

    Algebraic Presentations of Dependent Type Theories

    No full text
    C-systems were defined by Cartmell as models of generalized algebraic theories. B-systems were defined by Voevodsky in his quest to formulate and prove an initiality conjecture for type theories. They play a crucial role in Voevodsky's construction of a syntactic C-system from a term monad. In this work, we construct an equivalence between the category of C-systems and the category of B-systems, thus proving a conjecture by Voevodsky. We construct this equivalence as the restriction of an equivalence between more general structures, called CE-systems and E-systems, respectively. To this end, we identify C-systems and B-systems as "stratified" CE-systems and E-systems, respectively; that is, systems whose contexts are built iteratively via context extension, starting from the empty context.Comment: v2: changed title, added some example
    corecore