Results 71 to 80 of about 48,112 (118)
Some of the next articles are maybe not open access.
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 +2 more sources
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 +2 more sources
Eliminating Models During Model Elimination
2021We investigate the integration of SAT technology into clausal connection-tableau systems for classical first-order logic. Clauses present in tableaux during backtracking search are heuristically grounded and added to an incremental SAT solver. If the solver reports an unsatisfiable set of ground clauses at any point, search may be halted and a proof ...
Michael Rawson 0001, Giles Reger
openaire +2 more sources
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 +2 more sources
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 +2 more sources
Science, 2016
In humankind's war against insect-borne disease, Dutch entomologist Bart Knols is one of the most creative ...
openaire +2 more sources
In humankind's war against insect-borne disease, Dutch entomologist Bart Knols is one of the most creative ...
openaire +2 more sources
Human Toxicology, 1987
1 There is a striking discrepancy between the efficacy of the kidneys, haemodialysis and haemoperfusion in removing paraquat from the body and the poor prognosis of paraquat poisoning even when the blood and urine concentrations (which are good indices of concentrations in lung and other tissues) are very low.
C, Bismuth +4 more
openaire +3 more sources
1 There is a striking discrepancy between the efficacy of the kidneys, haemodialysis and haemoperfusion in removing paraquat from the body and the poor prognosis of paraquat poisoning even when the blood and urine concentrations (which are good indices of concentrations in lung and other tissues) are very low.
C, Bismuth +4 more
openaire +3 more sources
Programming and Computer Software, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Complex eliminations; eliminations with rearrangements
1987Complex eliminations proceed with rearrangements. They’occur in most of the different branches of preparative organic chemistry. By relative notations of positions, they are ordered and named in a classifying way, independent from the respective reaction mechanism. Structural peculiarities of particular types are also included and distinguished.
openaire +1 more source
Eliminating Eliminative Materialism
2007In the last three chapters I have attempted to address specific challenges to specific common sense beliefs. I have sought to defuse the arguments supporting the view that it is irrational to believe the conclusions of well-constructed inductive arguments, that the world does not exist independently of our representations of it, and that truth is ...
openaire +1 more source
Pediatrics, 1986
To the Editor.— The Public Health Service deserves enormous credit for its campaign to eliminate measles in the United States. The recent review1 attests to this fact. I must, however, disagree with the conclusion of the article. The glaring omission is that measles is again on the increase.
openaire +2 more sources
To the Editor.— The Public Health Service deserves enormous credit for its campaign to eliminate measles in the United States. The recent review1 attests to this fact. I must, however, disagree with the conclusion of the article. The glaring omission is that measles is again on the increase.
openaire +2 more sources