@article{7309, abstract = {Energy‐storage technologies, including electrical double‐layer capacitors and rechargeable batteries, have attracted significant attention for applications in portable electronic devices, electric vehicles, bulk electricity storage at power stations, and “load leveling” of renewable sources, such as solar energy and wind power. Transforming lithium batteries and electric double‐layer capacitors requires a step change in the science underpinning these devices, including the discovery of new materials, new electrochemistry, and an increased understanding of the processes on which the devices depend. The Review will consider some of the current scientific issues underpinning lithium batteries and electric double‐layer capacitors.}, author = {Choi, Nam-Soon and Chen, Zonghai and Freunberger, Stefan Alexander and Ji, Xiulei and Sun, Yang-Kook and Amine, Khalil and Yushin, Gleb and Nazar, Linda F. and Cho, Jaephil and Bruce, Peter G.}, issn = {1433-7851}, journal = {Angewandte Chemie International Edition}, number = {40}, pages = {9994--10024}, publisher = {Wiley}, title = {{Challenges facing Lithium batteries and electrical double-layer capacitors}}, doi = {10.1002/anie.201201429}, volume = {51}, year = {2012}, } @article{7310, abstract = {The rechargeable nonaqueous lithium-air (Li-O2) battery is receiving a great deal of interest because, theoretically, its specific energy far exceeds the best that can be achieved with lithium-ion cells. Operation of the rechargeable Li-O2 battery depends critically on repeated and highly reversible formation/decomposition of lithium peroxide (Li2O2) at the cathode upon cycling. Here, we show that this process is possible with the use of a dimethyl sulfoxide electrolyte and a porous gold electrode (95% capacity retention from cycles 1 to 100), whereas previously only partial Li2O2 formation/decomposition and limited cycling could occur. Furthermore, we present data indicating that the kinetics of Li2O2 oxidation on charge is approximately 10 times faster than on carbon electrodes.}, author = {Peng, Z. and Freunberger, Stefan Alexander and Chen, Y. and Bruce, P. G.}, issn = {0036-8075}, journal = {Science}, number = {6094}, pages = {563--566}, publisher = {AAAS}, title = {{A reversible and higher-rate Li-O2 battery}}, doi = {10.1126/science.1223985}, volume = {337}, year = {2012}, } @article{7311, abstract = {Stability of the electrolyte toward reduced oxygen species generated at the cathode is a crucial challenge for the rechargeable nonaqueous Li–O2 battery. Here, we investigate dimethylformamide as the basis of an electrolyte. Although reactions at the O2 cathode on the first discharge–charge cycle are dominated by reversible Li2O2 formation/decomposition, there is also electrolyte decomposition, which increases on cycling. The products of decomposition at the cathode on discharge are Li2O2, Li2CO3, HCO2Li, CH3CO2Li, NO, H2O, and CO2. Li2CO3 accumulates in the electrode with cycling. The stability of dimethylformamide toward reduced oxygen species is insufficient for its use in the rechargeable nonaqueous Li–O2 battery.}, author = {Chen, Yuhui and Freunberger, Stefan Alexander and Peng, Zhangquan and Bardé, Fanny and Bruce, Peter G.}, issn = {0002-7863}, journal = {Journal of the American Chemical Society}, number = {18}, pages = {7952--7957}, publisher = {ACS}, title = {{Li–O2 battery with a dimethylformamide electrolyte}}, doi = {10.1021/ja302178w}, volume = {134}, year = {2012}, } @inproceedings{762, abstract = {Decades of research in distributed computing have led to a variety of perspectives on what it means for a concurrent algorithm to be efficient, depending on model assumptions, progress guarantees, and complexity metrics. It is therefore natural to ask whether one could compose algorithms that perform efficiently under different conditions, so that the composition preserves the performance of the original components when their conditions are met. In this paper, we evaluate the cost of composing shared-memory algorithms. First, we formally define the notion of safely composable algorithms and we show that every sequential type has a safely composable implementation, as long as enough state is transferred between modules. Since such generic implementations are inherently expensive, we present a more general light-weight specification that allows the designer to transfer very little state between modules, by taking advantage of the semantics of the implemented object. Using this framework, we implement a composed longlived test-and-set object, with the property that each of its modules is asymptotically optimal with respect to the progress condition it ensures, while the entire implementation only uses objects with consensus number at most two. Thus, we show that the overhead of composition can be negligible in the case of some important shared-memory abstractions.}, author = {Alistarh, Dan-Adrian and Guerraoui, Rachid and Kuznetsov, Petr and Losa, Giuliano}, pages = {298 -- 307}, publisher = {ACM}, title = {{On the cost of composing shared-memory algorithms}}, doi = {10.1145/2312005.2312057}, year = {2012}, } @inproceedings{763, abstract = {Renaming is a fundamental problem in distributed computing, in which a set of n processes need to pick unique names from a namespace of limited size. In this paper, we present the first early-deciding upper bounds for synchronous renaming, in which the running time adapts to the actual number of failures f in the execution. We show that, surprisingly, renaming can be solved in constant time if the number of failures f is limited to O(√n), while for general f ≤ n - 1 renaming can always be solved in O(log f) communication rounds. In the wait-free case, i.e. for f = n - 1, our upper bounds match the Ω(log n) lower bound of Chaudhuri et al. [13].}, author = {Alistarh, Dan-Adrian and Attiya, Hagit and Guerraoui, Rachid and Travers, Corentin}, pages = {195 -- 206}, publisher = {Springer}, title = {{Early deciding synchronous renaming in O(log f) rounds or less}}, doi = {10.1007/978-3-642-31104-8_17}, volume = {7355 LNCS}, year = {2012}, }