The potential of single-walled carbon nanotubes (SWCNTs) to outperform silicon in electronic application was finally enabled through selective separation of semiconducting nanotubes from the as-synthesized statistical mix with polymeric dispersants. Such separation methods provide typically high semiconducting purity samples with narrow diameter distribution, i.e. almost single chiralities. But...

In this paper, we study a weak version of quantum nondeterministic communication complexity, corresponding to the most natural generalization of classical nondeterminism, in which a classical proof has to be checked with probability one by a quantum protocol. Another stronger definition of quantum nondeterminism has already been extensively studied, corresponding to the view of quantum nondeter...

This study evaluates the role of shock wave motion on the instability of the plume exiting an over-expanded, convergent-divergent nozzle. An array of wall pressure transducers was used to track the position of the shock in time, and a Pitot probe was used to obtain simultaneous measurement of the total pressure fluctuations at various points in the jet that emerges from the separation shock. An...

The accuracy of immunohistochemical image antigen determination is very important in reporting result immunohistochemical examination. The previous studies [5], [10] have not been succeeded to determine such accuracy. The failure is caused by the characters in the image cells vary widely in shape, size, cell type, outward color appearance, and the huddled cells. EsFuMos method that uses fuzzy i...

The microwave absorbing characteristics of magnetic separation products (magnetic and non-magnetic) of reductive products of ilmenite concentrate were measured by the method of microwave cavity perturbation and the magnetic separation products were characterized by X-Ray Diffraction (XRD). It was demonstrated that metallic iron was a strong microwave absorbing material, while TiO2 was a weak mi...

We present Security Relaxed Separation Logic (SecRSL), a separation logic for proving information-flow security of C11 programs in the Release-Acquire fragment with relaxed accesses. SecRSL is first that (1) supports weak-memory reasoning about high-level language; (2) inherits logic’s virtues compositional, local (3) expressive policies like value-dependent classification. also, to our knowled...

Bacillus thuringiensis and recombinant Escherichia coli proteinaceous protoxins were subject to proteolysis and analyzed by capillary electrokinetic chromatography. Three resulting toxins (65 kDa) were baseline-resolved within 22 min using a 10 mM borate, pH 11 separation buffer consisting of 25 mM sodium dodecyl sulfate (SDS) and 30 mM phytic acid. The toxins displayed differential interaction...