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.

6456 Publications


2024 | Published | Journal Article | IST-REx-ID: 17481 | OA
Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | 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 | 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 | Journal Article | IST-REx-ID: 17493 | OA
Many-body entropies and entanglement from polynomially many local measurements
B. Vermersch, M. Ljubotina, J.I. Cirac, P. Zoller, M. Serbyn, L. Piroli, Physical Review X 14 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17495 | OA
RefinedRust: A type system for high-assurance verification of rust programs
L. Gäher, M.J. Sammler, R. Jung, R. Krebbers, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 1115–1139.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17497 | OA
Quiver: Guided abductive inference of separation logic specifications in coq
S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 889–913.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17517 | OA
NuSTAR observations of candidate subparsec binary supermassive black holes
M.L. Saade, M. Brightman, D. Stern, T. Connor, S.G. Djorgovski, D.J. D’Orazio, K.E.S. Ford, M.J. Graham, Z. Haiman, H.D. Jun, E. Kammoun, R.P. Kraft, B. McKernan, A. Vikhlinin, D.J. Walton, The Astrophysical Journal 966 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17531 | OA
Shock cooling and breakout emission for optical flares associated with gravitational-wave events
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal 966 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17535 | OA
Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio
M.T. Scoggins, Z. Haiman, Monthly Notices of the Royal Astronomical Society 531 (2024) 4584–4597.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17545 | OA
Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations
L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Physical Review D 109 (2024).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17546 | OA
Eccentric minidisks in accreting binaries
J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 962 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17590 | OA
“Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole
C. Xin, Z. Haiman, R. Perna, Y. Wang, T. Ryu, The Astrophysical Journal 961 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Submitted | Preprint | IST-REx-ID: 17634 | OA
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Thesis | IST-REx-ID: 17850 | OA
Fitness landscapes of orthologous green fluorescent proteins
L. Gonzalez Somermeyer, Fitness Landscapes of Orthologous Green Fluorescent Proteins, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 17852 | OA
Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions
W. Lee, L. Li, M. Camarasa-Gómez, D. Hernangómez-Pérez, X. Roy, F. Evers, M.S. Inkpen, L. Venkataraman, Nature Communications 15 (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17884 | OA
Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice
M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D.J. Porley, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology (2024).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17885 | OA
The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation
L. Kofler, L. Grundmann, M. Gerhalter, M. Prattes, J. Merl-Pham, G. Zisser, I. Grishkovskaya, V.-V. Hodirnau, M. Vareka, R. Breinbauer, S.M. Hauck, D. Haselbach, H. Bergler, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17886 | OA
The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks
D. Zendrikov, A. Paraskevov, Neural Networks 180 (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17887 | OA
Approximation of classical two-phase flows of viscous incompressible fluids by a Navier–Stokes/Allen–Cahn system
H. Abels, J.L. Fischer, M. Moser, Archive for Rational Mechanics and Analysis 248 (2024).
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed