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.
9078 Publications
2021 | Conference Paper | IST-REx-ID: 12767 | 
Bansal, S., Chatterjee, K., & Vardi, M. Y. (2021). On satisficing in quantitative games. In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12651, pp. 20–37). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-030-72016-2
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Preprint | IST-REx-ID: 10011 |
Hensel, S., & Laux, T. (n.d.). A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness. arXiv. https://doi.org/10.48550/arXiv.2109.04233
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 9230 |
Arguin, L.-P., Dubach, G., & Hartung, L. (n.d.). Maxima of a random model of the Riemann zeta function over intervals of varying length. arXiv. https://doi.org/10.48550/arXiv.2103.04817
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 9281 |
Dubach, G., & Mühlböck, F. (n.d.). Formal verification of Zagier’s one-sentence proof. arXiv. https://doi.org/10.48550/arXiv.2103.11389
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 10579 |
Kavcic, B., & Tkačik, G. (n.d.). Token-driven totally asymmetric simple exclusion process. arXiv. https://doi.org/10.48550/arXiv.2112.13558
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 10806 |
Calcabrini, M., Van den Eynden, D., Sanchez Ribot, S., Pokratath, R., Llorca, J., De Roo, J., & Ibáñez, M. (2021). Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate. JACS Au. American Chemical Society. https://doi.org/10.1021/jacsau.1c00349
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 12187
Long, J., Walker, J., She, W., Aldridge, B., Gao, H., Deans, S., … Feng, X. (2021). Nurse cell--derived small RNAs define paternal epigenetic inheritance in Arabidopsis. Science. American Association for the Advancement of Science (AAAS). https://doi.org/10.1126/science.abh0556
View
| DOI
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 12186
Ding, P., Sakai, T., Krishna Shrestha, R., Manosalva Perez, N., Guo, W., Ngou, B. P. M., … Jones, J. D. G. (2021). Chromatin accessibility landscapes activated by cell-surface and intracellular immune receptors. Journal of Experimental Botany. Oxford University Press. https://doi.org/10.1093/jxb/erab373
View
| DOI
| PubMed | Europe PMC
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
2021 | Journal Article | IST-REx-ID: 13358 |
Ryssy, J., Natarajan, A. K., Wang, J., Lehtonen, A. J., Nguyen, M., Klajn, R., & Kuzyk, A. (2021). Light‐responsive dynamic DNA‐origami‐based plasmonic assemblies. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202014963
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Book Chapter | IST-REx-ID: 13360
Bian, T., Chu, Z., & Klajn, R. (2021). Controlling Self‐Assembly of Nanoparticles Using Light. In N. Giuseppone & A. Walther (Eds.), Out‐of‐Equilibrium (Supra)molecular Systems and Materials (pp. 241–273). Wiley. https://doi.org/10.1002/9783527821990.ch9
View
| DOI