Results 201 to 210 of about 2,275,576 (232)
Some of the next articles are maybe not open access.
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
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
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
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
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
The Laryngoscope, 1995
AbstractSurgery that eliminates the open radical cavitytakes three forms: obliteration (cavity fill‐in, reconstruction (canal wall defect repair), or ablation (external canal closure). The evolution of each variety is reviewed in detail and a personal series of 240 cases is discussed.
openaire +3 more sources
AbstractSurgery that eliminates the open radical cavitytakes three forms: obliteration (cavity fill‐in, reconstruction (canal wall defect repair), or ablation (external canal closure). The evolution of each variety is reviewed in detail and a personal series of 240 cases is discussed.
openaire +3 more sources
JAMA: The Journal of the American Medical Association, 1982
To the Editor.— The elimination of measles as an indigenous disease in this country seems now to be within our reach. By the time this letter is in print, we may have seen at least one week in which no cases of indigenous measles were reported in the United States.
openaire +3 more sources
To the Editor.— The elimination of measles as an indigenous disease in this country seems now to be within our reach. By the time this letter is in print, we may have seen at least one week in which no cases of indigenous measles were reported in the United States.
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
Elimination and addition-elimination reactions
1996Abstract When two groups are lost from adjacent atoms to form an alkene the process is known as (3-elimination. This type of reaction can be readily divided into two major categories, depending on the species eliminated. Thus, alkenes may be formed by the elimination of H-X (type 1) or X-X (type 2) as shown in Scheme 5.1. Type 1 and type
Andrew D Westwell, Jonathan M J Williams
openaire +1 more source