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.
9096 Publications
2021 | Preprint | IST-REx-ID: 9281 | 
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 | Preprint | IST-REx-ID: 10579 |
B. Kavcic and G. Tkačik, “Token-driven totally asymmetric simple exclusion process,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 10806 |
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 | Journal Article | IST-REx-ID: 12187
J. Long et al., “Nurse cell--derived small RNAs define paternal epigenetic inheritance in Arabidopsis,” Science, vol. 373, no. 6550. American Association for the Advancement of Science (AAAS), 2021.
View
| DOI
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 12186
P. Ding et al., “Chromatin accessibility landscapes activated by cell-surface and intracellular immune receptors,” Journal of Experimental Botany, vol. 72, no. 22. Oxford University Press, pp. 7927–7941, 2021.
View
| DOI
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9698 |
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 | Journal Article | IST-REx-ID: 12309 |
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 | Journal Article | IST-REx-ID: 12308 |
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 | Conference Abstract | IST-REx-ID: 12909 |
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 | Conference Paper | IST-REx-ID: 11458 |
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 | Journal Article | IST-REx-ID: 10585 |
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 | Conference Paper | IST-REx-ID: 13147 |
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 | Conference Paper | IST-REx-ID: 13146 |
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 | Conference Paper | IST-REx-ID: 10665 |
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
2021 | Conference Paper | IST-REx-ID: 10667 |
M. Lechner, Ð. Žikelić, K. Chatterjee, and T. A. Henzinger, “Infinite time horizon safety of Bayesian neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 13358 |
J. Ryssy et al., “Light‐responsive dynamic DNA‐origami‐based plasmonic assemblies,” Angewandte Chemie International Edition, vol. 60, no. 11. Wiley, pp. 5859–5863, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 13357 |
T. Bian et al., “Electrostatic co-assembly of nanoparticles with oppositely charged small molecules into static and dynamic superstructures,” Nature Chemistry, vol. 13, no. 10. Springer Nature, pp. 940–949, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2021 | Research Data Reference | IST-REx-ID: 13072 |
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 |
S. Randriamanantsoa et al., “Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids.” Zenodo, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)