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.
5019 Publications
2024 |Published| Conference Paper | IST-REx-ID: 17327 | 
Cano F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. Abstraction-based decision making for statistical properties. In: 9th International Conference on Formal Structures for Computation and Deduction. Vol 299. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.FSCD.2024.2
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 15298 |
Buri P, Fatichi S, Shaw T, et al. Land surface modeling informed by earth observation data: Toward understanding blue–green–white water fluxes in High Mountain Asia. Geo-Spatial Information Science. 2024;27(3):703-727. doi:10.1080/10095020.2024.2330546
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17323 |
Browning TD, Verzobio M. Strong divisibility sequences and sieve methods. Mathematika. 2024;70(4). doi:10.1112/mtk.12269
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17322 |
Cheng B. Cartesian atomic cluster expansion for machine learning interatomic potentials. npj Computational Materials. 2024;10. doi:10.1038/s41524-024-01332-4
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17143 |
Dello Schiavo L, Maas J, Pedrotti F. Local conditions for global convergence of gradient flows and proximal point sequences in metric spaces. Transactions of the American Mathematical Society. 2024;377(6):3779-3804. doi:10.1090/tran/9156
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Submitted| Preprint | IST-REx-ID: 17350 |
Pedrotti F, Maas J, Mondelli M. Improved convergence of score-based diffusion models via prediction-correction. arXiv. doi:10.48550/arXiv.2305.14164
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Submitted| 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
2024 |Submitted| Preprint | IST-REx-ID: 17353 |
Brigati G, Pedrotti F. Heat flow, log-concavity, and Lipschitz transport maps. arXiv. doi:10.48550/arXiv.2404.15205
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 15101 |
Chen J. Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. 2024. doi:10.15479/at:ista:15101
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 14843
Chen J, Kaufmann W, Chen C, et al. Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. 2024;112(5):755-771.e9. doi:10.1016/j.neuron.2023.12.002
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Submitted| Preprint | IST-REx-ID: 17361 |
Bauer M, Ishida S, Michor PW. Symplectic structures on the space of space curves. arXiv. doi:10.48550/arXiv.2407.19908
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17319
Lukic K. Membrane proteins in plant physiology and bioenergetics: Investigating auxin efflux transporter PIN8 and ATP synthase inhibition by the novel inhibitor Yaku’amide B. 2024. doi:10.15479/at:ista:17319
[Published Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 12428 |
Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi:10.1007/978-1-0716-2887-4_12
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12534 |
Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 2023;5(1). doi:10.1103/physrevresearch.5.013029
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12676 |
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Book Chapter | IST-REx-ID: 12720
Arroyo-Urea S, Watson J, García-Nafría J. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023:33-44. doi:10.1007/978-1-0716-3004-4_3
View
| DOI
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 12735 |
Koval N, Alistarh D-A, Elizarov R. Fast and scalable channels in Kotlin Coroutines. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2023:107-118. doi:10.1145/3572848.3577481
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Poster | IST-REx-ID: 12736 |
Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 12760 |
Henzinger MH, Neumann S, Räcke H, Schmid S. Dynamic maintenance of monotone dynamic programs and applications. In: 40th International Symposium on Theoretical Aspects of Computer Science. Vol 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.STACS.2023.36
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Thesis | IST-REx-ID: 12716 |
Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716
[Published Version]
View
| Files available
| DOI