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.

12146 Publications


2021 | Published | Journal Article | IST-REx-ID: 9047 | OA
Mondelli, M., Hashemi, S. A., Cioffi, J. M., & Goldsmith, A. (2021). Sublinear latency for simplified successive cancellation decoding of polar codes. IEEE Transactions on Wireless Communications. IEEE. https://doi.org/10.1109/TWC.2020.3022922
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 15267 | OA
Czumaj, A., & Davies, P. (2021). Exploiting spontaneous transmissions for broadcasting and leader election in radio networks. Journal of the ACM. ACM. https://doi.org/10.1145/3446383
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10575 | OA
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. World Scientific Publishing. https://doi.org/10.1142/S0218202521500470
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10005 | OA
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. World Scientific Publishing. https://doi.org/10.1142/S0218202521500457
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger, T. A., Lechner, M., & Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press. https://doi.org/10.1609/aaai.v35i5.16496
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
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. https://doi.org/10.1609/aaai.v35i9.16936
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 11436 | OA
Kungurtsev, V., Egan, M., Chatterjee, B., & Alistarh, D.-A. (2021). Asynchronous optimization methods for efficient training of deep neural networks with guarantees. In 35th AAAI Conference on Artificial Intelligence, AAAI 2021 (Vol. 35, pp. 8209–8216). Virtual, Online: AAAI Press. https://doi.org/10.1609/aaai.v35i9.16999
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
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. https://doi.org/10.1609/aaai.v35i13.17372
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Thesis | PhD | 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. https://doi.org/10.1609/aaai.v35i10.17092
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

earlier version | 2021 | Draft | Preprint | IST-REx-ID: 12077 | OA
Shute, A. L. (n.d.). On the leading constant in the Manin-type conjecture for Campana points. arXiv. https://doi.org/10.48550/arXiv.2104.14946
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9558 | OA
Yalniz, G., Hof, B., & Budanur, N. B. (2021). Coarse graining the state space of a turbulent flow using periodic orbits. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.126.244502
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 8602 | OA
Boocock, D. R., Hino, N., Ruzickova, N., Hirashima, T., & Hannezo, E. B. (2021). Theory of mechanochemical patterning and optimal migration in cell monolayers. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-020-01037-7
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9817 | OA
Hafner, C., & Bickel, B. (2021). The design space of plane elastic curves. ACM Transactions on Graphics. Virtual: Association for Computing Machinery. https://doi.org/10.1145/3450626.3459800
[Published Version] View | Files available | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9429 | OA
Morandell, J., Schwarz, L. A., Basilico, B., Tasciyan, S., Dimchev, G. A., Nicolas, A., … Novarino, G. (2021). Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-23123-x
[Published Version] View | Files available | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 8966 | OA
Schauer, A., & Heisenberg, C.-P. J. (2021). Reassembling gastrulation. Developmental Biology. Elsevier. https://doi.org/10.1016/j.ydbio.2020.12.014
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9349 | OA
Lenne PF, Munro E, Heemskerk I, Warmflash A, Bocanegra L, Kishi K, Kicheva A, Long Y, Fruleux A, Boudaoud A, Saunders TE, Caldarelli P, Michaut A, Gros J, Maroudas-Sacks Y, Keren K, Hannezo EB, Gartner ZJ, Stormo B, Gladfelter A, Rodrigues A, Shyer A, Minc N, Maître JL, Di Talia S, Khamaisi B, Sprinzak D, Tlili S. 2021. Roadmap for the multiscale coupling of biochemical and mechanical signals during development. Physical biology. 18(4), 041501.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 7883 | OA
Kuzmicz-Kowalska, K., & Kicheva, A. (2021). Regulation of size and scale in vertebrate spinal cord development. Wiley Interdisciplinary Reviews: Developmental Biology. Wiley. https://doi.org/10.1002/wdev.383
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9250 | OA
Petit, Y. K., Mourad, E., Prehal, C., Leypold, C., Windischbacher, A., Mijailovic, D., … Freunberger, S. A. (2021). Mechanism of mediated alkali peroxide oxidation and triplet versus singlet oxygen formation. Nature Chemistry. Springer Nature. https://doi.org/10.1038/s41557-021-00643-z
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9438 | OA
Vandael, D. H., Okamoto, Y., Borges Merjane, C., Vargas Barroso, V. M., Suter, B., & Jonas, P. M. (2021). Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses. Nature Protocols. Springer Nature. https://doi.org/10.1038/s41596-021-00526-0
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed