More flexible PAC-Bayesian meta-learning by learning learning algorithms
H. Zakerinia, A. Behjati, C. Lampert, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 58122–58139.

Improved modelling of federated datasets using mixtures-of-Dirichlet-multinomials
J.A. Scott, Á. Cahill, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 44012–44037.

SPADE: Sparsity-guided debugging for deep neural networks
A.S. Moakhar, E.B. Iofinova, E. Frantar, D.-A. Alistarh, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 45955–45987.

Counting rational points over function fields
J. Glas, Counting Rational Points over Function Fields, Institute of Science and Technology Austria, 2024.

Energies of dilute Fermi gases and universalities in BCS theory
A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024.

Shifts in attention drive context-dependent subspace encoding in anterior cingulate cortex in mice during decision making
M.A. Hajnal, D. Tran, Z. Szabó, A. Albert, K. Safaryan, M. Einstein, M. Vallejo Martelo, P.-O. Polack, P. Golshani, G. Orbán, Nature Communications 15 (2024).

Sound and complete witnesses for template-based verification of LTL properties on polynomial programs
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 600–619.

Private counting of distinct elements in the turnstile model and extensions
M. Henzinger, A.R. Sricharan, T.A. Steiner, in:, International Conference on Approximation Algorithms for Combinatorial Optimization Problems , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

Wasserstein geometry and Ricci curvature bounds for Poisson spaces
L. Dello Schiavo, R. Herry, K. Suzuki, Journal de l’Ecole Polytechnique - Mathematiques 11 (2024) 957–1010.

Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 3–12.

Solving long-run average reward robust MDPs via stochastic games
K. Chatterjee, E. Goharshady, M. Karrabi, P. Novotný, D. Zikelic, in:, 33rd International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 6707–6715.

Generation of TIM chaperone substrate complexes
U. Guillerm, I. Sudec, P. Schanda, in:, Methods in Enzymology, Elsevier, 2024, pp. 391–422.

Unveiling the dynamic self-assembly of a recombinant dragline-silk-mimicking protein
D. Wu, A. Koscic, S. Schneider, R.C.A. Dubini, D.C. Rodriguez Camargo, S. Schneider, P. Rovo, Biomacromolecules 25 (2024) 1759–1774.

Starvation increases susceptibility to bacterial infection and promotes systemic pathogen proliferation in Drosophila melanogaster females
A. Basu, A. Singh, S. Sehgal, T. Madaan, N.G. Prasad, Journal of Invertebrate Pathology 207 (2024).

Asteroseismic signatures of core magnetism and rotation in hundreds of low-luminosity red giants
E.J. Hatt, J.M.J. Ong, M.B. Nielsen, W.J. Chaplin, G.R. Davies, S. Deheuvels, J. Ballot, G. Li, L.A. Bugnet, Monthly Notices of the Royal Astronomical Society 534 (2024) 1060–1076.

Rational points on complete intersections of cubic and quadric hypersurfaces over Fq(t)
J. Glas, Journal of the London Mathematical Society 110 (2024).

Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system
M. Wassermair, G. Kahl, R. Roth, A.J. Archer, The Journal of Chemical Physics 161 (2024).

The fault in our stars: Designing reproducible large-scale code analysis experiments
P. Maj, S. Muroya Lei, K. Siek, L. Di Grazia, J. Vitek, in:, 38th European Conference on Object-Oriented Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

Quantum many-body spin ratchets
L. Zadnik, M. Ljubotina, d. Krajnik, E. Ilievski, T. Prosen, PRX Quantum 5 (2024).

BNClassifier: Classifying boolean models by dynamic properties
N. Benes, L. Brim, O. Huvar, S. Pastva, D. Safránek, in:, Computational Methods in Systems Biology, Springer Nature, 2024, pp. 19–26.