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.
9087 Publications
2023 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 12672 |
Extensive de novo activity stabilizes epigenetic inheritance of CG methylation in Arabidopsis transposons
D.B. Lyons, A. Briffa, S. He, J. Choi, E. Hollwey, J. Colicchio, I. Anderson, X. Feng, M. Howard, D. Zilberman, Cell Reports 42 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
D.B. Lyons, A. Briffa, S. He, J. Choi, E. Hollwey, J. Colicchio, I. Anderson, X. Feng, M. Howard, D. Zilberman, Cell Reports 42 (2023).
2023 | Journal Article | IST-REx-ID: 13178 |
Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron
D.J. Mitrouskas, K. Mysliwy, R. Seiringer, Forum of Mathematics 11 (2023) 1–52.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D.J. Mitrouskas, K. Mysliwy, R. Seiringer, Forum of Mathematics 11 (2023) 1–52.
2023 | Journal Article | IST-REx-ID: 14484 |
Control of tissue development by morphogens
A. Kicheva, J. Briscoe, Annual Review of Cell and Developmental Biology 39 (2023) 91–121.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Kicheva, J. Briscoe, Annual Review of Cell and Developmental Biology 39 (2023) 91–121.
2023 | Journal Article | IST-REx-ID: 14488 |
A deeper analysis of volumetric relightiable faces
P. Rao, B.R. Mallikarjun, G. Fox, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, F. Zhan, A. Tewari, C. Theobalt, M. Elgharib, International Journal of Computer Vision (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Rao, B.R. Mallikarjun, G. Fox, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, F. Zhan, A. Tewari, C. Theobalt, M. Elgharib, International Journal of Computer Vision (2023).
2023 | Journal Article | IST-REx-ID: 14487 |
Land surface modeling in the Himalayas: On the importance of evaporative fluxes for the water balance of a high-elevation catchment
P. Buri, S. Fatichi, T. Shaw, E.S. Miles, M. McCarthy, C.L. Fyffe, S. Fugger, S. Ren, M. Kneib, A. Jouberton, J. Steiner, K. Fujita, F. Pellicciotti, Water Resources Research 59 (2023).
[Published Version]
View
| Files available
| DOI
P. Buri, S. Fatichi, T. Shaw, E.S. Miles, M. McCarthy, C.L. Fyffe, S. Fugger, S. Ren, M. Kneib, A. Jouberton, J. Steiner, K. Fujita, F. Pellicciotti, Water Resources Research 59 (2023).