Learn 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)
[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)
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)
(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)
(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)
We used digital in-line soft X-ray holography (DIXH) in the Gabor geometry to image human chromosomes. The divergent wave front was generated by diffraction of synchrotron radiation from a high aspect ratio pinhole. As under our experimental conditions the achievable resolution depends on the pinhole radius, high aspect ratio holes with diameters in the 100(More)
  • 1