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.
8357 Publications
2021 |
Published |
Journal Article |
IST-REx-ID: 22584 |
Paschalis A, Chakraborty T, Fatichi S, Meili N, Manoli G. 2021. Urban forests as main regulator of the evaporative cooling effect in cities. AGU Advances. 2(2), e2020AV000303.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |
Published |
Journal Article |
IST-REx-ID: 10738 |
Leopold NK, Rademacher SAE, Schlein B, Seiringer R. 2021. The Landau–Pekar equations: Adiabatic theorem and accuracy. Analysis and PDE. 14(7), 2079–2100.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 9226 |
Tkačik G, Gregor T. 2021. The many bits of positional information. Development. 148(2), dev176065.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |
Published |
Journal Article |
IST-REx-ID: 15262 |
Vinter DJ, Hoppe C, Minchington T, Sutcliffe C, Ashe HL. 2021. Dynamics of hunchback translation in real-time and at single-mRNA resolution in the Drosophila embryo. Development. 148(18), dev196121.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2021 |
Published |
Journal Article |
IST-REx-ID: 10000 |
Schmitt HM, Fehrman RL, Maes ME, Yang H, Guo LW, Schlamp CL, Pelzel HR, Nickells RW. 2021. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology & Visual Science. 62(10), 14.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |
Published |
Journal Article |
IST-REx-ID: 9047 |
Mondelli M, Hashemi SA, Cioffi JM, Goldsmith A. 2021. Sublinear latency for simplified successive cancellation decoding of polar codes. IEEE Transactions on Wireless Communications. 20(1), 18–27.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 15267 |
Czumaj A, Davies P. 2021. Exploiting spontaneous transmissions for broadcasting and leader election in radio networks. Journal of the ACM. 68(2), 13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10575 |
Abbatiello A, Bulíček M, Maringová E. 2021. On the dynamic slip boundary condition for Navier-Stokes-like problems. Mathematical Models and Methods in Applied Sciences. 31(11), 2165–2212.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10005 |
Bulíček M, Maringová E, Málek J. 2021. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 31(09).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10665 |
Henzinger TA, Lechner M, Zikelic D. 2021. Scalable verification of quantized neural networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 3787–3795.
[Published Version]
View
| Files available
| DOI
| 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. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 7657–7666.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 11436 |
Kungurtsev V, Egan M, Chatterjee B, Alistarh D-A. 2021. Asynchronous optimization methods for efficient training of deep neural networks with guarantees. 35th AAAI Conference on Artificial Intelligence, AAAI 2021. AAAI: Conference on Artificial Intelligence vol. 35, 8209–8216.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10669 |
Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. 2021. On the verification of neural ODEs with stochastic guarantees. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 11525–11535.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10429 |
Nadiradze G. 2021. On achieving scalability through relaxation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 10432 |
Nadiradze G, Markov I, Chatterjee B, Kungurtsev V, Alistarh D-A. 2021. Elastic consistency: A practical consistency model for distributed stochastic gradient descent. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence vol. 35, 9037–9045.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
earlier version | 2021 |
Draft |
Preprint |
IST-REx-ID: 12077 |
Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv, 2104.14946.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 9558 |
Yalniz G, Hof B, Budanur NB. 2021. Coarse graining the state space of a turbulent flow using periodic orbits. Physical Review Letters. 126(24), 244502.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 8602 |
Boocock DR, Hino N, Ruzickova N, Hirashima T, Hannezo EB. 2021. Theory of mechanochemical patterning and optimal migration in cell monolayers. Nature Physics. 17, 267–274.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 |
Published |
Journal Article |
IST-REx-ID: 9817 |
Hafner C, Bickel B. 2021. The design space of plane elastic curves. ACM Transactions on Graphics. 40(4), 126.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |
Published |
Journal Article |
IST-REx-ID: 9429 |
Morandell J, Schwarz LA, Basilico B, Tasciyan S, Dimchev GA, Nicolas A, Sommer CM, Kreuzinger C, Dotter C, Knaus L, Dobler Z, Cacci E, Schur FK, Danzl JG, Novarino G. 2021. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. Nature Communications. 12(1), 3058.
[Published Version]
View
| Files available
| DOI
| WoS