Sökning: "vampire"

Visar resultat 1 - 5 av 8 avhandlingar innehållade ordet vampire.

  1. 1. Vampyrer : En kulturkritisk studie av den västerländska vampyrberättelsen från 1700-talet till 2000-talet

    Detta är en avhandling från Växjö : Växjö University Press

    Författare :Anna Höglund; Växjö universitet.; [2009]
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; vampire; vampires; power; literature; film; popular culture; consumer culture; gender; vampyr; vampyrer; makt; litteratur; film; populärkultur; konsumtionskultur; genus; HUMANITIES and RELIGION Aesthetic subjects Literature; HUMANIORA och RELIGIONSVETENSKAP Estetiska ämnen Litteraturvetenskap; HUMANITIES and RELIGION History and philosophy subjects History subjects History of science and ideas; HUMANIORA och RELIGIONSVETENSKAP Historisk-filosofiska ämnen Historieämnen Idé- o lärdomshistoria; Comparative literature; Litteraturvetenskap;

    Sammanfattning : Vampires haunt our culture. They live amongst us, they live with us, and very likely, they live for us. Considering the never fading popularity of vampires, it is obvious that these beings satisfy some kind of basic human need. LÄS MER

  2. 2. Automated Theorem Proving with Extensions of First-Order Logic

    Detta är en avhandling från ; Chalmers tekniska högskola; Gothenburg

    Författare :Evgenii Kotelnikov; [2018]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; clausal normal form; Program Verification; automated theorem proving; program analysis; TPTP; Vampire; first-order logic;

    Sammanfattning : Automated theorem provers are computer programs that check whether a logical conjecture follows from a set of logical statements. The conjecture and the statements are expressed in the language of some formal logic, such as first-order logic. LÄS MER

  3. 3. Automated Theorem Proving in a First-Order Logic with First class Boolean Sort

    Detta är en avhandling från ; Chalmers tekniska högskola; Gothenburg

    Författare :Evgenii Kotelnikov; [2016]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; first-order logic; program analysis; program verification; TPTP; automated theorem proving; Vampire;

    Sammanfattning : Automated theorem proving is one of the central areas of computer mathematics. It studies methods and techniques for establishing validity of mathematical problems using a computer. The problems are expressed in a variety of formal logics, including first-order logic. LÄS MER

  4. 4. Strindberg och skräcken : Skräckmotiv och identitetstematik i August Strindbergs författarskap

    Detta är en avhandling från Stockholm : Institutionen för litteraturvetenskap och idéhistoria

    Författare :Henrik Johnsson; Stockholms universitet.; [2009]
    Nyckelord :HUMANIORA; HUMANITIES; August Strindberg; Doppelgänger; Edgar Allan Poe; E.T.A. Hoffmann; fantasy; ghost; homunculus; horror; identity; vampire; HUMANITIES and RELIGION Aesthetic subjects Literature; HUMANIORA och RELIGIONSVETENSKAP Estetiska ämnen Litteraturvetenskap; litteraturvetenskap; History of Literature;

    Sammanfattning : The subject of this dissertation is the theme of identity in the works of August Strindberg and how this theme is explored through the use of motifs drawn from the literature of horror and fantasy as well as Swedish folklore. The theme deals with how the individual’s identity is shaped and what it consists of, and how it can be manipulated, stolen or lost through interaction with other people. LÄS MER

  5. 5. Monsterkroppar Transformation, transmedialitet och makeoverkultur

    Detta är en avhandling från Stockholm : Institutionen för mediestudier, Stockholms universitet

    Författare :Kristina Stenström; Stockholms universitet.; [2015]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; transmedia; audience; television; embodied spectatorship; makeover culture; late modernity; monstrosity; monster; vampire; zombie; transmedia; publik; television; förkroppsligat åskådarskap; makeoverkultur; senmodernitet; monstrositet; monster; vampyr; zombie; medie- och kommunikationsvetenskap; Media and Communication Studies;

    Sammanfattning : This study offers insights into the motif of monstrous corporality in a transmedia environment, through the vampire and zombie characters. Different narratives of corporeal transformation surround us constantly. LÄS MER