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, Marwan N., and Beatriz Vicoso. Data for: “Single-Nucleus Atlas of the Artemia Female Reproductive System Suggests Germline Repression of the Z Chromosome.” Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17362.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Book Chapter |
IST-REx-ID: 17425
Miranda, Osvaldo, et al. “Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers.” Neuronal Morphogenesis, edited by Kazuhito Toyooka, 1st ed., vol. 2831, Springer Nature, 2024, pp. 283–99, 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, Bernd, et al. “1-Lipschitz Layers Compared: Memory, Speed, and Certifiable Robustness.” Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–83, 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, Elias. Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17485.
[Published Version]
View
| Files available
| DOI
2024 |
Research Data |
IST-REx-ID: 17488 |
Satapathy, Roshan K., et al. Bilateral Interactions of Optic-Flow Sensitive Neurons Coordinate Course Control in Flies. Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17488.
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17490 |
Markov, Ilia. Communication-Efficient Distributed Training of Deep Neural Networks : An Algorithms and Systems Perspective. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17490.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 17634 |
Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, vol. 15222, Springer Nature, 2024, pp. 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, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally Verified.” ArXiv, 2409.08119, 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, Darío. Structural Characterization of Spumavirus Capsid Assemblies. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18101.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18477 |
Kaczmarek, Beata M. Biochemical and Structural Insights into ADAR1 RNA Editing. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18477.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18129 |
Janik, Marian. Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18129.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17881 |
Mukhopadhyay, Soham. Thermal Effects in One Dimensional Josephson Chains. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17881.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18471 |
Agudelo Duenas, Nathalie. Visualizing the Neuronal Transcriptional Landscape with Tissue Context. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18471.
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 18144 |
Janik, Marian, et al. “Strong Charge-Photon Coupling in Planar Germanium Enabled by Granular Aluminium Superinductors.” ArXiv, 2407.03079, doi:10.48550/arXiv.2407.03079.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18104 |
Puglia, Denise. Everyday Electromechanics: Capacitive Strong Coupling to Mechanical Motion. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18104.
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 18057 |
Mukhopadhyay, Soham, et al. “Dual Relaxation Oscillations in a Josephson Junction Array.” ArXiv, 2408.07829, doi:10.48550/arXiv.2408.07829.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18574 |
Gupta, Divyansh. Visual Adaptations to Natural Statistics. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18574.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18531 |
Mrnjavac, Andrea. Early Stages of Sex Chromosome Evolution. Institute of Science and Technology Austria, 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, Miguel. Archaeal Membranes : In Silico Modelling and Design. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18661.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18642 |
Machnik, Nick N. Algorithms for Causal Learning and Comparative Analysis for Genomic Data. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18642.
[Published Version]
View
| Files available
| DOI