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.
6659 Publications
2023 |
Patent |
IST-REx-ID: 14965 |
Ficek J, Lehmann K-V, Locatello F, Raetsch G, Stark S. Methods of determining correspondences between biological properties of cells. 2023.
[Published Version]
View
| Files available
2023 |
Submitted |
Conference Paper |
IST-REx-ID: 14974 |
Zhang C, Janzing D, van der Schaar M, et al. Causality in the time of LLMs: Round table discussion results of CLeaR 2023. In: 2nd Conference on Causal Learning and Reasoning.
[Submitted Version]
View
| Files available
2023 |
Published |
Journal Article |
IST-REx-ID: 14985 |
Liu Z, Hong T, Xu L, et al. Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS. Interdisciplinary Materials. 2023;2(1):161-170. doi:10.1002/idm2.12056
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 14989 |
Malvai H, Kokoris Kogias E, Sonnino A, et al. Parakeet: Practical key transparency for end-to-end eEncrypted messaging. In: Proceedings of the 2023 Network and Distributed System Security Symposium. Internet Society; 2023. doi:10.14722/ndss.2023.24545
[Published Version]
View
| DOI
| Download Published Version (ext.)
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: 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 |
Draft |
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
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 15173 |
Kwan MA, Sah A, Sawhney M. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 2023;361(G2):565-575. doi:10.5802/crmath.423
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Conference Poster |
IST-REx-ID: 15292 |
Chen Y-L, Ly M, Wojtan C. Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation. ACM; 2023. doi:10.1145/3606037.3606836
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 17074 |
Brooks M, Seiringer R. Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases. Probability and Mathematical Physics. 2023;3(4):939-1000. doi:10.2140/pmp.2022.3.939
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 17078 |
Dass AV, Wunnava S, Langlais J, et al. RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces. ChemSystemsChem. 2023;5(1). doi:10.1002/syst.202200026
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 17079 |
Serebryakov A, Simm N, Dubach G. Characteristic polynomials of random truncations: Moments, duality and asymptotics. Random Matrices: Theory and Applications. 2023;12(01). doi:10.1142/s2010326322500496
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Submitted |
Preprint |
IST-REx-ID: 17100 |
Giambartolomei G, Frederik Mallmann-Trenn FM-T, Saona Urmeneta RJ. Prophet inequalities: Separating random order from order selection. arXiv. doi:10.48550/arXiv.2304.04024
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2023 |
Draft |
Preprint |
IST-REx-ID: 17173 |
Reker J. Multi-point functional central limit theorem for Wigner Matrices. arXiv. doi:10.48550/arXiv.2307.11028
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2023 |
Draft |
Preprint |
IST-REx-ID: 17174 |
Erdös L, Henheik SJ, Reker J, Riabov V. Prethermalization for deformed Wigner Matrices. arXiv. doi:10.48550/arXiv.2310.06677
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv