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