Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5794 Publications
2024 | Draft | Preprint | IST-REx-ID: 18143 | 
Puglia D, Odessey RH, Burns PS, Luhmann N, Schmid S, Higginbotham AP. Room temperature, cavity-free capacitive strong coupling to mechanical motion. arXiv. doi:10.48550/arXiv.2407.15314
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17465 |
Shevchenko A. High-dimensional limits in artificial neural networks. 2024. doi:10.15479/at:ista:17465
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17469 |
Kögler K, Shevchenko A, Hassani H, Mondelli M. Compression of structured data with autoencoders: Provable benefit of nonlinearities and depth. In: Proceedings of the 41st International Conference on Machine Learning. Vol 235. ML Research Press; 2024:24964-25015.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17346 |
Bollmann L. Stability and change in the memory system during rest. 2024. doi:10.15479/at:ista:17346
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 14821 |
Chiossi HSC. Adaptive hierarchical representations in the hippocampus. 2024. doi:10.15479/at:ista:14821
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18661 |
Santana de Freitas Amaral M. Archaeal membranes : In silico modelling and design. 2024. doi:10.15479/at:ista:18661
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18642 |
Machnik NN. Algorithms for causal learning and comparative analysis for genomic data. 2024. doi:10.15479/at:ista:18642
[Published Version]
View
| Files available
| DOI
2024 | Published | Preprint | IST-REx-ID: 18648 |
Machnik NN, Mahmoudi SM, Borczyk M, Krätschmer I, Bauer MJ, Robinson MR. Causal inference for multiple risk factors and diseases from genomics data. bioRxiv. 2024. doi:10.1101/2023.12.06.570392
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2024 | Draft | Preprint | IST-REx-ID: 18670 |
Santana de Freitas Amaral M, Frey FF, Jiang X, Baum B, Šarić A. Stability vs flexibility: Reshaping archaeal membranes in silico. bioRxiv. doi:10.1101/2024.10.18.619072
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2024 | Published | Thesis | IST-REx-ID: 17119 |
Kelemen RK. Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver. 2024. doi:10.15479/at:ista:17119
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18531 |
Mrnjavac A. Early stages of sex chromosome evolution. 2024. doi:10.15479/at:ista:18531
[Published Version]
View
| Files available
| DOI
2024 | Draft | Preprint | IST-REx-ID: 18549 |
Mrnjavac A, Vicoso B. Evidence of a Slower-Z effect in Schistosoma japonicum. bioRxiv. doi:10.1101/2024.07.02.601697
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2024 | Draft | Preprint | IST-REx-ID: 17352 |
Khudiakova K, Maas J, Pedrotti F. L∞-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher’s infinitesimal model. arXiv. doi:10.48550/arXiv.2402.04151
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13139 |
Meggendorfer T. Correct approximation of stationary distributions. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13993. Springer Nature; 2023:489-507. doi:10.1007/978-3-031-30823-9_25
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13141 |
Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi:10.1007/978-3-031-30820-8_15
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13143 |
Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 13165 |
Fang L, Huang H, Pach J, Tardos G, Zuo J. Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory Series A. 2023;199(10). doi:10.1016/j.jcta.2023.105776
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13168 |
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13177 |
Hua B, Keller M, Schwarz M, Wirth M. Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. Proceedings of the American Mathematical Society. 2023;151(8):3401-3414. doi:10.1090/proc/14361
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13179 |
Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230
[Published Version]
View
| Files available
| DOI