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.
10590 Publications
2021 | Published | Conference Paper | IST-REx-ID: 11436 | 
Kungurtsev, Vyacheslav, et al. “Asynchronous Optimization Methods for Efficient Training of Deep Neural Networks with Guarantees.” 35th AAAI Conference on Artificial Intelligence, AAAI 2021, vol. 35, no. 9B, AAAI Press, 2021, pp. 8209–16.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10435 |
Nadiradze, Giorgi, et al. “Asynchronous Decentralized SGD with Quantized and Local Updates.” 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 11452 |
Alimisis, Foivos, et al. “Distributed Principal Component Analysis with Limited Communication.” Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, vol. 4, Neural Information Processing Systems Foundation, 2021, pp. 2823–34.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2021 | Submitted | Preprint | IST-REx-ID: 10912 |
Lombardi, Fabrizio, et al. Quantifying the Coexistence of Neuronal Oscillations and Avalanches. arXiv, doi:10.48550/ARXIV.2108.06686.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10429 |
Nadiradze, Giorgi. On Achieving Scalability through Relaxation. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10429.
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 10432 |
Nadiradze, Giorgi, et al. “Elastic Consistency: A Practical Consistency Model for Distributed Stochastic Gradient Descent.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 10, 2021, pp. 9037–45.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9381 |
Kleshnina, Maria, Mistakes can stabilise the dynamics of rock-paper-scissors games. PLoS Computational Biology 17 (4). 2021
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 9200 |
Garcia Soto, Miriam, Synthesis of hybrid automata with affine dynamics from time-series data. HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. 2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10206 |
Lukina, Anna, et al. “Into the Unknown: Active Monitoring of Neural Networks.” 21st International Conference on Runtime Verification, vol. 12974, Springer Nature, 2021, pp. 42–61, doi:10.1007/978-3-030-88494-9_3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Technical Report | IST-REx-ID: 9946 |
Mühlböck, Fabian, and Thomas A. Henzinger. Differential Monitoring. IST Austria, 2021, doi:10.15479/AT:ISTA:9946.
[Published Version]
View
| Files available
| DOI
2021 | Submitted | Preprint | IST-REx-ID: 9281 |
Dubach, Guillaume, and Fabian Mühlböck. “Formal Verification of Zagier’s One-Sentence Proof.” ArXiv, 2103.11389, doi:10.48550/arXiv.2103.11389.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10327 |
Li, Mengyao, et al. “PbS–Pb–CuxS Composites for Thermoelectric Application.” ACS Applied Materials and Interfaces, vol. 13, no. 43, American Chemical Society , 2021, pp. 51373–51382, doi:10.1021/acsami.1c15609.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 9441 |
Boissonnat, Jean-Daniel, et al. “Tracing Isomanifolds in Rd in Time Polynomial in d Using Coxeter-Freudenthal-Kuhn Triangulations.” 37th International Symposium on Computational Geometry (SoCG 2021), vol. 189, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 17:1-17:16, doi:10.4230/LIPIcs.SoCG.2021.17.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 8253 |
Zenke, Friedemann, and Tim P. Vogels. “The Remarkable Robustness of Surrogate Gradient Learning for Instilling Complex Function in Spiking Neural Networks.” Neural Computation, vol. 33, no. 4, MIT Press, 2021, pp. 899–925, doi:10.1162/neco_a_01367.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Thesis | IST-REx-ID: 9418 |
Phuong, Mary. Underspecification in Deep Learning. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9418.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9410 |
Lagator, Mato, et al. “Adaptation at Different Points along Antibiotic Concentration Gradients.” Biology Letters, vol. 17, no. 5, 20200913, Royal Society of London, 2021, doi:10.1098/rsbl.2020.0913.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Research Data | IST-REx-ID: 9389 |
Valentini, Marco. Research Data for “Non-Topological Zero Bias Peaks in Full-Shell Nanowires Induced by Flux Tunable Andreev States.” Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9389.
[Published Version]
View
| Files available
| DOI
2021 | Research Data | IST-REx-ID: 9323 |
Jirovec, Daniel. Research Data for “A Singlet-Triplet Hole Spin Qubit Planar Ge.” Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9323.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10184 |
Alderighi, Thomas, et al. “Volume Decomposition for Two-Piece Rigid Casting.” ACM Transactions on Graphics, vol. 40, no. 6, 272, Association for Computing Machinery, 2021, doi:10.1145/3478513.3480555.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9376 |
Zhang, Ran, et al. “Computational Design of Planar Multistable Compliant Structures.” ACM Transactions on Graphics, vol. 40, no. 5, 186, Association for Computing Machinery, 2021, doi:10.1145/3453477.
[Published Version]
View
| Files available
| DOI
| WoS