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.

6908 Publications


2021 | Published | Conference Paper | IST-REx-ID: 10435 | OA
Nadiradze, G., Sabour, A., Davies, P., Li, S., & Alistarh, D.-A. (2021). Asynchronous decentralized SGD with quantized and local updates. In 35th Conference on Neural Information Processing Systems. Sydney, Australia: Neural Information Processing Systems Foundation.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 11452 | OA
Alimisis, F., Davies, P., Vandereycken, B., & Alistarh, D.-A. (2021). Distributed principal component analysis with limited communication. In Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems (Vol. 4, pp. 2823–2834). Virtual, Online: Neural Information Processing Systems Foundation.
[Published Version] View | Download Published Version (ext.) | arXiv
 

2021 | Submitted | Preprint | IST-REx-ID: 10912 | OA
Lombardi, F., Pepic, S., Shriki, O., Tkačik, G., & De Martino, D. (n.d.). Quantifying the coexistence of neuronal oscillations and avalanches. arXiv. https://doi.org/10.48550/ARXIV.2108.06686
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Thesis | IST-REx-ID: 10429 | OA
Nadiradze, G. (2021). On achieving scalability through relaxation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10429
[Published Version] View | Files available | DOI
 

2021 | Published | Conference Paper | IST-REx-ID: 10432 | OA
Nadiradze, G., Markov, I., Chatterjee, B., Kungurtsev, V., & Alistarh, D.-A. (2021). Elastic consistency: A practical consistency model for distributed stochastic gradient descent. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 9037–9045). Virtual.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9381 | OA
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 | OA
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 | OA
Lukina, A., Schilling, C., & Henzinger, T. A. (2021). Into the unknown: active monitoring of neural networks. In 21st International Conference on Runtime Verification (Vol. 12974, pp. 42–61). Cham: Springer Nature. https://doi.org/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 | OA
Mühlböck, F., & Henzinger, T. A. (2021). Differential monitoring. IST Austria. https://doi.org/10.15479/AT:ISTA:9946
[Published Version] View | Files available | DOI
 

2021 | Submitted | Preprint | IST-REx-ID: 9281 | OA
Dubach, G., & Mühlböck, F. (n.d.). Formal verification of Zagier’s one-sentence proof. arXiv. https://doi.org/10.48550/arXiv.2103.11389
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10327 | OA
Li, M., Liu, Y., Zhang, Y., Han, X., Xiao, K., Nabahat, M., … Cabot, A. (2021). PbS–Pb–CuxS composites for thermoelectric application. ACS Applied Materials and Interfaces. American Chemical Society . https://doi.org/10.1021/acsami.1c15609
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Published | Conference Paper | IST-REx-ID: 9441 | OA
Boissonnat, J.-D., Kachanovich, S., & Wintraecken, M. (2021). Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations. In 37th International Symposium on Computational Geometry (SoCG 2021) (Vol. 189, p. 17:1-17:16). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.17
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 8253 | OA
Zenke, F., & Vogels, T. P. (2021). The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks. Neural Computation. MIT Press. https://doi.org/10.1162/neco_a_01367
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Thesis | IST-REx-ID: 9418 | OA
Phuong, M. (2021). Underspecification in deep learning. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9418
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 9410 | OA
Lagator, M., Uecker, H., & Neve, P. (2021). Adaptation at different points along antibiotic concentration gradients. Biology Letters. Royal Society of London. https://doi.org/10.1098/rsbl.2020.0913
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Research Data | IST-REx-ID: 9389 | OA
Valentini, M. (2021). Research data for “Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9389
[Published Version] View | Files available | DOI
 

2021 | Research Data | IST-REx-ID: 9323 | OA
Jirovec, D. (2021). Research data for “A singlet-triplet hole spin qubit planar Ge.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9323
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 10184 | OA
Alderighi, T., Malomo, L., Bickel, B., Cignoni, P., & Pietroni, N. (2021). Volume decomposition for two-piece rigid casting. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3478513.3480555
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9376 | OA
Zhang, R., Auzinger, T., & Bickel, B. (2021). Computational design of planar multistable compliant structures. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3453477
[Published Version] View | Files available | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9408 | OA
Feng, Xudong, Computational design of skinned Quad-Robots. IEEE Transactions on Visualization and Computer Graphics 27 (6). 2021
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed