Atom-Aid: Detecting and Surviving Atomicity Violations

Hardware can play a significant role in improving reliability of multithreaded software. Recent architectural proposals arbitrarily group consecutive dynamic memory operations into atomic blocks to enforce coarse-grained memory ordering, providing implicit atomicity. The authors of this article observe that implicit atomicity probabilistically hides atomicity violations by reducing the number of interleaving opportunities between memory operations. They propose Atom-Aid, which creates implicit atomic blocks intelligently instead of arbitrarily, dramatically reducing the probability that atomicity violations will manifest themselves.     

Using interactive multiobjective methods to solve DEA problems with value judgements

Data envelopment analysis (DEA) is a performance measurement tool that was initially developed without consideration of the decision maker (DM)'s preference structures. Ever since, there has been a wide literature incorporating DEA with value judgements such as the goal and target setting models. However, most of these models require prior judgements on target or weight setting. This paper will establish an equivalence model between DEA and multiple objective linear programming (MOLP) and show how a DEA problem can be solved interactively without any prior judgements by transforming it into an MOLP formulation. Various interactive multiobjective models would be used to solve DEA problems with the aid of PROMOIN, an interactive multiobjective programming software tool. The DM can then search along the efficient frontier to locate the most preferred solution where resource allocation and target levels based on the DM's value judgements can be set. An application on the efficiency analysis of retail banks in the UK is examined. Comparisons of the results among the interactive MOLP methods are investigated and recommendations on which method may best fit the data set and the DM's preferences will be made.     

Fabrication of an Anode-Supported Gadolinium-Doped Ceria Solid Oxide Fuel Cell and Its Operation at 550°C

Ce_0.9Gd_0.1O_{2− x} (CGO) layers were deposited onto nonconductive porous NiO–CGO supports by electrophoretic infiltration, and then compacted by isostatic pressing to achieve a high packing density of the deposited layer. The bilayers were sintered to give dense CGO layers at 1290°C in air. A fuel cell comprising an La_0.6Sr_0.4Co_0.2Fe_0.8O_{3− x} cathode, a 10-μm CGO electrolyte, and a Ni–CGO anode was tested at 550°C with humidified 10% H₂ and air. The cell showed an open circuit voltage of 0.86 V and delivered a steady current of about 470 mA/cm² at a terminal voltage of 0.24 V.     

Redundant Sensor Calibration Monitoring Using Independent Component Analysis and Principal Component Analysis

This paper presents a comparison of methods for industrial on-line sensor calibration monitoring for redundant sensors. Principal component analysis (PCA) and independent component analysis (ICA) techniques are developed and compared using both simulated data and data sets from an operating nuclear power plant. The performance is dependent on the types of noise sources; however, under most conditions ICA outperforms PCA, based on the bias and variance of their respective parameter estimates. A case study is included to demonstrate the usefulness of both techniques for the early detection of sensor drift.     

Simple Penning ion source for laboratory research and development applications

A simple Penning ion generator (PIG) that can be easily fabricated with simple machining skills and standard laboratory accessories is described. The PIG source uses an iron cathode body, samarium cobalt permanent magnet, stainless steel anode, and iron cathode faceplate to generate a plasma discharge that yields a continuous 1 mA beam of positively charged hydrogen ions at 1 mTorr of pressure. This operating condition requires 5.4 kV and 32.4 W of power. Operation with helium is similar to hydrogen. The ion source is being designed and investigated for use in a sealed-tube neutron generator; however, this ion source is thoroughly described so that it can be easily implemented by other researchers for other laboratory research and development applications.     

Calibration of AFM cantilever spring constants

In this paper we present two simple, reliable and readily applicable methods for calibrating cantilevers and measuring the thickness of thin gold films. The spring constant calibration requires knowledge of the Young's modulus, density of the cantilever and resonant frequency. The thickness of thin gold layers was determined by measuring changes in the resonant frequency and Q-factor of beam shaped AFM cantilevers before and after coating.The techniques for measuring the spring constant and thin film thickness provide accuracy on the order of 10-15%.     

Microfluidic switchboards with integrated inertial pumps

Arrays of H-shaped microfluidic channels connecting two different fluidic reservoirs have been built with silicon/SU8 microfabrication technologies utilized in production of thermal inkjet printheads. The fluids are delivered to the channels via slots etched through the silicon wafer. Every H-shaped channel comprises four thermal inkjet resistors, one in each of the four legs. The resistors vaporize water and generate drive bubbles that pump the fluids from the bulk reservoirs into and out of the channels. By varying relative frequencies of the four pumps, input fluids can be routed to any part of the network in any proportion. Several fluidic operations including dilution, mixing, dynamic valving, and routing have been demonstrated. Thus, a fully integrated microfluidic switchboard that does not require external sources of mechanical power has been achieved. A matrix formalism to describe flow in complex switchboards has been developed and tested.     

Forecast aggregation via recalibration

It is known that the average of many forecasts about a future event tends to outperform the individual assessments. With the goal of further improving forecast performance, this paper develops and compares a number of models for calibrating and aggregating forecasts that exploit the well-known fact that individuals exhibit systematic biases during judgment and elicitation. All of the models recalibrate judgments or mean judgments via a two-parameter calibration function, and differ in terms of whether (1) the calibration function is applied before or after the averaging, (2) averaging is done in probability or log-odds space, and (3) individual differences are captured via hierarchical modeling. Of the non-hierarchical models, the one that first recalibrates the individual judgments and then averages them in log-odds is the best relative to simple averaging, with 26.7 % improvement in Brier score and better performance on 86 % of the individual problems. The hierarchical version of this model does slightly better in terms of mean Brier score (28.2 %) and slightly worse in terms of individual problems (85 %).     

Some natural flavonoids are competitive inhibitors of Caspase-1, -3 and -7 despite their cellular toxicity

A common feature of both apoptosis and inflammation is the activation of caspases. Caspases are aspartate-directed cysteine proteases that have numerous cellular targets. It has been discovered that several flavonoids are inhibitors of caspases. Flavonoids are members of a family of polyphenolic compounds from plants that have many biological properties, one of which is the ability to induce cell death. Some flavonoids are selective inhibitors of particular caspases. Since some of the inhibitory flavonoids are nevertheless cytotoxic, these results suggest that flavonoid-induced cell death may be occurring through a non-classical apoptosis pathway that is not dependent on caspase activity.