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.

666 Publications


2023 |Submitted| Preprint | IST-REx-ID: 17351 | OA [Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 |Published| Conference Paper | IST-REx-ID: 14417 | OA
Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 48th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 

2023 |Published| Journal Article | IST-REx-ID: 14784 | OA
Exposure of volunteers to microgravity by dry immersion bed over 21 days results in gene expression changes and adaptation of T cells
Gallardo-Dodd CJ, Oertlin C, Record J, Galvani RG, Sommerauer C, Kuznetsov NV, Doukoumopoulos E, Ali L, Oliveira MMS, Seitz C, Percipalle M, Nikić T, Sadova AA, Shulgina SM, Shmarov VA, Kutko OV, Vlasova DD, Orlova KD, Rykova MP, Andersson J, Percipalle P, Kutter C, Ponomarev SA, Westerberg LS. 2023. Exposure of volunteers to microgravity by dry immersion bed over 21 days results in gene expression changes and adaptation of T cells. Science Advances. 9(34), adg1610.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 |Published| Journal Article | IST-REx-ID: 17500 | OA
DimSum: A decentralized approach to multi-language semantics and verification
M.J. Sammler, S. Spies, Y. Song, E. D’Osualdo, R. Krebbers, D. Garg, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 775–805.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17498 | OA
Melocoton: A program logic for verified interoperability between OCaml and C
A. Guéneau, J. Hostert, S. Spies, M.J. Sammler, L. Birkedal, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 716–744.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17499 | OA
Conditional contextual refinement
Y. Song, M. Cho, D. Lee, C.-K. Hur, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 1121–1151.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17507 | OA
Observable signatures of stellar-mass black holes in active galactic nuclei
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal Letters 946 (2023).
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17513 | OA
Gravitational wave source populations: Disentangling an AGN component
V. Gayathri, D. Wysocki, Y. Yang, V. Delfavero, R. O’Shaughnessy, Z. Haiman, H. Tagawa, I. Bartos, The Astrophysical Journal Letters 945 (2023).
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17514 | OA [Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17521 | OA
Disappearing thermal X-ray emission as a tell-tale signature of merging massive black hole binaries
L.M. Krauth, J. Davelaar, J.R. Westernacher-Schneider, Z. Haiman, J. Zrake, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 526 (2023) 5441–5454.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17522 | OA
Self-regulation of black hole accretion via jets in early protogalaxies
K.-Y. Su, G.L. Bryan, Z. Haiman, R.S. Somerville, C.C. Hayward, C.-A. Faucher-Giguère, Monthly Notices of the Royal Astronomical Society 520 (2023) 4258–4275.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17527 | OA
Flares from stars crossing active galactic nucleus discs on low-inclination orbits
H. Tagawa, Z. Haiman, Monthly Notices of the Royal Astronomical Society 526 (2023) 69–79.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17539 | OA
Gas dynamical friction as a binary formation mechanism in AGN discs
S. DeLaurentiis, M. Epstein-Martin, Z. Haiman, Monthly Notices of the Royal Astronomical Society 523 (2023) 1126–1139.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Conference Paper | IST-REx-ID: 14459 | OA
Fundamental limits of two-layer autoencoders, and achieving them with gradient methods
A. Shevchenko, K. Kögler, H. Hassani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 31151–31209.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 |Published| Conference Paper | IST-REx-ID: 14461 | OA
Quantized distributed training of large models with convergence guarantees
I. Markov, A. Vladu, Q. Guo, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 24020–24044.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 |Published| Journal Article | IST-REx-ID: 17549 | OA
A SPectroscopic survey of biased halos in the reionization Era (ASPIRE): A first look at the rest-frame optical spectra of > 6.5 quasars using JWST
Yang J, Wang F, Fan X, Hennawi JF, Barth AJ, Bañados E, Sun F, Liu W, Cai Z, Jiang L, Li Z, Onoue M, Schindler J-T, Shen Y, Wu Y, Bhowmick AK, Bieri R, Blecha L, Bosman S, Champagne JB, Colina L, Connor T, Costa T, Davies FB, Decarli R, De Rosa G, Drake AB, Egami E, Eilers A-C, Evans AE, Farina EP, Habouzit M, Haiman Z, Jin X, Jun HD, Kakiichi K, Khusanova Y, Kulkarni G, Loiacono F, Lupi A, Mazzucchelli C, Pan Z, Rojas-Ruiz S, Strauss MA, Tee WL, Trakhtenbrot B, Trebitsch M, Venemans B, Vestergaard M, Volonteri M, Walter F, Xie Z-L, Yue M, Zhang H, Zhang H, Zou S. 2023. A SPectroscopic survey of biased halos in the reionization Era (ASPIRE): A first look at the rest-frame optical spectra of > 6.5 quasars using JWST. The Astrophysical Journal Letters. 951(1), L5.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17551 | OA
Cosmological constraints from HSC survey first-year data using deep learning
T. Lu, Z. Haiman, X. Li, Monthly Notices of the Royal Astronomical Society 521 (2023) 2050–2066.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17548 | OA
The importance of live binary evolution in numerical simulations of binaries embedded in circumbinary discs
A. Franchini, A. Lupi, A. Sesana, Z. Haiman, Monthly Notices of the Royal Astronomical Society 522 (2023) 1569–1574.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17557 | OA
Black hole binaries in AGN accretion discs – II. Gas effects on black hole satellite scatterings
C. Rowan, H. Whitehead, T. Boekholt, B. Kocsis, Z. Haiman, Monthly Notices of the Royal Astronomical Society 527 (2023) 10448–10468.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 17558 | OA
Detection of stellar light from quasar host galaxies at redshifts above 6
Ding X, Onoue M, Silverman JD, Matsuoka Y, Izumi T, Strauss MA, Jahnke K, Phillips CL, Li J, Volonteri M, Haiman Z, Andika IT, Aoki K, Baba S, Bieri R, Bosman SEI, Bottrell C, Eilers A-C, Fujimoto S, Habouzit M, Imanishi M, Inayoshi K, Iwasawa K, Kashikawa N, Kawaguchi T, Kohno K, Lee C-H, Lupi A, Lyu J, Nagao T, Overzier R, Schindler J-T, Schramm M, Shimasaku K, Toba Y, Trakhtenbrot B, Trebitsch M, Treu T, Umehata H, Venemans BP, Vestergaard M, Walter F, Wang F, Yang J. 2023. Detection of stellar light from quasar host galaxies at redshifts above 6. Nature. 621(7977), 51–55.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 |Published| Journal Article | IST-REx-ID: 17573 | OA
Astrophysics with the laser interferometer space antenna
Amaro-Seoane P et al. 2023. Astrophysics with the laser interferometer space antenna. Living Reviews in Relativity. 26(1), 2.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 12765 | OA
Behavioural defences against parasites across host social structures
S. Stockmaier, Y. Ulrich, G.F. Albery, S. Cremer, P.C. Lopes, Functional Ecology 37 (2023) 809–820.
View | DOI | Download None (ext.) | WoS
 

2023 |Published| Journal Article | IST-REx-ID: 14442 | OA
Mixtures of self-propelled particles interacting with asymmetric obstacles
M.N. Rojas Vega, P. De Castro, R. Soto, The European Physical Journal E 46 (2023).
View | DOI | Download None (ext.) | PubMed | Europe PMC | arXiv
 

2023 |Published| Conference Paper | IST-REx-ID: 14559 | OA
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 |Published| Journal Article | IST-REx-ID: 17584 | OA [Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Thesis | IST-REx-ID: 12491 | OA
Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Thesis | IST-REx-ID: 13984 | OA
Individual and social immunity against viral infections in ants
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Thesis | IST-REx-ID: 12964 | OA
Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Thesis | IST-REx-ID: 12809 | OA
Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Journal Article | IST-REx-ID: 14082 | OA
ZnUMBA - a live imaging method to detect local barrier breaches
T. Higashi, R.E. Stephenson, C. Schwayer, K. Huljev, A.Y. Higashi, C.-P.J. Heisenberg, H. Chiba, A.L. Miller, Journal of Cell Science 136 (2023).
View | Files available | DOI | WoS
 

2023 |Published| Thesis | IST-REx-ID: 12781 | OA
Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog
V. Kravchuk, Structural and Mechanistic Study of Bacterial Complex I and Its Cyanobacterial Ortholog, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Thesis | IST-REx-ID: 12891 | OA
Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues
A. Schauer, Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Journal Article | IST-REx-ID: 14656 | OA
The structure of hippocampal CA1 interactions optimizes spatial coding across experience
M. Nardin, J.L. Csicsvari, G. Tkačik, C. Savin, The Journal of Neuroscience 43 (2023) 8140–8156.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 |Published| Journal Article | IST-REx-ID: 12837 | OA
Cell cycle dynamics control fluidity of the developing mouse neuroepithelium
L. Bocanegra, A. Singh, E.B. Hannezo, M.P. Zagórski, A. Kicheva, Nature Physics 19 (2023) 1050–1058.
[Published Version] View | Files available | DOI | WoS
 

2023 |Published| Journal Article | IST-REx-ID: 13201 | OA
The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation
Y. Wang, Z. Yuan, J. Wang, H. Xiao, L. Wan, L. Li, Y. Guo, Z. Gong, J. Friml, J. Zhang, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 |Published| Thesis | IST-REx-ID: 13081 | OA
Epithelial dynamics during mouse neural tube development
L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Thesis | IST-REx-ID: 12531 | OA
Panoramic functional gradients across the mouse retina
K. Kirillova, Panoramic Functional Gradients across the Mouse Retina, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Thesis | IST-REx-ID: 12800 | OA
The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone
M. Julseth, The Effect of Local Population Structure on Genetic Variation at Selected Loci in the A. Majus Hybrid Zone, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Thesis | IST-REx-ID: 14226 | OA
Generalizing medial axes with homology switches
E.R. Stephenson, Generalizing Medial Axes with Homology Switches, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Thesis | IST-REx-ID: 14510
Mechanism of clathrin-coated vesicle formation during endocytosis in plants
N. Gnyliukh, Mechanism of Clathrin-Coated Vesicle  Formation during Endocytosis in Plants, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Thesis | IST-REx-ID: 12897 | OA
Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Journal Article | IST-REx-ID: 13188 | OA
The design space of Kirchhoff rods
C. Hafner, B. Bickel, ACM Transactions on Graphics 42 (2023).
[Submitted Version] View | Files available | DOI | WoS
 

2023 |Published| Thesis | IST-REx-ID: 12470 | OA
A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy
J.M. Michalska, A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Journal Article | IST-REx-ID: 14032 | OA
Superconductivity from a melted insulator in Josephson junction arrays
S. Mukhopadhyay, J.L. Senior, J. Saez Mollejo, D. Puglia, M. Zemlicka, J.M. Fink, A.P. Higginbotham, Nature Physics 19 (2023) 1630–1635.
[Published Version] View | Files available | DOI | WoS
 

2023 |Published| Conference Paper | IST-REx-ID: 17378 | OA
OPTQ: Accurate post-training quantization for generative pre-trained transformers
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
[Published Version] View | Files available
 

2023 |Published| Conference Paper | IST-REx-ID: 14458 | OA
SparseGPT: Massive language models can be accurately pruned in one-shot
E. Frantar, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10323–10337.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2023

Search

Filter Publications