Sökning: "vampire"

Visar resultat 6 - 9 av 9 avhandlingar innehållade ordet vampire.

  1. 6. The Gothic in contemporary interactive fictions

    Författare :Van Leavenworth; Heidi Hansson; Catherine Spooner; Umeå universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Gothic; interactive fiction; subjectivity; posthuman; unspeakable; live burial; labyrinth; uncanny; grotesque; vampire; historiographic metafiction; cybergothic; Literature; Litteraturvetenskap; Literature; litteraturvetenskap;

    Sammanfattning : This study examines how themes, conventions and concepts in Gothic discourses are remediated or developed in selected works of contemporary interactive fiction. These works, which are wholly text-based and proceed via command line input from a player, include Nevermore, by Nate Cull (2000), Anchorhead, by Michael S. LÄS MER

  3. 7. Analysis of Iterative or Recursive Programs Using a First-Order Theorem Prover

    Författare :Simon Robillard; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Term Algebras; Automated Theorem Proving; Invariant Generation; Program Verification;

    Sammanfattning : Static analysis of program semantics can be used to provide strong guarantees about the correctness of software systems. In this thesis, we explore ways to perform automated program analysis and verification using a first-order theorem prover. LÄS MER

  4. 8. Hemsökt barndom : Bilder av barnet i gotisk barnlitteratur

    Författare :Peter Kostenniemi; Elina Druker; Magnus Öhrn; Maria Andersson; Christensen Nina; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; gothic children’s literature; children’s literature; Scandinavian literature; childhood; subjectivity; high modernity; technologies of power; technologies of the self; governmentality; self-governing; agency; growth; the competent child; gothic other; litteraturvetenskap; Literature;

    Sammanfattning : The 21st century has seen an increase in the publication of Gothic literature for children and young adults. The aim of this study is to explore this development and to discuss images of the child in Scandinavian Gothic fiction for children in relation to ideas about childhood in a contemporary context. LÄS MER

  5. 9. Thermo- and chemosensitive properties of Transient Receptor Potential Ankyrin 1 ion channels

    Författare :Lavanya Moparthi; Biokemi och Strukturbiologi; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TRP ion channels; TRPA1; ankyrin repeat domain; thermosensation; chemosensation; cold sensor; electrophiles; non-electrophiles; planar lipid bilayers; patch-clamp; fluorescence spectroscopy; mass spectrometry;

    Sammanfattning : The ability to sense and accommodate to an ever-changing environment is crucial for the survival of living organisms. Transient Receptor Potential (TRP) ion channels comprise a large superfamily of cation conducting membrane proteins that function as molecular sensors in diverse sensory processes including perception of light, taste, smell, sound, touch and temperature. LÄS MER