Quantitative empirical analysis has been used in several works, over the past decade or so, to identify correlates of states motivation for pursuing military nuclear technology. Nelson and Sprecher used such methodology to identify various national attributes that correlate to states peaceful use of nuclear power for electricity generation, which was termed as “Nuclear Reliance.” The major init...

1. A method is described for the preparation of a highly purified ascorbic acid oxidase containing 0.24 per cent copper. 2. Using comparable activity measurements, this oxidase is about one and a half times as active on a dry weight basis as the hitherto most highly purified preparation described by Lovett-Janison and Nelson. The latter contained 0.15 per cent copper. 3. The oxidase activity is...

A tableau calculus for a logic with constructive negation and an implementation of the related decision procedure is presented. This logic is an extension of Nelson logic and it has been used in the framework of program verification and timing analysis of combinatorial circuits. The decision procedure is tailored to shrink the search space of proofs and it is proved correct by using a semantica...