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.

4448 Publications


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 | 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 [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
 

2024 | Published | Journal Article | IST-REx-ID: 17888 | OA [Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 17889 | OA
Anatomy of an ionized bubble: NIRCam grism spectroscopy of the z = 6.6 double-peaked Lyman- α emitter COLA1 and its environment
A. Torralba-Torregrosa, J.J. Matthee, R.P. Naidu, R. Mackenzie, G. Pezzulli, A. Hutter, P. Arnalte-Mur, S. Gurung-López, S. Tacchella, P. Oesch, D. Kashino, C. Conroy, D. Sobral, Astronomy and Astrophysics 689 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17890 | OA [Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17891 | OA
Understanding higher-order interactions in information space
H. Edelsbrunner, K. Ölsböck, H. Wagner, Entropy 26 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17892 | OA
Field theory of enzyme-substrate systems with restricted long-range interactions
F. Olmeda, S. Rulands, Physical Review E 110 (2024).
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 17893 | OA
Properties of the strong data processing constant for Rényi divergence
L. Jin, A.R. Esposito, M. Gastpar, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2024, pp. 3178–3183.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Submitted | 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 | Conference Paper | IST-REx-ID: 18061 | OA
QMoE: Sub-1-bit compression of trillion parameter models
E. Frantar, D.-A. Alistarh, in:, P. Gibbons, G. Pekhimenko, C. De Sa (Eds.), Proceedings of Machine Learning and Systems, 2024.
[Published Version] View | Files available | Download Published Version (ext.)
 

2024 | Published | Conference Paper | IST-REx-ID: 18062 | OA
Scaling laws for sparsely-connected foundation models
E. Frantar, C.R. Ruiz, N. Houlsby, D.-A. Alistarh, U. Evci, in:, The Twelfth International Conference on Learning Representations, 2024.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18063 | OA
Polarly localized Bro1 domain proteins regulate PIN-FORMED abundance and root gravitropic growth in Arabidopsis
Y. Peng, K. Ji, Y. Mao, Y. Wang, B. Korbei, C. Luschnig, J. Shen, E. Benková, J. Friml, S. Tan, Communications Biology 7 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18064 | OA
The average number of integral points on the congruent number curves
S. Chan, Advances in Mathematics 457 (2024).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18065 | OA
Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles
X. Hou, Y. Pan, Q. Zhou, Advances in Mathematics 457 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Conference Paper | IST-REx-ID: 18066 | OA
Bidding games with charging
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18067 | OA
History-determinism vs fair simulation
U. Boker, T.A. Henzinger, K. Lehtinen, A. Prakash, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Strategic dominance: A new preorder for nondeterministic processes
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed