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.
5760 Publications
2020 | Journal Article | IST-REx-ID: 9577 |
Ramsey graphs induce subgraphs of quadratically many sizes
M.A. Kwan, B. Sudakov, International Mathematics Research Notices 2020 (2020) 1621–1638.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M.A. Kwan, B. Sudakov, International Mathematics Research Notices 2020 (2020) 1621–1638.
2020 | Journal Article | IST-REx-ID: 9573 |
Universality of random permutations
X. He, M.A. Kwan, Bulletin of the London Mathematical Society 52 (2020) 515–529.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
X. He, M.A. Kwan, Bulletin of the London Mathematical Society 52 (2020) 515–529.
2020 | Conference Paper | IST-REx-ID: 9632 |
WoodFisher: Efficient second-order approximation for neural network compression
S.P. Singh, D.-A. Alistarh, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 18098–18109.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
S.P. Singh, D.-A. Alistarh, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 18098–18109.
2020 | Journal Article | IST-REx-ID: 9630 |
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, Journal of Computational Geometry 11 (2020) 162–182.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, Z. Virk, H. Wagner, Journal of Computational Geometry 11 (2020) 162–182.
2020 | Conference Paper | IST-REx-ID: 9631 |
Scalable belief propagation via relaxed scheduling
V. Aksenov, D.-A. Alistarh, J. Korhonen, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 22361–22372.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
V. Aksenov, D.-A. Alistarh, J. Korhonen, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 22361–22372.
2020 | Journal Article | IST-REx-ID: 9666 |
Predicting the phase diagram of titanium dioxide with random search and pattern recognition
A. Reinhardt, C.J. Pickard, B. Cheng, Physical Chemistry Chemical Physics 22 (2020) 12697–12705.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
A. Reinhardt, C.J. Pickard, B. Cheng, Physical Chemistry Chemical Physics 22 (2020) 12697–12705.
2020 | Journal Article | IST-REx-ID: 9671 |
Liquid water contains the building blocks of diverse ice phases
B. Monserrat, J.G. Brandenburg, E.A. Engel, B. Cheng, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
B. Monserrat, J.G. Brandenburg, E.A. Engel, B. Cheng, Nature Communications 11 (2020).
2020 | Conference Paper | IST-REx-ID: 8533 |
Simplified game of life: Algorithms and complexity
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Conference Paper | IST-REx-ID: 8534 |
Unary prime languages
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Journal Article | IST-REx-ID: 8538 |
Billiards in ellipses revisited
A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics (2020).