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.
7091 Publications
2015 | Published | Conference Paper | IST-REx-ID: 1481 | 
Automatic generation of alternative starting positions for simple traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI Press, 2015, pp. 745–752.
View
| Files available
| Download None (ext.)
| arXiv
U. Ahmed, K. Chatterjee, S. Gulwani, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI Press, 2015, pp. 745–752.
2015 | Published | Conference Paper | IST-REx-ID: 1670 |
PDDL+ planning with hybrid automata: Foundations of translating must behavior
S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle, in:, AAAI Press, 2015, pp. 42–46.
View
| Download None (ext.)
S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle, in:, AAAI Press, 2015, pp. 42–46.
2015 | Published | Conference Paper | IST-REx-ID: 1425 |
Lifelong learning with non-i.i.d. tasks
A. Pentina, C. Lampert, in:, Neural Information Processing Systems Foundation, 2015, pp. 1540–1548.
View
| Download None (ext.)
A. Pentina, C. Lampert, in:, Neural Information Processing Systems Foundation, 2015, pp. 1540–1548.
2015 | Published | Conference Paper | IST-REx-ID: 1424 |
Statistical topological data analysis-A kernel perspective
R. Kwitt, S. Huber, M. Niethammer, W. Lin, U. Bauer, in:, Neural Information Processing Systems Foundation, 2015, pp. 3070–3078.
[Submitted Version]
View
| Download Submitted Version (ext.)
R. Kwitt, S. Huber, M. Niethammer, W. Lin, U. Bauer, in:, Neural Information Processing Systems Foundation, 2015, pp. 3070–3078.
2015 | Published | Journal Article | IST-REx-ID: 19805 |
Nearly free electrons in a 5d delafossite oxide metal
P. Kushwaha, V. Sunko, P.J.W. Moll, L. Bawden, J.M. Riley, N. Nandi, H. Rosner, M.P. Schmidt, F. Arnold, E. Hassinger, T.K. Kim, M. Hoesch, A.P. Mackenzie, P.D.C. King, Science Advances 1 (2015).
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Kushwaha, V. Sunko, P.J.W. Moll, L. Bawden, J.M. Riley, N. Nandi, H. Rosner, M.P. Schmidt, F. Arnold, E. Hassinger, T.K. Kim, M. Hoesch, A.P. Mackenzie, P.D.C. King, Science Advances 1 (2015).
2015 | Published | Conference Paper | IST-REx-ID: 1689 |
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.
2015 | Published | Conference Paper | IST-REx-ID: 1667 |
Optimizing performance of continuous-time stochastic systems using timeout synthesis
T. Brázdil, L. Korenčiak, J. Krčál, P. Novotný, V. Řehák, 9259 (2015) 141–159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Brázdil, L. Korenčiak, J. Krčál, P. Novotný, V. Řehák, 9259 (2015) 141–159.
2015 | Published | Journal Article | IST-REx-ID: 1693 |
Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3
P. Amaro, B. Franke, J. Krauth, M. Diepold, F. Fratini, L. Safari, J. Machado, A. Antognini, F. Kottmann, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Amaro, B. Franke, J. Krauth, M. Diepold, F. Fratini, L. Safari, J. Machado, A. Antognini, F. Kottmann, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).
2015 | Published | Conference Paper | IST-REx-ID: 1685 |
A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.
2015 | Published | Journal Article | IST-REx-ID: 1688 |
Bounds for Pach's selection theorem and for the minimum solid angle in a simplex
R. Karasev, J. Kynčl, P. Paták, Z. Patakova, M. Tancer, Discrete & Computational Geometry 54 (2015) 610–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Karasev, J. Kynčl, P. Paták, Z. Patakova, M. Tancer, Discrete & Computational Geometry 54 (2015) 610–636.
2015 | Published | Journal Article | IST-REx-ID: 1695 |
Evaluation techniques for Gutzwiller wave functions in finite dimensions
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physica Status Solidi (B): Basic Solid State Physics 252 (2015) 2059–2071.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physica Status Solidi (B): Basic Solid State Physics 252 (2015) 2059–2071.
2015 | Published | Journal Article | IST-REx-ID: 1682 |
Robust satisfiability of systems of equations
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
2015 | Published | Journal Article | IST-REx-ID: 1674 |
Edge universality for deformed Wigner matrices
J. Lee, K. Schnelli, Reviews in Mathematical Physics 27 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Lee, K. Schnelli, Reviews in Mathematical Physics 27 (2015).
2015 | Published | Journal Article | IST-REx-ID: 1505 |
Universality for the largest eigenvalue of sample covariance matrices with general population
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
2015 | Published | Conference Paper | IST-REx-ID: 1483 |
A stable multi-scale kernel for topological machine learning
J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.
2015 | Published | Conference Paper | IST-REx-ID: 1495 |
Relaxed disk packing
H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.
[Submitted Version]
View
| Download Submitted Version (ext.)
| arXiv
H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.
2015 | Published | Journal Article | IST-REx-ID: 1572 |
Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.
2015 | Published | Journal Article | IST-REx-ID: 1547 |
Resolution of unmixed bipartite graphs
F. Mohammadi, S. Moradi, Bulletin of the Korean Mathematical Society 52 (2015) 977–986.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Mohammadi, S. Moradi, Bulletin of the Korean Mathematical Society 52 (2015) 977–986.
2015 | Published | Journal Article | IST-REx-ID: 1508 |
Gap universality of generalized Wigner and β ensembles
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.
2015 | Published | Journal Article | IST-REx-ID: 1506 |
The logarithmic law of random determinant
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.