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.
5082 Publications
2023 | Journal Article | IST-REx-ID: 14558
Bhattacharya S, Henzinger MH, Nanongkai D, Wu X. Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. 2023;52(5):1132-1192. doi:10.1137/21M1428649
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14559
Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D. Learning provably stabilizing neural controllers for discrete-time stochastic systems. In: 21st International Symposium on Automated Technology for Verification and Analysis. Vol 14215. Springer Nature; 2023:357-379. doi:10.1007/978-3-031-45329-8_17
View
| DOI
2023 | Journal Article | IST-REx-ID: 14554 |
Cornalba F, Shardlow T. The regularised inertial Dean’ Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime. ESAIM: Mathematical Modelling and Numerical Analysis. 2023;57(5):3061-3090. doi:10.1051/m2an/2023077
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14556 |
Berdan EL, Barton NH, Butlin R, et al. How chromosomal inversions reorient the evolutionary process. Journal of Evolutionary Biology. 2023. doi:10.1111/jeb.14242
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14555 |
Riedl M, Sixt MK. The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction. Frontiers in Cell and Developmental Biology. 2023;11. doi:10.3389/fcell.2023.1287420
[Published Version]
View
| Files available
| DOI