Filters








1,507 Hits in 2.5 sec

The vampire and the FOOL

Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov
2016 Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016  
This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays.  ...  In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions.  ...  Experimental Results The extension of Vampire to support FOOL and the polymorphic theory of arrays comprises about 3,100 lines of C++ code, of which the translation of FOOL to FOL and FOOL paramodulation  ... 
doi:10.1145/2854065.2854071 dblp:conf/cpp/KotelnikovKRV16 fatcat:rosihs56ybehhl54pkipkkc3tu

Editor's Note

Anders Olsson
2010 American Studies in Scandinavia  
Madigan's approach in "Henry Chinaski, Zen Master: Factotum, the Holy Fool, and the Critique of Work".  ...  And she finds narratives which elaborate vampire conventions and represent the nineteenth century in legacies of the part and its burdens of the present with comments on and assumptions of race, class,  ... 
doi:10.22439/asca.v42i2.4408 fatcat:jcft3o45k5gdvelmm2asu2abvq

The first vampire films in America

Gary D. Rhodes
2017 Palgrave Communications  
Revising the early history of vampires onscreen brings renewed focus to the intrinsic similarities between the supernatural creatures and the cinema.  ...  By making rigorous use of archival materials, this essay tests those assumptions and determines them to be incorrect, while at the same time acknowledging the ambiguity of vampires and early cinema, both  ...  They began at least as early as 1908 with Vampires of the Coast and continued through A Fool There Was (Fox, 1915) and well beyond. 8 The Exploits of Elaine deserves recognition in a discussion of vampire  ... 
doi:10.1057/s41599-017-0043-y fatcat:ckfiqmcc4ngs5mpflausifnf3a

Representation of Marxism in Vampires in Havana

Abdul Aziz Turhan Kariko
2011 Humaniora  
Presentation begins with summary of the story, history and background, ideological concepts, and the movie Vampires in Havana itself.  ...  It is concluded that the film represents ideological disputes between capitalism and Marxism in Cuba, as well as giving an ideal perspective on how the world should work.  ...  We'll be the ones to suck our colleagues dry, not that Terrori." German representative: "Fool! Give me that paper with the formula. Free?!  ... 
doi:10.21512/humaniora.v2i1.3047 fatcat:z5zi7bdemfbjzfmrdwrocjdfmu

Page 23 of Colby Quarterly Vol. 29, Issue 1 [page]

1993 Colby Quarterly  
the waters”; “the shining stag”; “the white hare”; “the fool of Faery.”  ...  that Yeats made when presenting it as a poem: She is older than the rocks among which she sits;/ like the vampire,/ she has been dead many times,/ and learned the secrets of the grave;/ and has been a  ... 

Undressing the Vampire: An Investigation of the Fashion of Sunnydale's Vampires

Robbie Dale
2020 Slayage. The journal of thw Whedon Studies Association  
is therefore at the peak of his vampiric power ("Fool for Love" 5.7).  ...  " experience which acted as a demonstration that he was "through living by society's rules" ("Fool For Love", He adds: "I decided to make a few [rules] of my own" ("Fool For Love", .  ... 
doaj:3aba2f25ea414c618c14e95b957f4e29 fatcat:2ec4fsjsmnhstf2buixlueyfue

Page 195 of Ballou's Monthly Magazine Vol. 13, Issue 2 [page]

1861 Ballou's Monthly Magazine  
-E very fool knows how often he has been a rogue; bnt every rogue does not know how often he has been a fool.  ...  before the next morning, if he ever trod the earth again it should be as a vampire indeed."  ... 

A First Class Boolean Sort in First-Order Theorem Proving and TPTP [chapter]

Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov
2015 Lecture Notes in Computer Science  
We define the syntax and semantics of FOOL and its model-preserving translation to first-order logic.  ...  Finally, we discuss how the TPTP language can be changed to support FOOL.  ...  Using the if-then-else and let-in expressions recently introduced in TPTP and already implemented in Vampire [7] , one can have a linear-size translation instead.  ... 
doi:10.1007/978-3-319-20615-8_5 fatcat:ex4qbbf57vanjdellvzltpf3ji

Page 50 of Ballou's Monthly Magazine Vol. 57, Issue 1 [page]

1883 Ballou's Monthly Magazine  
The girl is not a fool; and, if she once fancies that you are marry¬ ing her for her money, it is all up with you.” " Which I am about to do.” " I dare say.  ...  A grand morning it is too, and old Vampire is in splendid condition. We ’re getting old. Vampire and 1,” Mr. Livingstone added, laughing; "but we ’ve got a great deal of go in us yet.  ... 

Page 532 of The Bibliotheca Sacra Vol. 63, Issue 251 [page]

1906 The Bibliotheca Sacra  
IJuIjr, mars income, after three acts yields to the temptation to become a vampire in society and secure the girl at the same time. “ The Philanderer ” tells the story of two modern young women, both of  ...  Of these, “ Candida ” has to do with a London clergyman of the Christian socialist type, and a poetic young fool of the nobility who makes love to the clergyman’s wife: the minor characters consist of  ... 

Appendix 2 [chapter]

Matthew Pateman
2019 Joss Whedon  
The WB** 7 November, S2E6 Guise Will Be Guise. The WB 14 November, S5E7 Fool For Love. The WB 14 November, S2E7 Darla. The WB 21 November, S5E8 Shadow.  ...  Marvel)* (February, Astonishing X-Men #19 and #20. Marvel)* (March, Buffy the Vampire Slayer Season Eight #1. Dark Horse)* (April, Buffy the Vampire Slayer Season Eight #2.  ...  ABC 12 November, S1E7 The Hub. ABC 19 November, S1E8 The Well. ABC 26 November, S1E9 Repairs. ABC++ 10 December, S1E10 The Bridge. ABC (2014) 7 6 May, S1E21 Rag Tag.  ... 
doi:10.7765/9781526141576.00020 fatcat:vpokfqtc2ngnhn4ogbpsapnbba

Chapter 8: An Algorithmic Ready-made: Trevor Paglen, Adversarially Evolved Hallucination and Eigenface (Even The Dead Are Not Safe) [chapter]

2019 Portraits of Automated Facial Recognition  
game in which the second algorithm attempted to fool the first through the production of adversarial images.  ...  The subject of the image in Vampire (Corpus, Monsters of Capitalism) alludes to Karl Marx's vampire of dead labor: "Capital is dead labour, that, vampire-like, only lives by sucking living labour, and  ... 
doi:10.14361/9783839448465-010 fatcat:4qb2q4wbhbhm3cebtdmdhmjybu

Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version) [article]

Giles Reger and Martin Suda and Andrei Voronkov
2017 arXiv   pre-print
We describe the techniques we currently employ to ensure that Vampire is correct and use this to motivate future challenges that need to be addressed to make this process more straightforward and to achieve  ...  This paper attempts to address the question of how best to assure the correctness of saturation-based automated theorem provers using our experience developing the theorem prover Vampire.  ...  The search space for Vampire is vast, and finding the combination of inputs that triggers a bug is very difficult.  ... 
arXiv:1704.03391v1 fatcat:oq3ex3t2bvhilkvb55aoozwbxa

Horrible histories? Vampire television, period drama and spectacle

Lorna Jowett
2017 Horror Studies  
Vampires are essentially immortal and thus, while contemporary vampire television series are generally set in the present, the epic scale of a vampire's existence affords vast potential for period drama  ...  This article identifies and examines similarities between vampire television and period drama, and the ways in which the combination of two sets of televisual conventions both mesh harmoniously and produce  ...  They play at period, choosing to dress appropriately 'in character' to fool their victims, sometimes to the point of cliché ('What's with the Catholic schoolgirl look?'  ... 
doi:10.1386/host.8.2.313_1 fatcat:f6wela6oofcx5jdttyp2up4sia

Secure Transmission against Vampire Attack using Wireless Adhoc Sensor Network

Shubhangi Pokharkar, Veeresh G.
2015 International Journal of Computer Applications  
Vampire attacks are stubborn to detect, disastrous and are easy to carry out using as few as one network wide energy usage. These affect on OS and suddenly break the function.  ...  are caused by vampire attack.  ...  Whenever data transmitted, it has to travel in the honest route, and it will mitigate the vampire attack.  ... 
doi:10.5120/ijca2015905870 fatcat:sm76xvfizvdtnlxfubr3jfcs44
« Previous Showing results 1 — 15 out of 1,507 results