Mixed-mode parallel processing systems are capable of executing in either SIMD (synchronous) or MIMD (asynchronous) mode of parallelism. The ability to switch between the two modes at instruction-level granularity with very little overhead allows the parallelism mode to vary for each portion of an algorithm. To fully exploit the capability of intermixing both SIMD and MIMD operations within a s...

Solid-phase extraction (SPE) procedures were developed for rapid cleanup and determination of thiabendazole and carbendazim in orange, apple, and grape juices. Samples were prepared by using an SPE cartridge containing a mixed-mode sorbent with both reversed-phase and strong cation-exchange chemistries. Analysis was by liquid chromatography with photodiode-array UV detection. Orange juice was a...

Infrared absorption measurements of amorphous and crystalline nanoparticles of GeTe reveal a localized surface plasmon resonance (LSPR) mode in the crystalline phase that is absent in the amorphous phase. The LSPR mode emerges upon crystallization of amorphous nanoparticles. The contrasting plasmonic properties are elucidated with scanning tunneling spectroscopy measurements indicating a Burste...

A stationary SST mode is proposed to understand the physical mechanisms responsible for the phase transition of the El Niño–Southern Oscillation. This stationary SST mode differs from the original delayed oscillator mode and the slow SST mode in the sense that it considers both balanced and unbalanced thermocline depth variations and does not take into account the zonal propagation of SST. With...

Infrared (IR) reflectivity spectra of nominally pure Pb(Zr1-xTix)O3 ceramics with different Ti/Zr concentration (x = 0.42–0.58) were measured and evaluated, along with the time-domain terahertz transmittance spectra in the temperature range 10 K–900 K. The temperature dependence of the low-frequency vibrations, related to Pb atoms, was analyzed in terms of two overdamped modes—a soft mode and a...

A systematic, comprehensive strategy that optimizes sample preparation and chromatography to minimize matrix effects in bioanalytical LC/MS/MS assays was developed. Comparisons were made among several sample preparation methods, including protein precipitation (PPT), liquid-liquid extraction (LLE), pure cation exchange solid-phase extraction (SPE), reversed-phase SPE and mixed-mode SPE. The inf...

Recently, there has been a great deal of interest in the application of formal methods, in particular precise formal notations and automatic analysis tools, for the creation and analysis of artifacts of requirements engineering. In this paper we discuss the role of formal methods in requirements engineering (RE), emphasizing that in contrast to their more conventional application in RE for the ...