Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2825 Publications

2020 | Journal Article | IST-REx-ID: 7500 | OA View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7505
Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, n.d.
View | arXiv
 
2020 | Journal Article | IST-REx-ID: 7508 | OA
Higher order corrections to the mean-field description of the dynamics of interacting bosons
L. Bossmann, N. Pavlović, P. Pickl, A. Soffer, Journal of Statistical Physics (2020).
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7509 | OA View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7511 | OA
Benchmarking tomographic acquisition schemes for high-resolution structural biology
B. Turoňová, W.J.H. Hagen, M. Obr, S. Mosalaganti, J.W. Beugelink, C.E. Zimmerli, H.G. Kräusslich, M. Beck, Nature Communications 11 (2020).
View | Files available | DOI
 

Search

Display / Sort

Export / Embed