Efficiency and generalization of sparse neural networks
E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13074
DOI: 10.15479/at:ista:13074

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).
LibreCat: https://research-explorer.ista.ac.at/record/12521
DOI: 10.1093/evlett/qrac004
WoS: 001021692200001
PMID: 37065438

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.
LibreCat: https://research-explorer.ista.ac.at/record/12762
DOI: 10.1038/s43588-023-00410-9
arXiv: 2108.06686

Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13175
DOI: 10.15479/at:ista:13175

Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12900
DOI: 10.15479/at:ista:12900

Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
LibreCat: https://research-explorer.ista.ac.at/record/13310
DOI: 10.1007/978-3-031-37703-7_17
arXiv: 2305.15979

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.
LibreCat: https://research-explorer.ista.ac.at/record/14261
DOI: 10.1021/acs.jpclett.3c01707
WoS: 001048165800001
PMID: 37566743

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.
LibreCat: https://research-explorer.ista.ac.at/record/12732
DOI: 10.15479/at:ista:12732

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.
LibreCat: https://research-explorer.ista.ac.at/record/13120
DOI: 10.4230/LIPIcs.ITP.2023.15
arXiv: 2302.06420

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.
LibreCat: https://research-explorer.ista.ac.at/record/12349
DOI: 10.1038/s41593-023-01280-0
WoS: 000955258300002
PMID: 36959418

Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, A.L. Sumser, M.A. Jösch, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12370
DOI: 10.15479/AT:ISTA:12370

Exterior algebra and combinatorics
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13331
DOI: 10.15479/at:ista:13331

Erds-Ko-Rado and Hilton-Milner theorems for two-forms
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12680
DOI: 10.1016/j.disc.2023.113363
arXiv: 2201.10892

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.
LibreCat: https://research-explorer.ista.ac.at/record/13221
DOI: 10.4230/LIPIcs.CONCUR.2023.17
arXiv: 2307.06016

Density of the union of positive diagonal binary quadratic forms
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
LibreCat: https://research-explorer.ista.ac.at/record/12406
DOI: 10.4064/aa210830-24-11
WoS: 000912903000001
arXiv: 2103.08268

Synapseek: Meta-learning synaptic plasticity rules
B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14422
DOI: 10.15479/at:ista:14422

Boundary superconductivity in BCS theory
B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14374
DOI: 10.15479/at:ista:14374

Boundary superconductivity in the BCS model
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
LibreCat: https://research-explorer.ista.ac.at/record/13207
DOI: 10.4171/JST/439
WoS: 000997933500008
arXiv: 2201.08090

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.
LibreCat: https://research-explorer.ista.ac.at/record/14485
DOI: 10.4230/LIPIcs.DISC.2023.35

Research data for: A stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12869
DOI: 10.15479/AT:ISTA:12869