A vampire is a mythical creature that subsists by feeding on the vital essence (generally in the form of blood) of the living. In European folklore, vampires are undead creatures that often visited loved ones and caused mischief or deaths in the neighbourhoods which they inhabited while they were alive. They wore shrouds and were often described as bloated and of ruddy or dark countenance, markedly different from today's gaunt, pale vampire which dates from the early 19th century. Vampiric entities have been recorded in cultures around the world; the term vampire was popularized in Western Europe after reports of an 18th-century mass hysteria of a pre-existing folk belief in Southeastern and Eastern Europe that in some cases resulted in corpses being staked and people being accused of vampirism. Local variants in Southeastern Europe were also known by different names, such as shtriga in Albania, vrykolakas in Greece and strigoi in Romania.
In modern times, the vampire is generally held to be a fictitious entity, although belief in similar vampiric creatures (such as the chupacabra) still persists in some cultures. Early folk belief in vampires has sometimes been ascribed to the ignorance of the body's process of decomposition after death and how people in pre-industrial societies tried to rationalize this, creating the figure of the vampire to explain the mysteries of death. Porphyria was linked with legends of vampirism in 1985 and received much media exposure, but has since been largely discredited.
The charismatic and sophisticated vampire of modern fiction was born in 1819 with the publication of "The Vampyre" by the English writer John Polidori; the story was highly successful and arguably the most influential vampire work of the early 19th century. Bram Stoker's 1897 novel Dracula is remembered as the quintessential vampire novel and provided the basis of the modern vampire legend, even though it was published after fellow Irish author Joseph Sheridan Le Fanu's 1872 novel Carmilla.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In folklore, a werewolf (), or occasionally lycanthrope ( lukánthrōpos) is an individual who can shape-shift into a wolf (or, especially in modern film, a therianthropic hybrid wolf-like creature), either purposely or after being placed under a curse or affliction (often a bite or the occasional scratch from another werewolf), with the transformations occurring on the night of a full moon. Early sources for belief in this ability or affliction, called lycanthropy, are Petronius (27–66) and Gervase of Tilbury (1150–1228).
Vampire literature covers the spectrum of literary work concerned principally with the subject of vampires. The literary vampire first appeared in 18th-century poetry, before becoming one of the stock figures of gothic fiction with the publication of Polidori's The Vampyre (1819), which was inspired by the life and legend of Lord Byron. Later influential works include the penny dreadful Varney the Vampire (1847); Sheridan Le Fanu's tale of a lesbian vampire, Carmilla (1872), and the most well known: Bram Stoker's Dracula (1897).
Spirit possession is an unusual or an altered state of consciousness and associated behaviors which are purportedly caused by the control of a human body by spirits, ghosts, demons, or gods. The concept of spirit possession exists in many cultures and religions, including Buddhism, Christianity, Haitian Vodou, Dominican Vodou, Hinduism, Islam, Wicca, and Southeast Asian, African, and Native American traditions. Depending on the cultural context in which it is found, possession may be considered voluntary or involuntary and may be considered to have beneficial or detrimental effects on the host.
We describe new extensions of the Vampire theorem prover for computing tree interpolants. These extensions generalize Craig interpolation in Vampire, and can also be used to derive sequence interpolants. We evaluated our implementation on a large number of ...