Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
332 Publications
2012 |
Published |
Journal Article |
IST-REx-ID: 243
Quadratic polynomials represented by norm forms
T.D. Browning, R. Heath Brown, Geometric and Functional Analysis 22 (2012) 1124–1190.
View
| DOI
T.D. Browning, R. Heath Brown, Geometric and Functional Analysis 22 (2012) 1124–1190.
2012 |
Published |
Conference Paper |
IST-REx-ID: 6746
A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems
M. Mondelli, Q. Zhou, X. Ma, V. Lottici, in:, 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2012, pp. 2905–2908.
View
| DOI
M. Mondelli, Q. Zhou, X. Ma, V. Lottici, in:, 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2012, pp. 2905–2908.
2012 |
Published |
Journal Article |
IST-REx-ID: 7074
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
View
| DOI
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
2012 |
Published |
Journal Article |
IST-REx-ID: 7308
The carbon electrode in nonaqueous Li–O2 cells
M.M. Ottakam Thotiyl, S.A. Freunberger, Z. Peng, P.G. Bruce, Journal of the American Chemical Society 135 (2012) 494–500.
View
| DOI
M.M. Ottakam Thotiyl, S.A. Freunberger, Z. Peng, P.G. Bruce, Journal of the American Chemical Society 135 (2012) 494–500.
2012 |
Published |
Journal Article |
IST-REx-ID: 7309
Challenges facing Lithium batteries and electrical double-layer capacitors
N.-S. Choi, Z. Chen, S.A. Freunberger, X. Ji, Y.-K. Sun, K. Amine, G. Yushin, L.F. Nazar, J. Cho, P.G. Bruce, Angewandte Chemie International Edition 51 (2012) 9994–10024.
View
| DOI
N.-S. Choi, Z. Chen, S.A. Freunberger, X. Ji, Y.-K. Sun, K. Amine, G. Yushin, L.F. Nazar, J. Cho, P.G. Bruce, Angewandte Chemie International Edition 51 (2012) 9994–10024.
2012 |
Published |
Journal Article |
IST-REx-ID: 7310
A reversible and higher-rate Li-O2 battery
Z. Peng, S.A. Freunberger, Y. Chen, P.G. Bruce, Science 337 (2012) 563–566.
View
| DOI
Z. Peng, S.A. Freunberger, Y. Chen, P.G. Bruce, Science 337 (2012) 563–566.
2012 |
Published |
Journal Article |
IST-REx-ID: 7311
Li–O2 battery with a dimethylformamide electrolyte
Y. Chen, S.A. Freunberger, Z. Peng, F. Bardé, P.G. Bruce, Journal of the American Chemical Society 134 (2012) 7952–7957.
View
| DOI
Y. Chen, S.A. Freunberger, Z. Peng, F. Bardé, P.G. Bruce, Journal of the American Chemical Society 134 (2012) 7952–7957.
2012 |
Published |
Conference Paper |
IST-REx-ID: 762
On the cost of composing shared-memory algorithms
D.-A. Alistarh, R. Guerraoui, P. Kuznetsov, G. Losa, in:, ACM, 2012, pp. 298–307.
View
| DOI
D.-A. Alistarh, R. Guerraoui, P. Kuznetsov, G. Losa, in:, ACM, 2012, pp. 298–307.
2012 |
Published |
Conference Paper |
IST-REx-ID: 763
Early deciding synchronous renaming in O(log f) rounds or less
D.-A. Alistarh, H. Attiya, R. Guerraoui, C. Travers, in:, Springer, 2012, pp. 195–206.
View
| DOI
D.-A. Alistarh, H. Attiya, R. Guerraoui, C. Travers, in:, Springer, 2012, pp. 195–206.
2012 |
Published |
Journal Article |
IST-REx-ID: 764
Of choices, failures and asynchrony: the many faces of set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Algorithmica (New York) 62 (2012) 595–629.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Algorithmica (New York) 62 (2012) 595–629.
2012 |
Published |
Conference Paper |
IST-REx-ID: 766
How to allocate tasks asynchronously
D.-A. Alistarh, M. Bender, S. Gilbert, R. Guerraoui, in:, IEEE, 2012, pp. 331–340.
View
| DOI
D.-A. Alistarh, M. Bender, S. Gilbert, R. Guerraoui, in:, IEEE, 2012, pp. 331–340.
2012 |
Published |
Journal Article |
IST-REx-ID: 767
Generating Fast Indulgent Algorithms
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Theory of Computing Systems 51 (2012) 404–424.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Theory of Computing Systems 51 (2012) 404–424.
2012 |
Published |
Journal Article |
IST-REx-ID: 7748
Environment-dependent selection on mate choice in a natural population of birds
M.R. Robinson, G. Sander van Doorn, L. Gustafsson, A. Qvarnström, Ecology Letters 15 (2012) 611–618.
View
| DOI
M.R. Robinson, G. Sander van Doorn, L. Gustafsson, A. Qvarnström, Ecology Letters 15 (2012) 611–618.
2012 |
Published |
Journal Article |
IST-REx-ID: 7749
Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants
M.R. Robinson, K.U. Mar, V. Lummaa, Ecology Letters 15 (2012) 260–266.
View
| DOI
M.R. Robinson, K.U. Mar, V. Lummaa, Ecology Letters 15 (2012) 260–266.
2012 |
Published |
Journal Article |
IST-REx-ID: 492 |
GiA Roots: Software for the high throughput analysis of plant root system architecture
T. Galkovskyi, Y. Mileyko, A. Bucksch, B. Moore, O. Symonova, C. Price, C. Topp, A. Iyer Pascuzzi, P. Zurek, S. Fang, J. Harer, P. Benfey, J. Weitz, BMC Plant Biology 12 (2012).
[Published Version]
View
| Files available
| DOI
T. Galkovskyi, Y. Mileyko, A. Bucksch, B. Moore, O. Symonova, C. Price, C. Topp, A. Iyer Pascuzzi, P. Zurek, S. Fang, J. Harer, P. Benfey, J. Weitz, BMC Plant Biology 12 (2012).
2012 |
Published |
Journal Article |
IST-REx-ID: 493 |
Review of the BCI competition IV
M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).
[Published Version]
View
| Files available
| DOI
M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).
2012 |
Published |
Journal Article |
IST-REx-ID: 494
Translating to Co-Büchi made tight, unified, and useful
U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012).
View
| DOI
U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012).
2012 |
Published |
Conference Paper |
IST-REx-ID: 495 |
A Myhill Nerode theorem for automata with advice
A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246.
[Published Version]
View
| Files available
| DOI
A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246.
2012 |
Published |
Conference Paper |
IST-REx-ID: 496 |
Interpretations in trees with countably many branches
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
2012 |
Published |
Conference Paper |
IST-REx-ID: 497 |
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.