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.
7112 Publications
2023 | Published | Journal Article | IST-REx-ID: 14363 | 
Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout
M.E. Maes, G. Colombo, F.E. Schoot Uiterkamp, F. Sternberg, A. Venturino, E.E. Pohl, S. Siegert, IScience 26 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.E. Maes, G. Colombo, F.E. Schoot Uiterkamp, F. Sternberg, A. Venturino, E.E. Pohl, S. Siegert, IScience 26 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14364 |
Why extension-based proofs fail
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, SIAM Journal on Computing 52 (2023) 913–944.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, SIAM Journal on Computing 52 (2023) 913–944.
2023 | Published | Journal Article | IST-REx-ID: 14378 |
Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks
M.C. Ucar, E.B. Hannezo, E. Tiilikainen, I. Liaqat, E. Jakobsson, H. Nurmi, K. Vaahtomeri, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.C. Ucar, E.B. Hannezo, E. Tiilikainen, I. Liaqat, E. Jakobsson, H. Nurmi, K. Vaahtomeri, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14401 |
BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps
M.E. Maes, R.J. Donahue, C.L. Schlamp, O.J. Marola, R.T. Libby, R.W. Nickells, Molecular Neurodegeneration 18 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.E. Maes, R.J. Donahue, C.L. Schlamp, O.J. Marola, R.T. Libby, R.W. Nickells, Molecular Neurodegeneration 18 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14404
Widening the use of 3D printing
D. Balazs, M. Ibáñez, Science 381 (2023) 1413–1414.
View
| DOI
| PubMed | Europe PMC
D. Balazs, M. Ibáñez, Science 381 (2023) 1413–1414.
2023 | Published | Conference Paper | IST-REx-ID: 14405 |
Hypernode automata
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14410
On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift
P. Tomaszewska, C. Lampert, in:, International Workshop on Reproducible Research in Pattern Recognition, Springer Nature, 2023, pp. 67–73.
View
| DOI
P. Tomaszewska, C. Lampert, in:, International Workshop on Reproducible Research in Pattern Recognition, Springer Nature, 2023, pp. 67–73.
2023 | Published | Conference Paper | IST-REx-ID: 14417 |
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
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.
2023 | Published | Journal Article | IST-REx-ID: 14426 |
Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics
I.A. Unterweger, J. Klepstad, E.B. Hannezo, P.R. Lundegaard, A. Trusina, E.A. Ober, PLoS Biology 21 (2023).
[Published Version]
View
| Files available
| DOI
I.A. Unterweger, J. Klepstad, E.B. Hannezo, P.R. Lundegaard, A. Trusina, E.A. Ober, PLoS Biology 21 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14428 |
Random oracle combiners: Breaking the concatenation barrier for collision-resistance
Y. Dodis, N. Ferguson, E. Goldin, P. Hall, K.Z. Pietrzak, in:, 43rd Annual International Cryptology Conference, Springer Nature, 2023, pp. 514–546.
[Preprint]
View
| DOI
| Download Preprint (ext.)
Y. Dodis, N. Ferguson, E. Goldin, P. Hall, K.Z. Pietrzak, in:, 43rd Annual International Cryptology Conference, Springer Nature, 2023, pp. 514–546.
2023 | Published | Journal Article | IST-REx-ID: 14434
A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries
R. He, L. Yang, Y. Zhang, D. Jiang, S. Lee, S. Horta, Z. Liang, X. Lu, A. Ostovari Moghaddam, J. Li, M. Ibáñez, Y. Xu, Y. Zhou, A. Cabot, Advanced Materials 35 (2023).
View
| DOI
| WoS
| PubMed | Europe PMC
R. He, L. Yang, Y. Zhang, D. Jiang, S. Lee, S. Horta, Z. Liang, X. Lu, A. Ostovari Moghaddam, J. Li, M. Ibáñez, Y. Xu, Y. Zhou, A. Cabot, Advanced Materials 35 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14441 |
The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy
M. Brooks, R. Seiringer, Communications in Mathematical Physics 404 (2023) 287–337.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Brooks, R. Seiringer, Communications in Mathematical Physics 404 (2023) 287–337.
2023 | Published | Journal Article | IST-REx-ID: 14443
Addressing global environmental challenges to mental health using population neuroscience: A review
Schumann G, Andreassen OA, Banaschewski T, Calhoun VD, Clinton N, Desrivieres S, Brandlistuen RE, Feng J, Hese S, Hitchen E, Hoffmann P, Jia T, Jirsa V, Marquand AF, Nees F, Nöthen MM, Novarino G, Polemiti E, Ralser M, Rapp M, Schepanski K, Schikowski T, Slater M, Sommer P, Stahl BC, Thompson PM, Twardziok S, Van Der Meer D, Walter H, Westlye L. 2023. Addressing global environmental challenges to mental health using population neuroscience: A review. JAMA Psychiatry. 80(10), 1066–1074.
View
| DOI
| PubMed | Europe PMC
Schumann G, Andreassen OA, Banaschewski T, Calhoun VD, Clinton N, Desrivieres S, Brandlistuen RE, Feng J, Hese S, Hitchen E, Hoffmann P, Jia T, Jirsa V, Marquand AF, Nees F, Nöthen MM, Novarino G, Polemiti E, Ralser M, Rapp M, Schepanski K, Schikowski T, Slater M, Sommer P, Stahl BC, Thompson PM, Twardziok S, Van Der Meer D, Walter H, Westlye L. 2023. Addressing global environmental challenges to mental health using population neuroscience: A review. JAMA Psychiatry. 80(10), 1066–1074.
2023 | Published | Journal Article | IST-REx-ID: 14445 |
Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes
U. Wagner, P. Wild, Israel Journal of Mathematics 256 (2023) 675–717.
[Published Version]
View
| Files available
| DOI
| WoS
U. Wagner, P. Wild, Israel Journal of Mathematics 256 (2023) 675–717.
2023 | Published | Journal Article | IST-REx-ID: 14446 |
Against the flow of time with multi-output models
J. Jakubík, M. Phuong, M. Chvosteková, A. Krakovská, Measurement Science Review 23 (2023) 175–183.
[Published Version]
View
| Files available
| DOI
J. Jakubík, M. Phuong, M. Chvosteková, A. Krakovská, Measurement Science Review 23 (2023) 175–183.
2023 | Published | Conference Paper | IST-REx-ID: 14448 |
Solving relaxations of MAP-MRF problems: Combinatorial in-face Frank-Wolfe directions
V. Kolmogorov, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2023, pp. 11980–11989.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2023, pp. 11980–11989.
2023 | Published | Journal Article | IST-REx-ID: 14452 |
The infinitesimal model with dominance
N.H. Barton, A.M. Etheridge, A. Véber, Genetics 225 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
N.H. Barton, A.M. Etheridge, A. Véber, Genetics 225 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14454 |
Monitoring algorithmic fairness under partial observations
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
2023 | Published | Journal Article | IST-REx-ID: 14455 |
Tempering expectations: Considerations on the current state of stem cells therapy for autism treatment
A. Narzisi, A. Halladay, G. Masi, G. Novarino, C. Lord, Frontiers in Psychiatry 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Narzisi, A. Halladay, G. Masi, G. Novarino, C. Lord, Frontiers in Psychiatry 14 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14458 |
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
E. Frantar, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10323–10337.