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.
665 Publications
2021 | Journal Article | IST-REx-ID: 9698 | 
Keith, J. A., Valentin Vassilev-Galindo, V., Cheng, B., Chmiela, S., Gastegger, M., Müller, K.-R., & Tkatchenko, A. (2021). Combining machine learning and computational chemistry for predictive insights into chemical systems. Chemical Reviews. American Chemical Society. https://doi.org/10.1021/acs.chemrev.1c00107
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 12309 |
Verzobio, M. (2021). Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728. Acta Arithmetica. Institute of Mathematics, Polish Academy of Sciences. https://doi.org/10.4064/aa191016-30-7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 12308 |
Verzobio, M. (2021). Primitive divisors of sequences associated to elliptic curves with complex multiplication. Research in Number Theory. Springer Nature. https://doi.org/10.1007/s40993-021-00267-9
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 | Conference Abstract | IST-REx-ID: 12909 |
Schlögl, A., Elefante, S., Hornoiu, A., & Stadlbauer, S. (2021). Managing software on a heterogenous HPC cluster. In ASHPC21 – Austrian-Slovenian HPC Meeting 2021 (p. 5). Virtual: University of Ljubljana. https://doi.org/10.3359/2021hpc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Conference Paper | IST-REx-ID: 11458 |
Peste, E.-A., Iofinova, E. B., Vladu, A., & Alistarh, D.-A. (2021). AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 8557–8570). Virtual, Online: Curran Associates.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 10585 |
Brooks, M., Lemeshko, M., Lundholm, D., & Yakaboylu, E. (2021). Emergence of anyons on the two-sphere in molecular impurities. Atoms. MDPI. https://doi.org/10.3390/atoms9040106
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 13147 |
Alimisis, F., Davies, P., & Alistarh, D.-A. (2021). Communication-efficient distributed optimization with quantized preconditioners. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 196–206). Virtual: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2021 | Conference Paper | IST-REx-ID: 13146 |
Nguyen, Q., Mondelli, M., & Montufar, G. (2021). Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 8119–8129). Virtual: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2021 | Conference Paper | IST-REx-ID: 10665 |
Henzinger, T. A., Lechner, M., & Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10667 |
Lechner, M., Žikelić, Ð., Chatterjee, K., & Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual. https://doi.org/10.48550/arXiv.2111.03165
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv