Results 111 to 120 of about 82,437 (264)
HOL(y)Hammer: Online ATP Service for HOL Light
, 2013 HOL(y)Hammer is an online AI/ATP service for formal (computer-understandable) mathematics encoded in the HOL Light system. The service allows its users to upload and automatically process an arbitrary formal development (project) based on HOL Light, and ...
Kaliszyk, Cezary, Urban, Josef
core +1 more source
Molecular Ecology, Volume 35, Issue 7, April 2026.ABSTRACT Host species have evolved different strategies for dealing with parasites. ‘Vulnerable’ hosts, which suffer reduced fitness from parasites, are under selection to evolve defences. ‘Tolerant’ hosts, by contrast, avoid reductions in fitness by mitigating parasite damage.
Matthew M. Waller +3 more
wiley +1 more source
Does Mouth-Licking In Vampire Bats Serve Other Functions Besides Food Sharing? [PDF]
Animal Behavior and CognitionRegurgitated food sharing in vampire bats is a cooperative behavior that has garnered scientific interest as an example of reciprocal helping among kin and non-kin. The amount of food given is estimated via the duration of mouth-licking.
Tatyana Sopka +2 more
doaj +1 more source
Forever young, Though Forever Changing: Evolution of the Vampire [PDF]
, 2016 The enduring influence of the vampire myth on many young people today reveals the relevance of one of the nineteenth century’s most powerful surviving archetypes.
Lima, Maria Antónia
core
Temporal patterns of vampire bat rabies and host connectivity in Belize
bioRxiv, 2020 In the Neotropics, vampire bats (Desmodus rotundus) are the main reservoir host for rabies, a highly fatal encephalitis caused by viruses in the genus Lyssavirus. Although patterns of rabies virus exposure and infection have been well-studied for vampire
Daniel J. Becker +9 more
semanticscholar +1 more source
Crystal Engineering of Reticular Materials for Gas‐ and Liquid‐Phase Hydrocarbon Separation
Advanced Materials, Volume 38, Issue 16, 17 March 2026.Crystal engineering enables systematic study of structure/function relationships as exemplified by pore engineering of reticular sorbents, including porous coordination networks and covalent organic frameworks. This review assesses such studies applied across the full scope of industrially relevant hydrocarbon separations to provide insight into how ...
Xia Li +2 more
wiley +1 more source
Resuscitating the Undead Queer in Stephanie Meyer’s Twilight Saga
Journal of Popular Romance Studies, 2016 Broadly, this is an article about queerness and its relationship to Stephanie Meyer’s gothic romance series, Twilight—a narrative about a supposedly odd and out-of-place girl meeting and falling in love with a vampire (or, more appropriately, a rich ...
Jami McFarland
doaj
Marx's Concept of Justice: Disambiguating Capitalist and Communist Justice
Journal of Social Philosophy, EarlyView.
Gregory Slack
wiley +1 more source
DNA Retention in Sea Lamprey Digestive Tracts: Insights From Controlled Feeding Experiments
Environmental DNA, Volume 8, Issue 2, March/April 2026.Host DNA from a single species was detected via DNA metabarcoding from sea lamprey digestive tracts up to 30 days post‐feeding at 5°C, 10°C, and 15°C. Multiple previous host species could be detected from a single lamprey up to 30 days after fasting at 10°C.
Conor O'Kane +6 more
wiley +1 more source
Splitting Proofs for Interpolation
, 2017 We study interpolant extraction from local first-order refutations. We present a new theoretical perspective on interpolation based on clearly separating the condition on logical strength of the formula from the requirement on the com- mon signature ...
A Cimatti +14 more
core +2 more sources