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.
5320 Publications
2024 |Published| Journal Article | IST-REx-ID: 17283 | 
Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, and Dorde Zikelic. “Equivalence and Similarity Refutation for Probabilistic Programs.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2024. https://doi.org/10.1145/3656462.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17282 |
Brooks, Morris, and Jan Maas. “Characterisation of Gradient Flows for a given Functional.” Calculus of Variations and Partial Differential Equations. Springer Nature, 2024. https://doi.org/10.1007/s00526-024-02755-z.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17278 |
Wang, Xiaoyu, and Bingqing Cheng. “Integrating Molecular Dynamics Simulations and Experimental Data for Azeotrope Predictions in Binary Mixtures.” Journal of Chemical Physics. AIP Publishing, 2024. https://doi.org/10.1063/5.0217232.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17277 |
Brigati, Giovanni, Jean Dolbeault, and Nikita Simonov. “Stability for the Logarithmic Sobolev Inequality.” Journal of Functional Analysis. Elsevier, 2024. https://doi.org/10.1016/j.jfa.2024.110562.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17279
Avellaneda Sarrió, Mario, and Michael K Sixt. “Rescuing T Cells from Stiff Tumors.” Cell Chemical Biology. Elsevier, 2024. https://doi.org/10.1016/j.chembiol.2024.06.011.
View
| DOI
| PubMed | Europe PMC