Efficiency and generalization of sparse neural networks
E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.

Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution
A. Mrnjavac, K. Khudiakova, N.H. Barton, B. Vicoso, Evolution Letters 7 (2023).

Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain
F. Lombardi, S. Pepic, O. Shriki, G. Tkadik, D. De Martino, Nature Computational Science 3 (2023) 254–263.

Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.

Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.

Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.

Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.

Ergodicity breaking in disordered and kinetically constrained quantum many-body systems
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.

Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.

Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, A.L. Sumser, M.A. Jösch, (2023).

Exterior algebra and combinatorics
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.

Erds-Ko-Rado and Hilton-Milner theorems for two-forms
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).

Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Density of the union of positive diagonal binary quadratic forms
Y. Diao, Acta Arithmetica 207 (2023) 1–17.

Synapseek: Meta-learning synaptic plasticity rules
B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023.

Boundary superconductivity in BCS theory
B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.

Boundary superconductivity in the BCS model
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.

Brief announcement: BatchBoost: Universal batching for concurrent data structures
V. Aksenov, M. Anoprenko, A. Fedorov, M. Spear, in:, 37th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Research data for: A stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, (2023).