About: Vampire is a research topic. Over the lifetime, 1155 publications have been published within this topic receiving 9243 citations. The topic is also known as: Sanguis Vitulamen Lycan & vampires.
TL;DR: The Monstrous-Feminine Barbara Creed as discussed by the authors argues that the prototype of all definitions of the monstrous is the female reproductive body and argues that man fears woman as castrator rather than as castrated, questions not only Freudian theories of sexual difference but existing theories of spectatorship and fetishism.
Abstract: In almost all critical writings on the horror film, woman is conceptualised only as victim. In The Monstrous-Feminine Barbara Creed challenges this patriarchal view by arguing that the prototype of all definitions of the monstrous is the female reproductive body. With close reference to a number of classic horror films including the Alien trilogy, The Exorcist and Psycho, Creed analyses the seven `faces' of the monstrous-feminine: archaic mother, monstrous womb, vampire, witch, possessed body, monstrous mother and castrator. Her argument that man fears woman as castrator, rather than as castrated, questions not only Freudian theories of sexual difference but existing theories of spectatorship and fetishism, providing a provocative re-reading of classical and contemporary film and theoretical texts.
TL;DR: The superposition calculus is discussed and the key concepts of saturation and redundancy elimination are explained, present saturation algorithms and preprocessing, and demonstrate how these concepts are implemented in Vampire.
Abstract: In this paper we give a short introduction in first-order theorem proving and the use of the theorem prover Vampire. We discuss the superposition calculus and explain the key concepts of saturation and redundancy elimination, present saturation algorithms and preprocessing, and demonstrate how these concepts are implemented in Vampire. Further, we also cover more recent topics and features of Vampire designed for advanced applications, including satisfiability checking, theory reasoning, interpolation, consequence elimination, and program analysis.
TL;DR: Gelder as mentioned in this paper examines the vampire in all its various manifestations and cultural meanings, from early vampire stories like Sheridan Le Fanu's 'lesbian vampire' tale Carmilla and Bram Stoker's Dracula, the most famous vampire narrative of all, to contemporary American vampire blockbusters by Stephen King and others, the vampire chronicles of Anne Rice, 'post-Ceausescu' vampire narratives, and films such as FW Murnau's Nosferatu, Bram Stokers's Dracula.
Abstract: Insatiable bloodlust, dangerous sexualities, the horror of the undead, uncharted Trannsylvanian wildernesses, and a morbid fascination with the 'other': the legend of the vampire continues to haunt popular imagination. Reading the Vampire examines the vampire in all its various manifestations and cultural meanings. Ken Gelder investigates vampire narratives in literature and in film, from early vampire stories like Sheridan Le Fanu's 'lesbian vampire' tale Carmilla and Bram Stoker's Dracula, the most famous vampire narrative of all, to contemporary American vampire blockbusters by Stephen King and others, the vampire chronicles of Anne Rice, 'post-Ceausescu' vampire narratives, and films such as FW Murnau's Nosferatu and Bram Stoker's Dracula. Reading the Vampire embeds vampires in their cultural contexts, showing vampire narratives feeding off the anxieties and fascinations of their times: from the nineteenth century perils of tourism, issues of colonialism and national identity, and obsessions with sex and death, to the 'queer' identity of the vampire or current vampiric metaphors for dangerous exchanges of bodily fluids and AIDS.