Learn More
Path dissolution, a rule of inference that operates on formulas in negation normal form and that employs a representation called semantic graphs is introduced. Path dissolution has several advantages in comparison wdh many other reference technologies. In the ground case, lt preserves equivalence and is strongly complete: Any sequence of dissolution steps(More)
Iron is an essential element for normal cellular function and general health. However, iron may play a pathologic role in certain cardiac conditions including reperfusion injury, hemochromatosis, beta-thalassemia and coronary atherosclerosis. It also may play a role in injury due to anthracycline cardiotoxicity. Removal of iron via phlebotomy for(More)
Proliferation of vascular smooth muscle cells (VSMC) is characteristic of restenosis following balloon angioplasty. We show here that a low concentration of a novel iron chelator, desferri-exochelin 772SM, reversibly arrests the growth of human VSMC in vitro, specifically in G(0)/G(1) and S phases. The lipophilic desferri-exochelin is effective more rapidly(More)
Background- Vascular smooth muscle cell (VSMC) proliferation is a critical factor in the neointima formation that causes restenosis after coronary angioplasty (PTCA). Desferri-exochelin 772SM (D-EXO), a highly diffusible, lipophilic iron chelator secreted by Mycobacterium tuberculosis, inhibits proliferation of VSMCs in culture. We hypothesized that(More)
The prime implicate trie (pi-trie) of a logical formula is a tree whose branches are labeled with the prime implicates of the formula. The technology of reduced implicate tries is employed to analyze the structure of pi-tries. Appropriate lemmas and theorems are proved, and an algorithm that builds the pi-trie from a logical formula is developed.(More)
Completeness proofs that generalize the Anderson-Bledsoe excess literal argument are developed for calculi other than resolution. A simple proof of the completeness of regular, connected tableaux for formulas in conjunctive normal form (CNF) is presented. These techniques also provide completeness results for some inference mechanisms that do not rely on(More)
  • Charles L. Vigue, Pierre A. Weisgram, Erik Rosenthal
  • 1982
Drosophila melanogaster larvae were subjected to 10 generations of selection on 6% ethanol at 17, 25, and 30°C. For each temperature there was a significant (P<0.01) increase in the frequency of the Adh isoallele. Controls with no ethanol showed no change in the frequency of the Adh F isoallele. Larvae subjected to stronger selection on 8% ethanol confirmed(More)
STUDY OBJECTIVES To evaluate the efficacy of intravenous regional anesthesia (IVRA) with clonidine in patients with a previous history of complex regional pain syndrome (CRPS) who are undergoing upper extremity hand surgery. DESIGN Prospective, randomized, double-blind study. SETTING Operating suites and Pain Management Center of a large(More)