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.
4957 Publications
2023 | Research Data Reference | IST-REx-ID: 14990 | 
Meggendorfer T. Artefact for: Correct Approximation of Stationary Distributions. 2023. doi:10.5281/ZENODO.7548214
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14991 |
Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. Data-assessing memory in convection schemes using idealized tests. 2023. doi:10.5281/ZENODO.7757041
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Book Chapter | IST-REx-ID: 14992 |
Lewin M, Lieb EH, Seiringer R. Universal Functionals in Density Functional Theory. In: Cances E, Friesecke G, eds. Density Functional Theory. 1st ed. MAMOMO. Springer; 2023:115-182. doi:10.1007/978-3-031-22340-2_3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14993 |
Currin C, Asiedu MN, Fourie C, et al. A framework for grassroots research collaboration in machine learning and global health. In: 1st Workshop on Machine Learning & Global Health. OpenReview; 2023.
[Published Version]
View
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14994 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi:10.5281/ZENODO.7877790
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14995 |
Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. 2023. doi:10.5281/ZENODO.7877757
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Epub ahead of print | Conference Paper | IST-REx-ID: 15023 |
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: 37th Conference on Neural Information Processing Systems. ; 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 15027 |
Curk S. aggregation_data. 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. 2023. doi:10.5281/ZENODO.8191723
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Submitted | Preprint | IST-REx-ID: 15039 |
Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv. doi:10.48550/ARXIV.2311.06103
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 9651 |
Dymond M, Kaluza V. Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. 2023. doi:10.1007/s10711-023-00862-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 9652 |
Dymond M, Kaluza V. Highly irregular separated nets. Israel Journal of Mathematics. 2023;253:501-554. doi:10.1007/s11856-022-2448-6
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 10145 |
Dello Schiavo L. Ergodic decomposition of Dirichlet forms via direct integrals and applications. Potential Analysis. 2023;58:573-615. doi:10.1007/s11118-021-09951-y
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 10173 |
Clozeau N. Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields. Stochastics and Partial Differential Equations: Analysis and Computations. 2023;11:1254–1378. doi:10.1007/s40072-022-00254-w
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 10405 |
Cipolloni G, Erdös L, Schröder DJ. Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices. Communications on Pure and Applied Mathematics. 2023;76(5):946-1034. doi:10.1002/cpa.22028
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 10550 |
Fellner K, Fischer JL, Kniely M, Tang BQ. Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion. Journal of Nonlinear Science. 2023;33. doi:10.1007/s00332-023-09926-w
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 10551 |
Cornalba F, Fischer JL. The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. 2023;247(5). doi:10.1007/s00205-023-01903-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 10770 |
Graham T, Kleshnina M, Filar JA. Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. 2023;13:231-264. doi:10.1007/s13235-022-00425-3
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Thesis | IST-REx-ID: 12900
Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:12900
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13200 |
Qiu L, Sahu R, Hease WJ, Arnold GM, Fink JM. Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. 2023;14. doi:10.1038/s41467-023-39493-3
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv