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.
6436 Publications
2023 |
Research Data Reference |
IST-REx-ID: 14990 |
Meggendorfer, Tobias. Artefact for: Correct Approximation of Stationary Distributions. Zenodo, 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, Yi-Ling, et al. Data-Assessing Memory in Convection Schemes Using Idealized Tests. Zenodo, 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, Mathieu, et al. “Universal Functionals in Density Functional Theory.” Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., Springer, 2023, pp. 115–82, 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, Christopher, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” 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, Rupak, et al. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. Zenodo, 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, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. Zenodo, 2023, doi:10.5281/ZENODO.7877757.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Conference Paper |
IST-REx-ID: 15023 |
Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” 37th Conference on Neural Information Processing Systems, 2023.
[Published Version]
View
| Files available
| arXiv
2023 |
Research Data Reference |
IST-REx-ID: 15027 |
Curk, Samo. Aggregation_data. Figshare, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 2023, doi:10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Draft |
Preprint |
IST-REx-ID: 15039 |
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, 2311.06103, doi:10.48550/ARXIV.2311.06103.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 15173 |
Kwan, Matthew Alan, et al. “Enumerating Matroids and Linear Spaces.” Comptes Rendus Mathematique, vol. 361, no. G2, Academie des Sciences, 2023, pp. 565–75, doi:10.5802/crmath.423.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Conference Poster |
IST-REx-ID: 15292 |
Chen, Yi-Lu, et al. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2023, doi:10.1145/3606037.3606836.
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 15363 |
Safaryan, Mher, et al. “Knowledge Distillation Performs Partial Variance Reduction.” 36th Conference on Neural Information Processing Systems, vol. 36, 2023.
[Published Version]
View
| Files available
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 15364 |
Charikar, Moses, et al. “Simple, Scalable and Effective Clustering via One-Dimensional Projections.” 37th Conference on Neural Information Processing Systems, vol. 36, 2023.
[Published Version]
View
| Files available
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 10770 |
Graham, Thomas, et al. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.” Dynamic Games and Applications, vol. 13, Springer Nature, 2023, pp. 231–64, doi:10.1007/s13235-022-00425-3.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 11434
GOSWAMI, BIDYUT B. “Role of the Eastern Equatorial Indian Ocean Warming in the Indian Summer Monsoon Rainfall Trend.” Climate Dynamics, vol. 60, Springer Nature, 2023, pp. 427–42, doi:10.1007/s00382-022-06337-7.
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 10145 |
Dello Schiavo, Lorenzo. “Ergodic Decomposition of Dirichlet Forms via Direct Integrals and Applications.” Potential Analysis, vol. 58, Springer Nature, 2023, pp. 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, Nicolas. “Optimal Decay of the Parabolic Semigroup in Stochastic Homogenization for Correlated Coefficient Fields.” Stochastics and Partial Differential Equations: Analysis and Computations, vol. 11, Springer Nature, 2023, pp. 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, Giorgio, et al. “Central Limit Theorem for Linear Eigenvalue Statistics of Non-Hermitian Random Matrices.” Communications on Pure and Applied Mathematics, vol. 76, no. 5, Wiley, 2023, pp. 946–1034, doi:10.1002/cpa.22028.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 10550 |
Fellner, Klemens, et al. “Global Renormalised Solutions and Equilibration of Reaction-Diffusion Systems with Non-Linear Diffusion.” Journal of Nonlinear Science, vol. 33, 66, Springer Nature, 2023, doi:10.1007/s00332-023-09926-w.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv