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.




510 Publications

2024 | Research Data | IST-REx-ID: 17362 | OA
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 | OA
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 | OA
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 | OA
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.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 17490 | OA
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 | OA
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 | Published | Thesis | PhD | IST-REx-ID: 17850 | OA
Gonzalez Somermeyer, Louisa. Fitness Landscapes of Orthologous Green Fluorescent Proteins. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17850.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Henzinger, Thomas A., et al. “Strategic Dominance: A New Preorder for Nondeterministic Processes.” 35th International Conference on Concurrency Theory, vol. 311, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.29.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18076 | OA
Sagi, Oliver. Hybrid Circuits on Planar Germanium. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18076.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 18086
Alwen, Joel F., et al. “DeCAF: Decentralizable CGKA with Fast Healing.” Security and Cryptography for Networks: 14th International Conference, edited by Clemente Galdi and Duong Hieu Phan, vol. 14974, Springer Nature, 2024, pp. 294–313, doi:10.1007/978-3-031-71073-5_14.
View | Files available | DOI | WoS
 
2024 | Published | Journal Article | IST-REx-ID: 18087 | OA
Maslov, Mikhail, et al. “Theory of Angular Momentum Transfer from Light to Molecules.” Physical Review Research, vol. 6, no. 3, 033277, American Physical Society, 2024, doi:10.1103/physrevresearch.6.033277.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18088 | OA
Pascual Perez, Guillermo. On the Efficiency and Security of Secure Group Messaging. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18088.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18107 | OA
Lauritsen, Asbjørn Bækgaard, and Robert Seiringer. “Pressure of a Dilute Spin-Polarized Fermi Gas: Lower Bound.” Forum of Mathematics, Sigma, vol. 12, e78, Cambridge University Press, 2024, doi:10.1017/fms.2024.56.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18113 | OA
Egiazarian, Vage, et al. “Extreme Compression of Large Language Models via Additive Quantization.” Proceedings of the 41st International Conference on Machine Learning, vol. 235, ML Research Press, 2024, pp. 12284–303.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18117 | OA
Nikdan, Mahdi, et al. “RoSA: Accurate Parameter-Efficient Fine-Tuning via Robust Adaptation.” Proceedings of the 41st International Conference on Machine Learning, vol. 235, ML Research Press, 2024, pp. 38187–206.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18132 | OA
Glas, Jakob. Counting Rational Points over Function Fields. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18132.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18135 | OA
Lauritsen, Asbjørn Bækgaard. Energies of Dilute Fermi Gases and Universalities in BCS Theory. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18135.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18174 | OA
Wassermair, Michael, et al. “Fingerprints of Ordered Self-Assembled Structures in the Liquid Phase of a Hard-Core, Square-Shoulder System.” The Journal of Chemical Physics, vol. 161, no. 12, 124503, AIP Publishing, 2024, doi:10.1063/5.0226954.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18266
Chatterjee, Krishnendu, et al. “Value-Positivity for Matrix Games.” Mathematics of Operations Research, vol. 50, no. 4, Institute for Operations Research and the Management Sciences, 2024, pp. 2433–3282, doi:10.1287/moor.2022.0332.
View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed