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.




5730 Publications

2023 | Published | Book Chapter | IST-REx-ID: 14992 | OA
Universal Functionals in Density Functional Theory
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14993 | OA
A framework for grassroots research collaboration in machine learning and global health
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, 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 | OA
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Conference Paper | IST-REx-ID: 15023 | OA
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Published Version] View | Files available | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Submitted | Preprint | IST-REx-ID: 15039 | OA
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 15173 | OA
Enumerating matroids and linear spaces
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 15363 | OA
Knowledge distillation performs partial variance reduction
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, 2023.
[Published Version] View | Files available | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 15364 | OA
Simple, scalable and effective clustering via one-dimensional projections
M. Charikar, L. Hu, M. Henzinger, M. Vötsch, E. Waingarten, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Published Version] View | Files available | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 18179 | OA
p-adic directions of primitive vectors
A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 12856 | OA
Vamos: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
[Published Version] View | Files available | DOI
 
2023 | Draft | Preprint | IST-REx-ID: 14644 | OA
Mechanism of mammalian transcriptional repression by noncoding RNA
K. Tluckova, A.P. Testa Salmazo, C. Bernecky, (n.d.).
[Submitted Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 12890 | OA
Stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, Physical Review E 108 (2023).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 14655 | OA
Transverse fluctuations control the assembly of semiflexible filaments
V. Sorichetti, M. Lenz, Physical Review Letters 131 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2023 | Research Data | IST-REx-ID: 12869 | OA
Research data for: A stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, (2023).
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 12789 | OA
Accurate determination of the shapes of granular charge distributions
N. Mujica, S.R. Waitukaitis, Physical Review E 107 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 14514 | OA
Modeling Leidenfrost levitation of soft elastic solids
J. Binysh, I. Chakraborty, M.V. Chubynsky, V.L. Diaz Melian, S.R. Waitukaitis, J.E. Sprittles, A. Souslov, Physical Review Letters 131 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13231 | OA
X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula
M. Schörner, M. Bethkenhagen, T. Döppner, D. Kraus, L.B. Fletcher, S.H. Glenzer, R. Redmer, Physical Review E 107 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 12545 | OA
Wetting dynamics by mixtures of fast and slow self-propelled particles
M.N. Rojas Vega, P. De Castro, R. Soto, Physical Review E 107 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed