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, 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
2024 |
Published |
Journal Article |
IST-REx-ID: 14796 |
Stankowski, Sean, 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, 2024, pp. 114–19, doi: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, Lorenzo, and Filippo Quattrocchi. “Discrete-to-Continuum Limits of Optimal Transport with Linear Growth on Periodic Graphs.” European Journal of Applied Mathematics, Cambridge University Press, 2024, pp. 1–29, doi:10.1017/s0956792524000810.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS