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.

474 Publications


2024 | Published | Conference Paper | IST-REx-ID: 17426 | OA
Prach, Bernd, Fabio Brau, Giorgio Buttazzo, and Christoph Lampert. “1-Lipschitz Layers Compared: Memory, Speed, and Certifiable Robustness.” In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 24574–83. Computer Vision Foundation, 2024. https://doi.org/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. https://doi.org/10.15479/at:ista:17485.
[Published Version] View | Files available | DOI
 

2024 | Research Data | IST-REx-ID: 17488 | OA
Satapathy, Roshan K, Maximilian A Jösch, Olga Symonova, and Victoria Pokusaeva. “Bilateral Interactions of Optic-Flow Sensitive Neurons Coordinate Course Control in Flies.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:17488.
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. https://doi.org/10.15479/at:ista:17490.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “QuAK: Quantitative Automata Kit.” In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 15222:3–20. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-75387-9_1.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Draft | Preprint | IST-REx-ID: 20071 | OA
Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally  Verified.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2409.08119.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18101 | OA
Porley Esteves, Darío. “Structural Characterization of Spumavirus Capsid Assemblies.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18101.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18477 | OA
Kaczmarek, Beata M. “Biochemical and Structural Insights into ADAR1 RNA Editing.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18477.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18129 | OA
Janik, Marian. “Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18129.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17881 | OA
Mukhopadhyay, Soham. “Thermal Effects in One Dimensional Josephson Chains.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17881.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18471 | OA
Agudelo Duenas, Nathalie. “Visualizing the Neuronal Transcriptional Landscape with Tissue Context.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18471.
[Published Version] View | Files available | DOI
 

2024 | Draft | Preprint | IST-REx-ID: 18144 | OA
Janik, Marian, Kevin Etienne Robert Roux, Carla N Borja Espinosa, Oliver Sagi, Abdulhamid Baghdadi, Thomas Adletzberger, Stefano Calcaterra, et al. “Strong Charge-Photon Coupling in Planar Germanium Enabled by Granular  Aluminium Superinductors.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2407.03079.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18104 | OA
Puglia, Denise. “Everyday Electromechanics: Capacitive Strong Coupling to Mechanical Motion.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18104.
[Published Version] View | Files available | DOI
 

2024 | Draft | Preprint | IST-REx-ID: 18057 | OA
Mukhopadhyay, Soham, Diego A Lancheros Naranjo, Jorden L Senior, and Andrew P Higginbotham. “Dual Relaxation Oscillations in a Josephson Junction Array.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2408.07829.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18574 | OA
Gupta, Divyansh. “Visual Adaptations to Natural Statistics.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18574.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18531 | OA
Mrnjavac, Andrea. “Early Stages of Sex Chromosome Evolution.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18531.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18661 | OA
Santana de Freitas Amaral, Miguel. “Archaeal Membranes : In Silico Modelling and Design.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18661.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18642 | OA
Machnik, Nick N. “Algorithms for Causal Learning and Comparative Analysis for Genomic Data.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18642.
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 14796 | OA
Stankowski, Sean, Zuzanna B. Zagrodzka, Martin D. Garlovsky, Arka Pal, Daria Shipilina, Diego Fernando Garcia Castillo, Hila Lifchitz, et al. “The Genetic Basis of a Recent Transition to Live-Bearing in Marine Snails.” Science. American Association for the Advancement of Science, 2024. https://doi.org/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 | OA
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. https://doi.org/10.1017/s0956792524000810.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed