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 |

U. Ahmed, K. Chatterjee, and S. Gulwani, “Automatic generation of alternative starting positions for simple traditional board games,” in Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, TX, USA, 2015, vol. 2, pp. 745–752.
View
| Files available
| Download None (ext.)
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1670 |

S. Bogomolov, D. Magazzeni, S. Minopoli, and M. Wehrle, “PDDL+ planning with hybrid automata: Foundations of translating must behavior,” presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel, 2015, pp. 42–46.
View
| Download None (ext.)
2015 | Published | Conference Paper | IST-REx-ID: 1425 |

A. Pentina and C. Lampert, “Lifelong learning with non-i.i.d. tasks,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2015, vol. 2015, pp. 1540–1548.
View
| Download None (ext.)
2015 | Published | Conference Paper | IST-REx-ID: 1424 |

R. Kwitt, S. Huber, M. Niethammer, W. Lin, and U. Bauer, “Statistical topological data analysis-A kernel perspective,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2015, vol. 28, pp. 3070–3078.
[Submitted Version]
View
| Download Submitted Version (ext.)
2015 | Published | Journal Article | IST-REx-ID: 19805 |

P. Kushwaha et al., “Nearly free electrons in a 5d delafossite oxide metal,” Science Advances, vol. 1, no. 9. American Association for the Advancement of Science, 2015.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 | Published | Conference Paper | IST-REx-ID: 1689 |

M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 259–268.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1667 |

T. Brázdil, L. Korenčiak, J. Krčál, P. Novotný, and V. Řehák, “Optimizing performance of continuous-time stochastic systems using timeout synthesis,” vol. 9259. Springer, pp. 141–159, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1693 |

P. Amaro et al., “Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3,” Physical Review A, vol. 92, no. 2. American Physical Society, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1685 |

V. Cohen Addad and A. N. de Mesmay, “A fixed parameter tractable approximation scheme for the optimal cut graph of a surface,” presented at the ESA: European Symposium on Algorithms, Patras, Greece, 2015, vol. 9294, pp. 386–398.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1688 |

R. Karasev, J. Kynčl, P. Paták, Z. Patakova, and M. Tancer, “Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex,” Discrete & Computational Geometry, vol. 54, no. 3. Springer, pp. 610–636, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1695 |

J. Kaczmarczyk, T. Schickling, and J. Bünemann, “Evaluation techniques for Gutzwiller wave functions in finite dimensions,” Physica Status Solidi (B): Basic Solid State Physics, vol. 252, no. 9. Wiley, pp. 2059–2071, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1682 |

P. Franek and M. Krcál, “Robust satisfiability of systems of equations,” Journal of the ACM, vol. 62, no. 4. ACM, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1674 |

J. Lee and K. Schnelli, “Edge universality for deformed Wigner matrices,” Reviews in Mathematical Physics, vol. 27, no. 8. World Scientific Publishing, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1505 |

Z. Bao, G. Pan, and W. Zhou, “Universality for the largest eigenvalue of sample covariance matrices with general population,” Annals of Statistics, vol. 43, no. 1. Institute of Mathematical Statistics, pp. 382–421, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1483 |

J. Reininghaus, S. Huber, U. Bauer, and R. Kwitt, “A stable multi-scale kernel for topological machine learning,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA, 2015, pp. 4741–4748.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1495 |

H. Edelsbrunner, M. Iglesias Ham, and V. Kurlin, “Relaxed disk packing,” in Proceedings of the 27th Canadian Conference on Computational Geometry, Ontario, Canada, 2015, vol. 2015–August, pp. 128–135.
[Submitted Version]
View
| Download Submitted Version (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1572 |

M. Correggi, A. Giuliani, and R. Seiringer, “Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet,” Communications in Mathematical Physics, vol. 339, no. 1. Springer, pp. 279–307, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1547 |

F. Mohammadi and S. Moradi, “Resolution of unmixed bipartite graphs,” Bulletin of the Korean Mathematical Society, vol. 52, no. 3. Korean Mathematical Society, pp. 977–986, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1508 |

L. Erdös and H. Yau, “Gap universality of generalized Wigner and β ensembles,” Journal of the European Mathematical Society, vol. 17, no. 8. European Mathematical Society, pp. 1927–2036, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1506 |

Z. Bao, G. Pan, and W. Zhou, “The logarithmic law of random determinant,” Bernoulli, vol. 21, no. 3. Bernoulli Society for Mathematical Statistics and Probability, pp. 1600–1628, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv