An experimental setup to determine thermal conductivity and thickness of a gas diffusion layer (GDL) as a function of compression was developed and calibrated. The actual thermal conductivities, based on compressed thickness, of plain Toray TGP-H gas diffusion layer (GDL) at compression pressures of 0.04 to 1.5 MPa and over temperature range of 25 C to 75 C are reported in this paper. The therm...

Every year, the EATCS presents its awards to some of the many outstanding members of the theoretical-computer-science community. These awards put the work of some of our colleagues, as well as the research areas to which they have contributed, in the spotlight and serve as an inspiration for our community at large, and for young researchers in particular. The two survey articles that appear in ...

We present a federated analysis of communication protocols which considers both security properties and timing. These are not entirely independent observations of a protocol; by using timing observations of an executing protocol it is possible to calculate encryption keys which were intended to be secret or to deduce derived information about the nature of the communication even in the presence...

This survey highlights the recent advances in algorithms for numerical linear algebra that have come from the technique of linear sketching, whereby given a matrix, one first compressed it to a much smaller matrix by multiplying it by a (usually) random matrix with certain properties. Much of the expensive computation can then be performed on the smaller matrix, thereby accelerating the solutio...

This paper describes a static analysis for Bio-PEPA models based on the notion of conservation of mass. Failure to obey the law of mass conservation can be an indication that there is an error in the model description. Here we focus on the use of invariant analysis to identify such potential flaws in models. We extend the basic technique to consider open models, in which it is possible to autom...