Learn More
[17] J S. Moore. Mechanically veried hardware implementing an 8-bit parallel io byzantine agreement processor.mal system design-interactive synthesis based on computer-assisted formal reasoning. [10] M.J.C. Gordon. Why higher-order logic is a good formalism for specifying and verifying hardware. A Formal HDL and its use in the FM9001 Verication Technical(More)
We give combinatorial proofs of three identities, each of which generalizes Weyl's denominator formula for two of the three root systems Bn, Cn, Dn. Two of the three identities are due to S. Okada; the third appears in the author's doctoral thesis, upon which this work is based. Each of the identities we prove has a \sum side" and a \product side"; both(More)
(NRRI) with funding provided by participating member commissions of the National Association of Regulatory Utility Commissioners (NARUC). The views and opinions of the author do not necessarily state or reflect the views, opinions, or policies of the NRRI, NARUC, or NARUC member commissions. The Safe Drinking Water Act Amendments of 1996 made fundamental(More)
The effect of butylated hydroxytoluene (BHT) on adriamycin (ADR)-induced skin ulcers was investigated using rats. The application of BHT reduced the size of the skin ulcers by the following amounts: topical application (20%); intradermal injection (50%); repeated applications of BHT (82%). Additional studies are required to determine if BHT will be a(More)
Digital in-line soft x-ray holography (DIXH) was used to image immobilized polystyrene and iron oxide particles and to distinguish them based on their different x-ray absorption cross sections in the vicinity of the carbon K-absorption edge. The element-specific information from the resonant DIXH images was correlated with high-resolution scanning electron(More)
Archival temporal bone collections are an invaluable resource for studying the molecular genetics of many types of otopathology. The irreplaceable nature of temporal bone sections makes efficiency of DNA extraction of paramount importance. Several protocols are available for extracting DNA from fresh and preserved tissue. To establish the best protocol for(More)
(NRRI) with funding provided by participating member commissions of the National Association of Regulatory Utility Commissioners (NARUC). The views and opinions of the authors do not necessarily state or reflect the views, opinions, or policies of the NRRI, NARUC, or NARUC member commissions. Nor do they state or reflect favor of any particular product,(More)