Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Bruce T. Smith"'
Publikováno v:
Canadian Journal of Physiology and Pharmacology. 70:338-343
Effects of cocaine administration on lipid peroxidation and liver damage in immunocompromised mice fed different levels of dietary proteins were investigated. Indices of lipid peroxidation and serum aminotransferases as evidence of free radical attac
Autor:
Donald W. Loveland, Bruce T. Smith
Publikováno v:
9th International Conference on Automated Deduction ISBN: 354019343X
CADE
CADE
A pilot implementation of near-Horn Prolog (nH-Prolog) has been in use at Duke University since this pas t summer (1987). Based on the system outlined in Loveland [1], the system is wri t ten in Quintus Prolog and runs on a VAX 8650. Its speed result
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2dabf92fa354e0a9519aef9cdce0eb7f
https://doi.org/10.1007/bfb0012888
https://doi.org/10.1007/bfb0012888
Publikováno v:
Extensions of Logic Programming ISBN: 354055498X
ELP
ELP
This paper presents an overview of the near-Horn Prolog project at Duke University. The basic goal behind this project has been to extend Prolog to disjunctive logic programs (and thus full first-order expressibility) while retaining as much of the c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d0f718e3bc4f8385021aa0283dfc6563
https://doi.org/10.1007/bfb0013613
https://doi.org/10.1007/bfb0013613
Publikováno v:
The American journal of clinical nutrition. 65(6)
Quantitative relations between dietary fat and cholesterol and plasma lipid concentrations have been the subject of much study and some controversy during the past 40 y. Previous meta-analyses have focused on the most tightly controlled, highest-qual
Autor:
Bruce T, Smith
Publikováno v:
The Air Force law review. 37
Autor:
Bruce T. Smith, Wanda H. Howell
Publikováno v:
Journal of Parenteral and Enteral Nutrition. 17:194-194
Autor:
Bruce T. Smith, R. Kent Dybvig
Publikováno v:
ACM SIGPLAN Notices. 20:74-82
We describe an interactive tool for program development and transformation, a semantic editor. The domain of the semantic editor is Backus's FP programming language. The editor facilitates manipulation of FP program schemas by the meaning-preserving
Publikováno v:
Journal of the ACM. 35:603-634
The problem of realizing an idealized parallel architecture on a (possibly fault-laden) physical architecture is studied. Our formulation performs the mapping in the light of the algorithm that one wants to implement on the idealized architecture. A
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.