Results 261 to 270 of about 942,536 (317)

Enhancing Detection of Feline Chronic Kidney Disease Through Smart Litter Box Monitoring. [PDF]

open access: yesAnimals (Basel)
Langenfeld-McCoy N   +8 more
europepmc   +1 more source

Dissemination of EFFORT trial results in Indonesia: a stakeholder meeting report on tafenoquine and primaquine for radical cure of Plasmodium vivax. [PDF]

open access: yesMalar J
Pasaribu AP   +38 more
europepmc   +1 more source

Accelerating Nigeria towards malaria elimination requires moving away from business as usual: insights from a political economy analysis. [PDF]

open access: yesInt Health
Chestnutt EG   +7 more
europepmc   +1 more source

Impact of seasonal changes on human onchocerciasis transmission and disease elimination. [PDF]

open access: yesInt Health
Ayisi F   +10 more
europepmc   +1 more source

Prediction of measles elimination in Côte d'Ivoire by 2030. [PDF]

open access: yesJ Public Health Afr
Ekra KD   +3 more
europepmc   +1 more source

Elimination graphs

ACM Transactions on Algorithms, 2009
In this article we study graphs with inductive neighborhood properties. Let P be a graph property, a graph G = ( V, E ) with n vertices is said to have an inductive neighborhood property with respect to P if there is an ...
Yuli Ye, Allan Borodin
openaire   +1 more source

Eliminating Dummy Elimination

2000
This paper is concerned with methods that automatically prove termination of term rewrite systems. The aim of dummy elimination, a method to prove termination introduced by Ferreira and Zantema, is to transform a given rewrite system into a rewrite system whose termination is easier to prove.
Jürgen Giesl, Aart Middeldorp
openaire   +1 more source

Home - About - Disclaimer - Privacy