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.
466 Publications
2024 |
Research Data |
IST-REx-ID: 17362 |
Elkrewi MN, Vicoso B. Data for: “Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.” 2024. doi:10.15479/AT:ISTA:17362
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Book Chapter |
IST-REx-ID: 17425
Miranda O, Cheung GT, Hippenmeyer S. Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers. In: Toyooka K, ed. Neuronal Morphogenesis. Vol 2831. 1st ed. MIMB. New York, NY: Springer Nature; 2024:283-299. doi:10.1007/978-1-0716-3969-6_19
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |
Published |
Conference Paper |
IST-REx-ID: 17426 |
Prach B, Brau F, Buttazzo G, Lampert C. 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. Computer Vision Foundation; 2024:24574-24583. doi: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. Compressing large neural networks : Algorithms, systems and scaling laws. 2024. doi:10.15479/at:ista:17485
[Published Version]
View
| Files available
| DOI
2024 |
Research Data |
IST-REx-ID: 17488 |
Satapathy RK, Jösch MA, Symonova O, Pokusaeva V. Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. 2024. doi:10.15479/AT:ISTA:17488
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17490 |
Markov I. Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective. 2024. doi:10.15479/at:ista:17490
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 17634 |
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. In: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Vol 15222. Springer Nature; 2024:3-20. doi: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. Duality theory in linear optimization and its extensions -- formally verified. arXiv. doi: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. Structural characterization of spumavirus capsid assemblies. 2024. doi:10.15479/at:ista:18101
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18477 |
Kaczmarek BM. Biochemical and structural insights into ADAR1 RNA editing. 2024. doi:10.15479/at:ista:18477
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18129 |
Janik M. Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors. 2024. doi:10.15479/at:ista:18129
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17881 |
Mukhopadhyay S. Thermal effects in one dimensional Josephson chains. 2024. doi:10.15479/at:ista:17881
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18471 |
Agudelo Duenas N. Visualizing the neuronal transcriptional landscape with tissue context. 2024. doi:10.15479/at:ista:18471
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 18144 |
Janik M, Roux KER, Borja Espinosa CN, et al. Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors. arXiv. doi:10.48550/arXiv.2407.03079
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18104 |
Puglia D. Everyday electromechanics: Capacitive strong coupling to mechanical motion. 2024. doi:10.15479/at:ista:18104
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 18057 |
Mukhopadhyay S, Lancheros Naranjo DA, Senior JL, Higginbotham AP. Dual relaxation oscillations in a Josephson junction array. arXiv. doi:10.48550/arXiv.2408.07829
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18574 |
Gupta D. Visual adaptations to natural statistics. 2024. doi:10.15479/at:ista:18574
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18531 |
Mrnjavac A. Early stages of sex chromosome evolution. 2024. doi:10.15479/at:ista:18531
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18661 |
Santana de Freitas Amaral M. Archaeal membranes : In silico modelling and design. 2024. doi:10.15479/at:ista:18661
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18642 |
Machnik NN. Algorithms for causal learning and comparative analysis for genomic data. 2024. doi:10.15479/at:ista:18642
[Published Version]
View
| Files available
| DOI