Results 131 to 140 of about 82,437 (264)

The Vampire and the FOOL

, 2015
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.
Barrett C., Barrett C., Baumgartner P., Benzmüller C., de Moura L. M., Gupta A., Kotelnikov E., Reynolds A., Schulz S., Sutcliffe G., Sutcliffe G.   +10 more
core   +2 more sources

Diversity of Ehrlichia spp., Anaplasma spp. and Neorickettsia spp. in vampire bats

Current Research in Parasitology and Vector-Borne Diseases
Although bats (Mammalia: Chiroptera) act as natural reservoirs for many zoonotic pathogens around the world, few studies have investigated the occurrence of Anaplasmataceae agents in bats, especially vampire bats.
Victória Valente Califre de Mello, Laryssa Borges de Oliveira, Taciana Fernandes Souza Barbosa Coelho, Daniel Antonio Braga Lee, Lorena Freitas das Neves, Eliz Oliveira Franco, Anna Claudia Baumel Mongruel, Rosangela Zacarias Machado, Marcos Rogério André   +8 more
doaj   +1 more source

On the density of nice Friedmans [PDF]

, 2013
A Friedman number is a positive integer which is the result of an expression combining all of its own digits by use of the four basic operations, exponentiation and digit concatenation.
Brand, Michael
core  

Arachne Challenges Minerva: The Spinning Out of Long Narrative in World of Warcraft and Buffy the Vampire Slayer [PDF]

, 2007
My focus here is to explore the ways in which World of Warcraft can be said to have a long narrative. Core to my argument is that 'worldness' is key to understanding how it is that long narrative can be sustained and make sense.
Krzywinska, T
core  

Vampire Plants? [PDF]

The Plant Cell, 1998
openaire   +2 more sources

Safe Sex with Defanged Vampires: New Vampire Heroes in Twilight and the Southern Vampire Mysteries

Journal of Popular Romance Studies, 2011
Stephanie Meyer’s Twilight saga and Charlaine Harris’s Southern Vampire Mysteries both portray a romance between a human female and a male vampire, borrowing many conventions from romance novels and Gothic fiction.
Chiho Nakagawa
doaj  

Fuzzy computation on ensemble deep network for the performance of vampire attack detection model in WSN

EURASIP Journal on Wireless Communications and Networking
Context Wireless sensor network (WSN) is susceptible to vampire attacks. It is a type of denial of service (DoS) attack that drains sensor nodes’ energy, leading to network failure. The study addresses the challenge by detecting these attacks to conserve
M. Sudha, Rajesh Arunachalam, A. Karthikayen, V. Sumanth   +3 more
doaj   +1 more source

Outbreak of aggressions and transmission of rabies in human beings by vampire bats in northeastern Brazil

Revista da Sociedade Brasileira de Medicina Tropical, 2002
Outbreaks of attacks upon human beings by vampire bats seems to be a common phenomenon in several regions of Latin America, but the occurrence of rabies infection among humans bled by vampires, is relatively low.
Marcio A.S. Gonçalves, Raymundo J. Sá-Neto, Tania K. Brazil   +2 more
doaj  

Unsettling suburbia: The new landscape of oil and mortgage vulnerability in Australian cities [PDF]

Fuel and mortgage VAMPIRE sucks households dry The devastating impact of soaring fuel and mortgage prices on Australian households is graphically revealed in the new Griffith University Urban Research Program VAMPIRE index.
Jago Dodson, Neil Sipe
core  

Cryptomimetic tropes in Yoshitomo Nakura’s Batman: Death Mask [PDF]

This article discusses the gothic and science fiction influences apparent in Yoshinori Natsume’s Batman: Death Mask with reference to the Derridean notion of the crypt and Jodey Castricano’s linguistic/structural model of cryptomimesis.
Round, Julia
core