Results 261 to 270 of about 942,536 (317)
Enhancing Detection of Feline Chronic Kidney Disease Through Smart Litter Box Monitoring. [PDF]
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]
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]
Chestnutt EG +7 more
europepmc +1 more source
Impact of seasonal changes on human onchocerciasis transmission and disease elimination. [PDF]
Ayisi F +10 more
europepmc +1 more source
Untangling the Reaction Mechanism of the Polysaccharide Lyase PL42 Using QM/MM Metadynamics Simulations. [PDF]
Alonso-Gil S +3 more
europepmc +1 more source
Prediction of measles elimination in Côte d'Ivoire by 2030. [PDF]
Ekra KD +3 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
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
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
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

