This paper presents a secure and flexible Mix-net that has the following properties; it efficiently handles long plaintexts that exceed the modulus size of underlying public-key e...
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
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...