The Beating Mechanism (2nd Report)

2nd Year Dphil Report

2nd Annual Report on Strees

The 2nd Verified Software Competition: Experience Report

We report on the second verified software competition. It was organized by the three authors on a 48 hours period on November 8–10, 2011. This paper describes the competition, presents the five problems that were proposed to the participants, and gives an overview of the solutions sent by the 29 teams that entered the competition.

On the mechanism of oscillations in the "beating mercury heart".

The discovery of a class of electrochemical-mechanical oscillators-similar to the beating mercury heart -are reported and characterized. Chemical and physical effects on the voltage-time oscillations in these systems have been measured and a mechanism consistent with these effects is given. Interesting cross-catalytic effects involving the electrocapillarity of mercury are proposed to be the or...

Report from the 2nd Workshop on Extremely Large Databases

The complexity and sophistication of large scale analytics in science and industry have advanced dramatically in recent years. Analysts are struggling to use complex techniques such as time series analysis and classification algorithms because their familiar, powerful tools are not scalable and cannot effectively use scalable database systems. The 2 Extremely Large Databases (XLDB) workshop was...