Abstract. Model checking is a fully automated approach to formal verification. The main problem of model checking is the state explosion. A number of techniques has been introduced to deal with the pr...
This paper addresses the problem of space compaction of test responses of combinational and scan-based sequential circuits. It is shown that given a precomputed test set T , the test responses at the ...
Metabolic and structural changes in cartilage tissue are thought to be at the root of degenerative joint disease. We identify here the NMR resonances in bovine patellar cartilage tissue by static and ...
A method for the selective detection of quadrupolar nuclei located in anisotropic environments is presented. The image contrast can be tuned to the degree of anisotropy in the sample by using frequenc...
We describe an NMR experiment that produces spectra correlating the first-order quadrupolar spectrum and the central transition spectrum of half-integer quadrupolar spins, allowing one to separate the...
In conventional NMR, samples from works of art in sizes above those considered acceptable in the field of art conservation would have to be removed to place them into the bore of large superconducting...