Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
231 Publications
2021 |
Published |
Conference Paper |
IST-REx-ID: 10668 |
Babaiee, Z., Hasani, R., Lechner, M., Rus, D., & Grosu, R. (2021). On-off center-surround receptive fields for accurate and robust image classification. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 478–489). Virtual: ML Research Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2021 |
Published |
Conference Paper |
IST-REx-ID: 10669 |
Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10670 |
Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., & Rus, D. (2021). Causal navigation by continuous-time neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10671 |
Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10694 |
Avni, G., Jecker, I. R., & Zikelic, D. (2021). Infinite-duration all-pay bidding games. In D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (pp. 617–636). Virtual: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611976465.38
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 11458 |
Peste, E.-A., Iofinova, E. B., Vladu, A., & Alistarh, D.-A. (2021). AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 8557–8570). Virtual, Online: Curran Associates.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 8909 |
Jirovec, D., Hofmann, A. C., Ballabio, A., Mutter, P. M., Tavani, G., Botifoll, M., … Katsaros, G. (2021). A singlet triplet hole spin qubit in planar Ge. Nature Materials. Springer Nature. https://doi.org/10.1038/s41563-021-01022-2
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 8934 |
Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8934
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Technical Report |
IST-REx-ID: 6995 |
Samarasinghe, R. A., Miranda, O., Buth, J. E., Mitchell, S., Ferando, I., Watanabe, M., … Novitch, B. G. (2021). Identification of neural oscillations and epileptiform changes in human brain organoids (Vol. 24). Springer Nature. https://doi.org/10.1038/s41593-021-00906-5
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |
Submitted |
Preprint |
IST-REx-ID: 14278 |
Koval, I. (n.d.). Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. arXiv. https://doi.org/10.48550/ARXIV.2111.12171
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9022 |
Cipolloni, G. (2021). Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9022
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9056 |
Osang, G. F. (2021). Multi-cover persistence and Delaunay mosaics. Institute of Science and Technology Austria, Klosterneuburg. https://doi.org/10.15479/AT:ISTA:9056
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 9121 |
Lauritsen, A. B. (2021). The BCS energy gap at low density. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-021-01358-5
[Published Version]
View
| Files available
| DOI
| WoS
2021 |
Research Data |
IST-REx-ID: 9192 |
Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., & Barton, N. H. (2021). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9192
[Published Version]
View
| Files available
| DOI
2021 |
Research Data |
IST-REx-ID: 9323 |
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 |
Scientific Software |
IST-REx-ID: 9327 |
Sperl, G., Narain, R., & Wojtan, C. (2021). Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). IST Austria. https://doi.org/10.15479/AT:ISTA:9327
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 9356 |
Henzinger, T. A., & Sarac, N. E. (2021). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Online: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470547
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 9387 |
Khudiakova, K., Neretina, T. Y., & Kondrashov, A. S. (2021). Two linked loci under mutation-selection balance and Muller’s ratchet. Journal of Theoretical Biology. Elsevier . https://doi.org/10.1016/j.jtbi.2021.110729
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 |
Research Data |
IST-REx-ID: 9389 |
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 |
Published |
Thesis | PhD |
IST-REx-ID: 9397 |
Huljev, K. (2021). Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9397
[Published Version]
View
| Files available
| DOI