A queue based mutual exclusion algorithm

A new elegant and simple algorithm for mutual exclusion of N processes is proposed. It only requires shared variables in a memory model where shared variables need not be accessed atomically. We prove mutual exclusion by reformulating the algorithm as a transition system (automaton), and applying simulation of automata. The proof has been verified with the higher-order interactive theorem prover PVS. Under an additional atomicity assumption, the algorithm is starvation free, and we conjecture that no competing process is passed by any other process more than once. This conjecture was verified by model checking for systems with at most five processes.     

Instability of diatomic deuterium in fcc palladium

To clarify some of the solid-state aspects of cold fusion in deuterated transition metal electrodes, we have carried out first-principles self-consistent total energy calculations for various configurations of atomic and diatomic deuterium inside fcc palladium. We find that the stability of the Pd+D system is controlled by the relative position of the deuterium-inducedantibonding level with respect to the Fermi energy. The equilibrium D-D distance in dense PdD up to =3 is found to be much larger than the free space value. The calculated Born-Oppenheimer energy surface of diatomic D₂ in crystalline palladiuim is shown to have but metastable local minima whose internuclear separation is at least 0.2 Ålarger than that of the isolated D₂ molecule. We conclude that D₂ incrystalline Pd will have a substantially lower tunneling probability than hitherto thought and that explanation for fusion mechanisms should be sought elsewhere.     

Comparison of Glass Vessels and Plastic Bags for Enclosing Living Plant Parts for Headspace Analysis

Plants release volatile chemicals into their surrounding air space that can affect the physiology of neighboring plants and influence the behavior of insects. In studying these interactions, it is desirable to collect volatiles from plants that have not been excised and are growing under as natural conditions as possible. We compared a vessel of borosilicate glass and Nylon-6 or polyester [poly(ethyleneterephthalate) or PET] cooking bags for enclosing plants during collection of volatiles. A push–pull airflow system was used, and volatiles were trapped on Tenax TA and analyzed by gas chromatography after thermal desorption. Low levels of impurities were found for the glass vessel and polyester bags. Nylon bags contained higher levels and more impurities. Recoveries of standards of 10 plant volatiles were measured in static and dynamic systems. In a static air system, there was good recovery only from the glass vessel. In a dynamic system, there was generally good recovery from both the glass vessel and polyester bags. Recoveries of α-pinene and (Z)-jasmone were poor throughout. The former was shown to have a very low breakthrough volume on the Tenax TA adsorbent, and the latter may be strongly adsorbed on glass. All three materials were essentially transparent in the IR and visible (photosynthetic) range but with significantly different absorptions in the UV range. In a simulated dynamic entrainment in full sunlight, internal vessel temperatures were higher than ambient by up to 9.5°C in the glass vessel and 7.5°C in the polyester bag. Lower increases in temperature relative to ambient (<1°C) were recorded when entrainments were conducted in the shade. In a field trial, the profiles of volatiles collected from an apple tree infested with rosy apple aphid using a glass vessel and a polyester bag were similar. Polyester bags are recommended as more convenient than glass vessels for the enclosure of plants during the collection of volatiles.     

Optimal neuronal tuning for finite stimulus spaces

The efficiency of neuronal encoding in sensory and motor systems has been proposed as a first principle governing response properties within the central nervous system. We present a continuation of a theoretical study presented by Zhang and Sejnowski, where the influence of neuronal tuning properties on encoding accuracy is analyzed using information theory. When a finite stimulus space is considered, we show that the encoding accuracy improves with narrow tuning for one- and two-dimensional stimuli. For three dimensions and higher, there is an optimal tuning width.     

Bead-assisted displacement immunoassay for staphylococcal enterotoxin B on a microchip

A microchip-based, displacement immunoassay for the sensitive laser-induced fluorescence detection of staphylococcal enterotoxin B is presented. The glass microchip device consists of a microchannel that contains a double weir structure for supporting antibody-functionalized microbeads. After a 30-min sample preparation step, the displacement assay was performed without user intervention and produced quantitative results in an additional 20 min. Linear detection responses were observed over 6 orders of magnitude and provided detection limits down to 1 fM (28.5 fg/mL). The surprisingly low detection limits are hypothesized to arise from field-based enrichment analogous to field-amplified stacking, chromatographic effects, and limited diffusion lengths in the microbead bed. The assay was challenged with bovine serum albumin, casein, and milk sample matrixes. This system has the potential to provide highly sensitive detection capabilities for target biomolecules.     

Microgravity materials and life sciences research applications of digital holography

We investigate the utility of digital holographic interferometry for analyzing gravity-dependent mass transport phenomena as applicable to materials and life science research topics. Digital holography is useful for measurement of parameters that introduce phase changes in light traversing the material of interest, such as temperature or concentration variations in an aqueous environment. We have constructed, tested, and verified a compact, portable digital holographic monitor (DHM) suitable for characterization of transparent samples. It has proved useful for the study of systems such as protein crystal growth solutions and has been proposed for further application into studies involving microbial metabolism. The DHM is also sufficiently rugged for field operation in challenging environments a s may be encountered in a spacecraft or industrial setting. We discuss some system capabilities and limitations.     

A cooperative protocol for pervasive underwater acoustic networks

Wireless Networks - The novel Underwater Wireless Sensor Network (UWSN) can contribute to monitor and explore aquatic environments. But, communicating in these environments is still hard and has...     

Ultralow loading Pt nanocatalysts prepared by atomic layer deposition on carbon aerogels

Using atomic layer deposition (ALD), we show that Pt nanoparticles can be deposited on the inner surfaces of carbon aerogels (CA). The resultant Pt-loaded materials exhibit high catalytic activity for the oxidation of CO even at loading levels as low as approximately 0.05 mg Pt/cm2. We observe a conversion efficiency of nearly 100% in the 150-250 degrees C temperatures range, and the total conversion rate seems to be limited only by the thermal stability of the CA support in ambient oxygen. The ALD approach described here is universal in nature, and can be applied to the design of new catalytic materials for a variety of applications, including fuel cells, hydrogen storage, pollution control, green chemistry, and liquid fuel production.     

Perfusion in microfluidic cross-flow: separation of white blood cells from whole blood and exchange of medium in a continuous flow

We describe a microfluidic technique for separation of particles and cells and a device that employs this technique to separate white blood cells (WBC) from whole human blood. The separation is performed in cross-flow in an array of microchannels with a deep main channel and large number of orthogonal, shallow side channels. As a suspension of particles advances through the main channel, a perfusion flow through the side channels gradually exchanges the medium of the suspension and washes away particles that are sufficiently small to enter the shallow side channels. The microfluidic device is tested with a suspension of polystyrene beads and is shown to efficaciously exchange the carrier medium while retaining all beads. In tests with whole human blood, the device is shown to reduce the content of red blood cells (RBC) by a factor of approximately 4000 with retention of 98% of WBCs. The ratio between WBCs and RBCs reached at an outlet of the device is 2.4 on average. The device is made of a single cast of poly(dimethylsiloxane) sealed with a cover glass and is simple to fabricate. The proposed technique of separation by perfusion in continuous cross-flow could be used to enrich rare populations of cells based on differences in size, shape, and deformability.