Please note that IST 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.

5758 Publications

2020 | Conference Paper | IST-REx-ID: 7505
Henzinger TA, Lukina A, Schilling C. Outside the box: Abstraction-based monitoring of neural networks. In: 24th European Conference on Artificial Intelligence.
View | arXiv

2020 | Journal Article | IST-REx-ID: 7508 | OA
Bossmann L, Pavlović N, Pickl P, Soffer A. Higher order corrections to the mean-field description of the dynamics of interacting bosons. Journal of Statistical Physics. 2020. doi:10.1007/s10955-020-02500-8
View | Files available | DOI | arXiv

2020 | Journal Article | IST-REx-ID: 7509 | OA
Zhang H. From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture. Advances in Mathematics. doi:10.1016/j.aim.2020.107053
View | DOI | Download Preprint (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 7511 | OA
Turoňová B, Hagen WJH, Obr M, et al. Benchmarking tomographic acquisition schemes for high-resolution structural biology. Nature communications. 2020;11. doi:10.1038/s41467-020-14535-2
View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7512 | OA
Erdös L, Krüger TH, Nemish Y. Local laws for polynomials of Wigner matrices. Journal of Functional Analysis.:108507. doi:10.1016/j.jfa.2020.108507
View | DOI | Download Preprint (ext.) | arXiv


Filter Publications