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.

6504 Publications


2020 | Conference Paper | IST-REx-ID: 7505 | OA
Henzinger TA, Lukina A, Schilling C. Outside the box: Abstraction-based monitoring of neural networks. In: 24th European Conference on Artificial Intelligence. Vol 325. IOS Press; 2020:2433-2440. doi:10.3233/FAIA200375
View | Files available | DOI | 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;178:1362-1396. 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. 2020;365. doi:10.1016/j.aim.2020.107053
View | DOI | Download Preprint (ext.) | arXiv
 

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. 2020;278(12). doi:10.1016/j.jfa.2020.108507
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7514 | OA
Mayer S. The free energy of a dilute two-dimensional Bose gas. 2020. doi:10.15479/AT:ISTA:7514
View | Files available | DOI
 

Search

Filter Publications