Self-mutilation is defined as intentional damaging of the body without intention to die. Patients with borderline personality disorder frequently mutilate themselves by means of cutting, burning and abrading their skin. In this case report, a patient with borderline personality disorder is described who has cut his skin and suck his blood Several times. He had also the history of killing pigeon...

Boyer and Moore’s ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being used for large programs, ACL2 forces programmers to rely on manually maintained protocols for managing modularity. In this paper, we present a prototype of Modular ACL2. The system extends ACL2 with a simple, but pragmatic function...

Within fantastic and horror cinema, the technique of superimposing images has played a fundamental role since its inception when it comes to representing supernatural. In this text we will focus on adaptations Bram Stoker’s Dracula in range vampire films, which, starting with Murnau’s Nosferatu (Nosferatu, eine Symphonie des Grauens, 1922), have their own peculiarities use superimposition as vi...