We demonstrate effective mixing of microliter droplets using electrically tunable superhydrophobic nanostructured surfaces. By applying electrical voltage and current, droplets can...
Tom Krupenkin, J. Ashley Taylor, Paul Kolodner, Ma...
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...