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
1-Lipschitz layers compared: Memory, speed, and certifiable robustness
B. Prach, F. Brau, G. Buttazzo, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–24583.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17485 | OA
Compressing large neural networks : Algorithms, systems and scaling laws
E. Frantar, Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Research Data | IST-REx-ID: 17488 | OA
Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17490 | OA
Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective
I. Markov, Communication-Efficient Distributed Training of Deep Neural Networks : An Algorithms and Systems Perspective, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Draft | Preprint | IST-REx-ID: 20071 | OA
Duality theory in linear optimization and its extensions -- formally verified
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18101 | OA
Structural characterization of spumavirus capsid assemblies
D. Porley Esteves, Structural Characterization of Spumavirus Capsid Assemblies, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18477 | OA
Biochemical and structural insights into ADAR1 RNA editing
B.M. Kaczmarek, Biochemical and Structural Insights into ADAR1 RNA Editing, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18129 | OA
Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors
M. Janik, Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17881 | OA
Thermal effects in one dimensional Josephson chains
S. Mukhopadhyay, Thermal Effects in One Dimensional Josephson Chains, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18471 | OA
Visualizing the neuronal transcriptional landscape with tissue context
N. Agudelo Duenas, Visualizing the Neuronal Transcriptional Landscape with Tissue Context, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Draft | Preprint | IST-REx-ID: 18144 | OA
Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors
M. Janik, K.E.R. Roux, C.N. Borja Espinosa, O. Sagi, A. Baghdadi, T. Adletzberger, S. Calcaterra, M. Botifoll, A.G. Manjón, J. Arbiol, D. Chrastina, G. Isella, I.M. Pop, G. Katsaros, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18104 | OA
Everyday electromechanics: Capacitive strong coupling to mechanical motion
D. Puglia, Everyday Electromechanics: Capacitive Strong Coupling to Mechanical Motion, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Draft | Preprint | IST-REx-ID: 18057 | OA
Dual relaxation oscillations in a Josephson junction array
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18574 | OA
Visual adaptations to natural statistics
D. Gupta, Visual Adaptations to Natural Statistics, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18531 | OA
Early stages of sex chromosome evolution
A. Mrnjavac, Early Stages of Sex Chromosome Evolution, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18661 | OA
Archaeal membranes : In silico modelling and design
M. Santana de Freitas Amaral, Archaeal Membranes : In Silico Modelling and Design, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18642 | OA
Algorithms for causal learning and comparative analysis for genomic data
N.N. Machnik, Algorithms for Causal Learning and Comparative Analysis for Genomic Data, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 14796 | OA
The genetic basis of a recent transition to live-bearing in marine snails
S. Stankowski, Z.B. Zagrodzka, M.D. Garlovsky, A. Pal, D. Shipilina, D.F. Garcia Castillo, H. Lifchitz, A. Le Moan, E. Leder, J. Reeve, K. Johannesson, A.M. Westram, R.K. Butlin, Science 383 (2024) 114–119.
[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
Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics (2024) 1–29.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed