The energy and mass balance of Peruvian Glaciers
C.L. Fyffe, E. Potter, S. Fugger, A. Orr, S. Fatichi, E. Loarte, K. Medina, R.Å. Hellström, M. Bernat, C. AubryWake, W. Gurgiser, L.B. Perry, W. Suarez, D.J. Quincey, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 126 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/12583
DOI: 10.1029/2021jd034911

On satisficing in quantitative games
S. Bansal, K. Chatterjee, M.Y. Vardi, in:, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2021, pp. 20–37.
LibreCat: https://research-explorer.ista.ac.at/record/12767
DOI: 10.1007/978-3-030-72016-2
arXiv: 2101.02594

A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness
S. Hensel, T. Laux, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10011
DOI: 10.48550/arXiv.2109.04233
arXiv: 2109.04233

Maxima of a random model of the Riemann zeta function over intervals of varying length
L.-P. Arguin, G. Dubach, L. Hartung, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/9230
DOI: 10.48550/arXiv.2103.04817
arXiv: 2103.04817

Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/9281
DOI: 10.48550/arXiv.2103.11389
arXiv: 2103.11389

Token-driven totally asymmetric simple exclusion process
B. Kavcic, G. Tkadik, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10579
DOI: 10.48550/arXiv.2112.13558
arXiv: 2112.13558

Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
LibreCat: https://research-explorer.ista.ac.at/record/10806
DOI: 10.1021/jacsau.1c00349

Combining machine learning and computational chemistry for predictive insights into chemical systems
J.A. Keith, V. Valentin Vassilev-Galindo, B. Cheng, S. Chmiela, M. Gastegger, K.-R. Müller, A. Tkatchenko, Chemical Reviews 121 (2021) 9816–9872.
LibreCat: https://research-explorer.ista.ac.at/record/9698
DOI: 10.1021/acs.chemrev.1c00107
arXiv: 2102.06321

Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728
M. Verzobio, Acta Arithmetica 198 (2021) 129–168.
LibreCat: https://research-explorer.ista.ac.at/record/12309
DOI: 10.4064/aa191016-30-7
arXiv: 2001.09634

Primitive divisors of sequences associated to elliptic curves with complex multiplication
M. Verzobio, Research in Number Theory 7 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/12308
DOI: 10.1007/s40993-021-00267-9

Managing software on a heterogenous HPC cluster
A. Schlögl, S. Elefante, A. Hornoiu, S. Stadlbauer, in:, ASHP – Austrian-Slovenian HPC Meeting 2021, University of Ljubljana, 2021, p. 5.
LibreCat: https://research-explorer.ista.ac.at/record/12909
DOI: 10.3359/2021hpc

AC/DC: Alternating Compressed/DeCompressed training of deep neural networks
E.-A. Peste, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 8557–8570.
LibreCat: https://research-explorer.ista.ac.at/record/11458
arXiv: 2106.12379

Emergence of anyons on the two-sphere in molecular impurities
M. Brooks, M. Lemeshko, D. Lundholm, E. Yakaboylu, Atoms 9 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10585
DOI: 10.3390/atoms9040106
arXiv: 2108.06966

Communication-efficient distributed optimization with quantized preconditioners
F. Alimisis, P. Davies, D.-A. Alistarh, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 196–206.
LibreCat: https://research-explorer.ista.ac.at/record/13147
arXiv: 2102.07214

Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G. Montufar, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
LibreCat: https://research-explorer.ista.ac.at/record/13146
arXiv: 2012.11654

Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
LibreCat: https://research-explorer.ista.ac.at/record/10665
arXiv: 2012.08185

Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. dikeli, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10667
DOI: 10.48550/arXiv.2111.03165
arXiv: 2111.03165

Lightresponsive dynamic DNAorigamibased plasmonic assemblies
J. Ryssy, A.K. Natarajan, J. Wang, A.J. Lehtonen, M. Nguyen, R. Klajn, A. Kuzyk, Angewandte Chemie International Edition 60 (2021) 5859–5863.
LibreCat: https://research-explorer.ista.ac.at/record/13358
DOI: 10.1002/anie.202014963

Electrostatic co-assembly of nanoparticles with oppositely charged small molecules into static and dynamic superstructures
T. Bian, A. Gardin, J. Gemen, L. Houben, C. Perego, B. Lee, N. Elad, Z. Chu, G.M. Pavan, R. Klajn, Nature Chemistry 13 (2021) 940–949.
LibreCat: https://research-explorer.ista.ac.at/record/13357
DOI: 10.1038/s41557-021-00752-9
PMID: 34489564

Blood-based epigenome-wide analyses of cognitive abilities
D.L. McCartney, R.F. Hillary, E.L. Conole, D. Trejo Banos, D.A. Gadd, R.M. Walker, C. Nangle, R. Flaig, A. Campbell, A.D. Murray, S. Munoz Maniega, M. del C Valdes-Hernandez, M.A. Harris, M.E. Bastin, J.M. Wardlaw, S.E. Harris, D.J. Porteous, E.M. Tucker-Drob, A.M. McIntosh, K.L. Evans, I.J. Deary, S.R. Cox, M.R. Robinson, R.E. Marioni, (2021).
LibreCat: https://research-explorer.ista.ac.at/record/13072
DOI: 10.5281/ZENODO.5794028