Results 271 to 280 of about 942,536 (317)
Some of the next articles are maybe not open access.
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 +1 more source
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
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
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
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
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
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
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 +4 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 +4 more sources