On the trace embedding and its applications to evolution equations
A. Agresti, N. Lindemulder, M. Veraar, Mathematische Nachrichten 296 (2023) 1319–1350.
LibreCat: https://research-explorer.ista.ac.at/record/12429
DOI: 10.1002/mana.202100192
WoS: 000914134900001
arXiv: 2104.05063

Bogoliubov dynamics and higher-order corrections for the regularized Nelson model
M. Falconi, N.K. Leopold, D.J. Mitrouskas, S.P. Petrat, Reviews in Mathematical Physics 35 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12430
DOI: 10.1142/S0129055X2350006X
WoS: 000909760300001
arXiv: 2110.00458

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

Efficient data structures for incremental exact and approximate maximum flow
G. Goranci, M.H. Henzinger, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14085
DOI: 10.4230/LIPIcs.ICALP.2023.69

Parameter estimation for Gibbs distributions
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14084
DOI: 10.4230/LIPIcs.ICALP.2023.72
arXiv: 2007.10824

Faster submodular maximization for several classes of matroids
M.H. Henzinger, P. Liu, J. Vondrák, D.W. Zheng, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14086
DOI: 10.4230/LIPIcs.ICALP.2023.74
arXiv: 2305.00122

Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery
N. Resch, C. Yuan, Y. Zhang, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14083
DOI: 10.4230/LIPIcs.ICALP.2023.99
arXiv: 2210.07754

Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media
G.M. Grosjean, S.R. Waitukaitis, Physical Review Letters 130 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12697
DOI: 10.1103/physrevlett.130.098202
WoS: 000946178200008
arXiv: 2211.02488

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

Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
LibreCat: https://research-explorer.ista.ac.at/record/14242
DOI: 10.1609/aaai.v37i12.26747
arXiv: 2211.16187

Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
LibreCat: https://research-explorer.ista.ac.at/record/14243
DOI: 10.1609/aaai.v37i5.25679
arXiv: 2211.13626

Stealth shaper: Reflectivity optimization as surface stylization
K. Tojo, A. Shamir, B. Bickel, N. Umetani, in:, SIGGRAPH 2023 Conference Proceedings, Association for Computing Machinery, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14241
DOI: 10.1145/3588432.3591542
arXiv: 2305.05944

Loss of ET/E in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons
D.R. Ladle, S. Hippenmeyer, Journal of Neurophysiology 129 (2023) 501–512.
LibreCat: https://research-explorer.ista.ac.at/record/12562
DOI: 10.1152/jn.00172.2022
WoS: 000957721600001
PMID: 36695533

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

Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium
J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 35–45.
LibreCat: https://research-explorer.ista.ac.at/record/12205
DOI: 10.1245/s10434-022-12459-3
WoS: 000852125500006

ASO Visual Abstract: Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome, and patient survival in primary and recurrent high-grade serous ovarian cancer (HGSOC). A multicenter, retrospective study of the ovarian cancer therapy—innovative models prolong survival (OCTIPS) consortium
J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 46–47.
LibreCat: https://research-explorer.ista.ac.at/record/12115
DOI: 10.1245/s10434-022-12681-z
WoS: 000879151800001

Neuronal ER-plasma membrane junctions couple excitation to C+-activated PKA signaling
N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14253
DOI: 10.1038/s41467-023-40930-6
PMID: 37633939

Guessing winning policies in LTL synthesis by semantic learning
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
LibreCat: https://research-explorer.ista.ac.at/record/14259
DOI: 10.1007/978-3-031-37706-8_20

TeST: Test-time Self-Training under distribution shift
S. Sinha, P. Gehler, F. Locatello, B. Schiele, in:, 2023 IEEE/CVF Winter Conference on Applications of Computer Vision, Institute of Electrical and Electronics Engineers, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14105
DOI: 10.1109/wacv56688.2023.00278
arXiv: 2209.11459