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.
5859 Publications
2021 |Published| Journal Article | IST-REx-ID: 12586 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Kneib et al., “Interannual dynamics of ice cliff populations on debris‐covered glaciers from remote sensing observations and stochastic modeling,” Journal of Geophysical Research: Earth Surface, vol. 126, no. 10. American Geophysical Union, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 12587 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. L. Stewart et al., “Using climate reanalysis data in conjunction with multi-temporal satellite thermal imagery to derive supraglacial debris thickness changes from energy-balance modelling,” Journal of Glaciology, vol. 67, no. 262. Cambridge University Press, pp. 366–384, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 12585 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
E. Miles, M. McCarthy, A. Dehecq, M. Kneib, S. Fugger, and F. Pellicciotti, “Health and sustainability of glaciers in High Mountain Asia,” Nature Communications, vol. 12. Springer Nature, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 12588 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Buri, E. S. Miles, J. F. Steiner, S. Ragettli, and F. Pellicciotti, “Supraglacial ice cliffs can substantially increase the mass loss of debris‐covered glaciers,” Geophysical Research Letters, vol. 48, no. 6. American Geophysical Union, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 12583 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
C. L. Fyffe et al., “The energy and mass balance of Peruvian Glaciers,” Journal of Geophysical Research: Atmospheres, vol. 126, no. 23. American Geophysical Union, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 12767 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Bansal, K. Chatterjee, and M. Y. Vardi, “On satisficing in quantitative games,” in 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, 2021, vol. 12651, pp. 20–37.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10011 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Hensel and T. Laux, “A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 9230 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L.-P. Arguin, G. Dubach, and L. Hartung, “Maxima of a random model of the Riemann zeta function over intervals of varying length,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 9281 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Dubach and F. Mühlböck, “Formal verification of Zagier’s one-sentence proof,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10579 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Kavcic and G. Tkačik, “Token-driven totally asymmetric simple exclusion process,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10806 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Calcabrini et al., “Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate,” JACS Au, vol. 1, no. 11. American Chemical Society, pp. 1898–1903, 2021.
[Published Version]
View
| Files available
| DOI
2021 |Published| Journal Article | IST-REx-ID: 9698 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. A. Keith et al., “Combining machine learning and computational chemistry for predictive insights into chemical systems,” Chemical Reviews, vol. 121, no. 16. American Chemical Society, pp. 9816–9872, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 12309 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Verzobio, “Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728,” Acta Arithmetica, vol. 198, no. 2. Institute of Mathematics, Polish Academy of Sciences, pp. 129–168, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 12308 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Verzobio, “Primitive divisors of sequences associated to elliptic curves with complex multiplication,” Research in Number Theory, vol. 7, no. 2. Springer Nature, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |Published| Conference Abstract | IST-REx-ID: 12909 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Schlögl, S. Elefante, A. Hornoiu, and S. Stadlbauer, “Managing software on a heterogenous HPC cluster,” in ASHPC21 – Austrian-Slovenian HPC Meeting 2021, Virtual, 2021, p. 5.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 11458 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
E.-A. Peste, E. B. Iofinova, A. Vladu, and D.-A. Alistarh, “AC/DC: Alternating Compressed/DeCompressed training of deep neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, Online, 2021, vol. 34, pp. 8557–8570.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10585 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Brooks, M. Lemeshko, D. Lundholm, and E. Yakaboylu, “Emergence of anyons on the two-sphere in molecular impurities,” Atoms, vol. 9, no. 4. MDPI, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 13147 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
F. Alimisis, P. Davies, and D.-A. Alistarh, “Communication-efficient distributed optimization with quantized preconditioners,” in Proceedings of the 38th International Conference on Machine Learning, Virtual, 2021, vol. 139, pp. 196–206.
[Published Version]
View
| Files available
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 13146 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Q. Nguyen, M. Mondelli, and G. Montufar, “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, Virtual, 2021, vol. 139, pp. 8119–8129.
[Published Version]
View
| Files available
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10665 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. A. Henzinger, M. Lechner, and D. Zikelic, “Scalable verification of quantized neural networks,” in Proceedings of the AAAI Conference on Artificial Intelligence, Virtual, 2021, vol. 35, no. 5A, pp. 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv