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.
5145 Publications
2021 |Submitted| Preprint | IST-REx-ID: 10011 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hensel S, Laux T. A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness. arXiv. doi:10.48550/arXiv.2109.04233
[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)
Arguin L-P, Dubach G, Hartung L. Maxima of a random model of the Riemann zeta function over intervals of varying length. arXiv. doi:10.48550/arXiv.2103.04817
[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)
Dubach G, Mühlböck F. Formal verification of Zagier’s one-sentence proof. arXiv. doi:10.48550/arXiv.2103.11389
[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)
Kavcic B, Tkačik G. Token-driven totally asymmetric simple exclusion process. arXiv. doi:10.48550/arXiv.2112.13558
[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)
Calcabrini M, Van den Eynden D, Sanchez Ribot S, et al. Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate. JACS Au. 2021;1(11):1898-1903. doi:10.1021/jacsau.1c00349
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Abstract | IST-REx-ID: 12909 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schlögl A, Elefante S, Hornoiu A, Stadlbauer S. Managing software on a heterogenous HPC cluster. In: ASHPC21 – Austrian-Slovenian HPC Meeting 2021. University of Ljubljana; 2021:5. doi:10.3359/2021hpc
[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)
Peste E-A, Iofinova EB, Vladu A, Alistarh D-A. AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In: 35th Conference on Neural Information Processing Systems. Vol 34. Curran Associates; 2021: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)
Brooks M, Lemeshko M, Lundholm D, Yakaboylu E. Emergence of anyons on the two-sphere in molecular impurities. Atoms. 2021;9(4). doi:10.3390/atoms9040106
[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)
Alimisis F, Davies P, Alistarh D-A. Communication-efficient distributed optimization with quantized preconditioners. In: Proceedings of the 38th International Conference on Machine Learning. Vol 139. ML Research Press; 2021: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)
Nguyen Q, Mondelli M, Montufar G. 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. ML Research Press; 2021: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)
Henzinger TA, Lechner M, Zikelic D. Scalable verification of quantized neural networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:3787-3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10667 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. Infinite time horizon safety of Bayesian neural networks. In: 35th Conference on Neural Information Processing Systems. ; 2021. doi:10.48550/arXiv.2111.03165
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Research Data Reference | IST-REx-ID: 13072 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
McCartney DL, Hillary RF, Conole EL, Trejo Banos D, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Munoz Maniega S, del C Valdes-Hernandez M, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2021. Blood-based epigenome-wide analyses of cognitive abilities, Zenodo, 10.5281/ZENODO.5794028.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Research Data Reference | IST-REx-ID: 13068 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Randriamanantsoa S, Papargyriou A, Maurer C, et al. Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids. 2021. doi:10.5281/ZENODO.5148117
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 7551 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fredes Tolorza FA, Silva Sifuentes MA, Koppensteiner P, Kobayashi K, Jösch MA, Shigemoto R. Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation. Current Biology. 2021;31(1):P25-38.E5. doi:10.1016/j.cub.2020.09.074
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 7463 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lombardi F, Shriki O, Herrmann HJ, de Arcangelis L. Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches. Neurocomputing. 2021;461:657-666. doi:10.1016/j.neucom.2020.05.126
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 |Published| Technical Report | IST-REx-ID: 6995 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Samarasinghe RA, Miranda O, Buth JE, et al. Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids. Vol 24. Springer Nature; 2021. doi:10.1038/s41593-021-00906-5
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 6965 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rychlewicz KP. The positivity of local equivariant Hirzebruch class for toric varieties. Bulletin of the London Mathematical Society. 2021;53(2):560-574. doi:10.1112/blms.12442
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8253 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zenke F, Vogels TP. The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks. Neural Computation. 2021;33(4):899-925. doi:10.1162/neco_a_01367
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8198 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Diringer AA, Gulden T. Impact of drive harmonics on the stability of Floquet many-body localization. Physical Review B. 2021;103(21). doi:10.1103/PhysRevB.103.214204
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv