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.
474 Publications
2024 |
Published |
Conference Paper |
IST-REx-ID: 17426 |
Prach, B., Brau, F., Buttazzo, G., & Lampert, C. (2024). 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 24574–24583). Seattle, WA, United States: Computer Vision Foundation. https://doi.org/10.1109/CVPR52733.2024.02320
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17485 |
Frantar, E. (2024). Compressing large neural networks : Algorithms, systems and scaling laws. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17485
[Published Version]
View
| Files available
| DOI
2024 |
Research Data |
IST-REx-ID: 17488 |
Satapathy, R. K., Jösch, M. A., Symonova, O., & Pokusaeva, V. (2024). Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17488
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17490 |
Markov, I. (2024). Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17490
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 17634 |
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). QuAK: Quantitative Automata Kit. In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Vol. 15222, pp. 3–20). Crete, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-75387-9_1
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Draft |
Preprint |
IST-REx-ID: 20071 |
Dvorak, M., & Kolmogorov, V. (n.d.). Duality theory in linear optimization and its extensions -- formally verified. arXiv. https://doi.org/10.48550/arXiv.2409.08119
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18101 |
Porley Esteves, D. (2024). Structural characterization of spumavirus capsid assemblies. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18101
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18477 |
Kaczmarek, B. M. (2024). Biochemical and structural insights into ADAR1 RNA editing. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18477
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18129 |
Janik, M. (2024). Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18129
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17881 |
Mukhopadhyay, S. (2024). Thermal effects in one dimensional Josephson chains. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17881
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18471 |
Agudelo Duenas, N. (2024). Visualizing the neuronal transcriptional landscape with tissue context. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18471
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 18144 |
Janik, M., Roux, K. E. R., Borja Espinosa, C. N., Sagi, O., Baghdadi, A., Adletzberger, T., … Katsaros, G. (n.d.). Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors. arXiv. https://doi.org/10.48550/arXiv.2407.03079
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18104 |
Puglia, D. (2024). Everyday electromechanics: Capacitive strong coupling to mechanical motion. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18104
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 18057 |
Mukhopadhyay, S., Lancheros Naranjo, D. A., Senior, J. L., & Higginbotham, A. P. (n.d.). Dual relaxation oscillations in a Josephson junction array. arXiv. https://doi.org/10.48550/arXiv.2408.07829
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18574 |
Gupta, D. (2024). Visual adaptations to natural statistics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18574
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18531 |
Mrnjavac, A. (2024). Early stages of sex chromosome evolution. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18531
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18661 |
Santana de Freitas Amaral, M. (2024). Archaeal membranes : In silico modelling and design. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18661
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18642 |
Machnik, N. N. (2024). Algorithms for causal learning and comparative analysis for genomic data. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18642
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 14796 |
Stankowski, S., Zagrodzka, Z. B., Garlovsky, M. D., Pal, A., Shipilina, D., Garcia Castillo, D. F., … Butlin, R. K. (2024). The genetic basis of a recent transition to live-bearing in marine snails. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.adi2982
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2024 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 18706 |
Portinale, L., & Quattrocchi, F. (2024). Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs. European Journal of Applied Mathematics. Cambridge University Press. https://doi.org/10.1017/s0956792524000810
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS