Sökning: "Vampire"

Visar resultat 1 - 5 av 9 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

   Författare :Anna Höglund; Lars Elleström; Lisbeth Larsson; Yvonne Leffler; Växjö universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; vampire; vampires; power; literature; film; popular culture; consumer culture; gender; vampyr; vampyrer; makt; litteratur; film; populärkultur; konsumtionskultur; genus; Literature; Litteraturvetenskap; History of science and ideas; 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

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

   Författare :Evgenii Kotelnikov; Chalmers tekniska högskola; []
   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

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

   Författare :Evgenii Kotelnikov; Chalmers tekniska högskola; []
   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

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

   Författare :Henrik Johnsson; Göran Rossholm; Ola Holmgren; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; August Strindberg; Doppelgänger; Edgar Allan Poe; E.T.A. Hoffmann; fantasy; ghost; homunculus; horror; identity; vampire; Literature; 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

7. 5. Monsterkroppar : Transformation, transmedialitet och makeoverkultur

   Författare :Kristina Stenström; Anja Hirdman; Kristina Riegert; Thomas Johansson; Stockholms universitet; []
   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; Media and Communication Studies; medie- och kommunikationsvetenskap;

   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