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.

Generalized surface multifractality in two-dimensional disordered systems
S. Babkin, J.F. Karcher, I.S. Burmistrov, A.D. Mirlin, Physical Review B 108 (2023).

Hypernode automata
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Mesoscopic central limit theorem for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2023).

Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 48th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations
J.D. Boissonnat, S. Kachanovich, M. Wintraecken, SIAM Journal on Computing 52 (2023) 452–486.

Reactivity of single-atom alloy nanoparticles: Modeling the dehydrogenation of propane
R. Bunting, F. Wodaczek, T. Torabi, B. Cheng, Journal of the American Chemical Society 145 (2023) 14894–14902.

Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics
I.A. Unterweger, J. Klepstad, E.B. Hannezo, P.R. Lundegaard, A. Trusina, E.A. Ober, PLoS Biology 21 (2023).

Random oracle combiners: Breaking the concatenation barrier for collision-resistance
Y. Dodis, N. Ferguson, E. Goldin, P. Hall, K.Z. Pietrzak, in:, 43rd Annual International Cryptology Conference, Springer Nature, 2023, pp. 514–546.

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

Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action
L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023).

Fundamental limits in structured principal component analysis and how to reach them
J. Barbier, F. Camilli, M. Mondelli, M. Sáenz, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).

Nuclear spin effects in biological processes
O. Vardi, N. Maroudas-Sklare, Y. Kolodny, A. Volosniev, A. Saragovi, N. Galili, S. Ferrera, A. Ghazaryan, N. Yuran, H.P. Affek, B. Luz, Y. Goldsmith, N. Keren, S. Yochelis, I. Halevy, M. Lemeshko, Y. Paltiel, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).

Dynamics of a rank-one perturbation of a Hermitian matrix
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.

Functional central limit theorems for Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Annals of Applied Probability 33 (2023) 447–489.

The Hasse principle for random Fano hypersurfaces
T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.

Empirical parameterisation and dynamical analysis of the allometric Rosenzweig-MacArthur equations
J.C. Mckerral, M. Kleshnina, V. Ejov, L. Bartle, J.G. Mitchell, J.A. Filar, PLoS One 18 (2023) e0279838.

Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons
K. Eguchi, E. Le Monnier, R. Shigemoto, The Journal of Neuroscience 43 (2023) 4197–4216.

Uniform bounds for rational points on hyperelliptic fibrations
D. Bonolis, T.D. Browning, Annali Della Scuola Normale Superiore Di Pisa - Classe Di Scienze 24 (2023) 173–204.

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.

The infinitesimal model with dominance
N.H. Barton, A.M. Etheridge, A. Véber, Genetics 225 (2023).

The infinitesimal model with dominance
N.H. Barton, (2023).

Quantized distributed training of large models with convergence guarantees
I. Markov, A. Vladu, Q. Guo, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 24020–24044.

Constant matters: Fine-grained error bound on differentially private continual observation
H. Fichtenberger, M.H. Henzinger, J. Upadhyay, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10072–10092.

Fundamental limits of two-layer autoencoders, and achieving them with gradient methods
A. Shevchenko, K. Kögler, H. Hassani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 31151–31209.

SparseProp: Efficient sparse backpropagation for faster training of neural networks at the edge
M. Nikdan, T. Pegolotti, E.B. Iofinova, E. Kurtic, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 26215–26227.

Stronger lower bounds for leakage-resilient secret sharing
C. Hoffmann, M. Simkin, in:, 8th International Conference on Cryptology and Information Security in Latin America, Springer Nature, 2023, pp. 215–228.

SparseGPT: Massive language models can be accurately pruned in one-shot
E. Frantar, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10323–10337.

Multi-objective reward generalization: improving performance of Deep Reinforcement Learning for applications in single-asset trading
F. Cornalba, C. Disselkamp, D. Scassola, C. Helf, Neural Computing and Applications (2023).

Substructures in Latin squares
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Israel Journal of Mathematics 256 (2023) 363–416.

Monitoring algorithmic fairness under partial observations
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.

Against the flow of time with multi-output models
J. Jakubík, M. Phuong, M. Chvosteková, A. Krakovská, Measurement Science Review 23 (2023) 175–183.

The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy
M. Brooks, R. Seiringer, Communications in Mathematical Physics 404 (2023) 287–337.

Solving relaxations of MAP-MRF problems: Combinatorial in-face Frank-Wolfe directions
V. Kolmogorov, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2023, pp. 11980–11989.

Extensive de novo activity stabilizes epigenetic inheritance of CG methylation in Arabidopsis transposons
D.B. Lyons, A. Briffa, S. He, J. Choi, E. Hollwey, J. Colicchio, I. Anderson, X. Feng, M. Howard, D. Zilberman, Cell Reports 42 (2023).

Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron
D.J. Mitrouskas, K. Mysliwy, R. Seiringer, Forum of Mathematics 11 (2023) 1–52.

Control of tissue development by morphogens
A. Kicheva, J. Briscoe, Annual Review of Cell and Developmental Biology 39 (2023) 91–121.

A deeper analysis of volumetric relightiable faces
P. Rao, B.R. Mallikarjun, G. Fox, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, F. Zhan, A. Tewari, C. Theobalt, M. Elgharib, International Journal of Computer Vision (2023).

Land surface modeling in the Himalayas: On the importance of evaporative fluxes for the water balance of a high-elevation catchment
P. Buri, S. Fatichi, T. Shaw, E.S. Miles, M. McCarthy, C.L. Fyffe, S. Fugger, S. Ren, M. Kneib, A. Jouberton, J. Steiner, K. Fujita, F. Pellicciotti, Water Resources Research 59 (2023).

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.

Rotor lattice model of ferroelectric large polarons
G. Koutentakis, A. Ghazaryan, M. Lemeshko, Physical Review Research 5 (2023).

Rapid auxin signaling: Unknowns old and new
L. Fiedler, J. Friml, Current Opinion in Plant Biology 75 (2023).

Model output data to "Land surface modeling in the Himalayas: on the importance of evaporative fluxes for the water balance of a high elevation catchment"
P. Buri, S. Fatichi, T. Shaw, E. Miles, M. McCarthy, C.L. Fyffe, S. Fugger, S. Ren, M. Kneib, A. Jouberton, J. Steiner, K. Fujita, F. Pellicciotti, (2023).

Anticoncentration in Ramsey graphs and a proof of the Erds–McKay conjecture
M.A. Kwan, A. Sah, L. Sauermann, M. Sawhney, Forum of Mathematics, Pi 11 (2023).

Few-body Bose gases in low dimensions - A laboratory for quantum dynamics
S.I. Mistakidis, A. Volosniev, R.E. Barfknecht, T. Fogarty, T. Busch, A. Foerster, P. Schmelcher, N.T. Zinner, Physics Reports 1042 (2023) 1–108.

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

Stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, Physical Review E 108 (2023).

STROBE: Streaming Threshold Random Beacons
D. Beaver, M. Kelkar, K. Lewi, V. Nikolaenko, A. Sonnino, K. Chalkias, E. Kokoris Kogias, L.D. Naurois, A. Roy, in:, 5th Conference on Advances in Financial Technologies, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Compact vacuum-gap transmon qubits: Selective and sensitive probes for superconductor surface losses
M. Zemlicka, E. Redchenko, M. Peruzzo, F. Hassani, A. Trioni, S. Barzanjeh, J.M. Fink, Physical Review Applied 20 (2023).

Path weight sampling: Exact Monte Carlo computation of the mutual information between stochastic trajectories
M. Reinhardt, G. Tkadik, P.R. Ten Wolde, Physical Review X 13 (2023).

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).

SouslovLab/PRL2023-ModellingLeidenfrostLevitationofSoftElasticSolids: .0.1
J. Binysh, I. Chakraborty, M. Chubynsky, V.L. Diaz Melian, S.R. Waitukaitis, J. Sprittles, A. Souslov, (2023).

Reachability poorman discrete-bidding games
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.

Structural basis of NINJ1-mediated plasma membrane rupture in cell death
M. Degen, J.C. Santos, K. Pluhackova, G. Cebrero, S. Ramos, G. Jankevicius, E. Hartenian, U. Guillerm, S.A. Mari, B. Kohl, D.J. Müller, P. Schanda, T. Maier, C. Perez, C. Sieben, P. Broz, S. Hiller, Nature 618 (2023) 1065–1071.

Triarylamines as catholytes in aqueous organic redox flow batteries
N.L. Farag, R.B. Jethwa, A.E. Beardmore, T. Insinna, C.A. O’Keefe, P.A.A. Klusener, C.P. Grey, D.S. Wright, ChemSusChem 16 (2023).

Density-wave ordering in a unitary Fermi gas with photon-mediated interactions
V. Helson, T. Zwettler, F. Mivehvar, E. Colella, K.E.R. Roux, H. Konishi, H. Ritsch, J.P. Brantut, Nature 618 (2023) 716–720.

A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature
D. Feliciangeli, A. Gerolin, L. Portinale, Journal of Functional Analysis 285 (2023).

Sobolev-type inequalities and eigenvalue growth on graphs with finite measure
B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414.

The regularised inertial Dean' Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime
F. Cornalba, T. Shardlow, ESAIM: Mathematical Modelling and Numerical Analysis 57 (2023) 3061–3090.

How chromosomal inversions reorient the evolutionary process
E.L. Berdan, N.H. Barton, R. Butlin, B. Charlesworth, R. Faria, I. Fragata, K.J. Gilbert, P. Jay, M. Kapun, K.E. Lotterhos, C. Mérot, E. Durmaz Mitchell, M. Pascual, C.L. Peichel, M. Rafajlovi, A.M. Westram, S.W. Schaeffer, K. Johannesson, T. Flatt, Journal of Evolutionary Biology (2023).

The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction
M. Riedl, M.K. Sixt, Frontiers in Cell and Developmental Biology 11 (2023).

Universality in low-dimensional BCS theory
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics (2023).

Continuous-variable quantum tomography of high-amplitude states
E. Fedotova, N. Kuznetsov, E. Tiunov, A.E. Ulanov, A.I. Lvovsky, Physical Review A 108 (2023).

Millennia-long epigenetic fluctuations generate intragenic DNA methylation variance in Arabidopsis populations
A. Briffa, E. Hollwey, Z. Shahzad, J.D. Moore, D.B. Lyons, M. Howard, D. Zilberman, Cell Systems 14 (2023) 953–967.

HerbVar-Network/HV-Large-Patterns-MS-public: .0.0
W. Wetzel, (2023).

Arp isoforms regulate Ar/3 complex–dependent protrusion through differential Ena/VASP positioning
F. Fäßler, M. Javoor, J. Datler, H. Döring, F. Hofer, G.A. Dimchev, V.-V. Hodirnau, J. Faix, K. Rottner, F.K. Schur, Science Advances 9 (2023).

Research data of the publication "Arp isoforms regulate Ar/3 complex-dependent protrusion through differential Ena/VASP positioning"
F.K. Schur, (2023).

Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data
G.A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, F.K. Schur, (2023).

Adaptive pathfinding by nucleokinesis during amoeboid migration
J. Kroll, R. Hauschild, A. Kuznetcov, K. Stefanowski, M.D. Hermann, J. Merrin, L.B. Shafeek, A. Müller-Taubenberger, J. Renkawitz, EMBO Journal (2023).

Stress granules plug and stabilize damaged endolysosomal membranes
C. Bussi, A. Mangiarotti, C.E. Vanhille-Campos, B. Aylan, E. Pellegrino, N. Athanasiadi, A. Fearns, A. Rodgers, T.M. Franzmann, A. Sari, R. Dimova, M.G. Gutierrez, Nature (2023).

Stress granules plug and stabilize damaged endolysosomal membranes
C.E. Vanhille-Campos, A. Sari, (2023).

PCY-regulated lipid biosynthesis is critical to muscle health and ageing
D. Cikes, K. Elsayad, E. Sezgin, E. Koitai, T. Ferenc, M. Orthofer, R. Yarwood, L.X. Heinz, V. Sedlyarov, N. Darwish-Miranda, A. Taylor, S. Grapentine, F. al-Murshedi, A. Abot, A. Weidinger, C. Kutchukian, C. Sanchez, S.J.F. Cronin, M. Novatchkova, A. Kavirayani, T. Schuetz, B. Haubner, L. Haas, A. Hagelkruys, S. Jackowski, A. Kozlov, V. Jacquemond, C. Knauf, G. Superti-Furga, E. Rullman, T. Gustafsson, J. McDermot, M. Lowe, Z. Radak, J.S. Chamberlain, M. Bakovic, S. Banka, J.M. Penninger, Nature Metabolism 5 (2023) 495–515.

Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling
S. Das, Z. Xiang, E. Kokoris Kogias, L. Ren, in:, 32nd USENIX Security Symposium, Usenix, 2023, pp. 5359–5376.

A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals
A. Reinhardt, P.Y. Chew, B. Cheng, Journal of Chemical Physics 159 (2023).

The X chromosome of insects likely predates the origin of class Insecta
M.A. Toups, B. Vicoso, Evolution 77 (2023) 2504–2511.

The X chromosome of insects likely predates the origin of Class Insecta
M.A. Toups, B. Vicoso, (2023).

The X chromosome of insects likely predates the origin of Class Insecta
M.A. Toups, B. Vicoso, (2023).

BingqingCheng/solubility: .0
B. Cheng, (2023).

A shallowdeep unified stochastic mass flux cumulus parameterization in the single column community climate model
B. Khouider, B.B. GOSWAMI, R. Phani, A.J. Majda, Journal of Advances in Modeling Earth Systems 15 (2023).

Accurate determination of the shapes of granular charge distributions
N. Mujica, S.R. Waitukaitis, Physical Review E 107 (2023).

Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, in:, SIROCCO 2023: Structural Information and Communication Complexity , Springer Nature, 2023, pp. 576–594.

Advances in efficiency and privacy in payment channel network analysis
M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023.

Lightning creation games
Z. Avarikioti, T. Lizurej, T. Michalak, M.X. Yeo, in:, 43rd International Conference on Distributed Computing Systems, IEEE, 2023, pp. 603–613.

Synchronization in collectively moving active matter
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.

Resonant microwave spectroscopy of Al-InAs
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.

Gate-tunable superconductor-semiconductor parametric amplifier
D.T. Phan, P. Falthansl-Scheinecker, U. Mishra, W.M. Strickland, D. Langone, J. Shabani, A.P. Higginbotham, Physical Review Applied 19 (2023).

Procedural metamaterials: A unified procedural graph for metamaterial design
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).

Mechanism of mammalian transcriptional repression by noncoding RNA
K. Tluckova, A.P. Testa Salmazo, C. Bernecky, (n.d.).

Spin-charge correlations in finite one-dimensional multiband Fermi systems
J.M. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 5 (2023).

Non-equilibrium dynamics of dipolar polarons
A. Volosniev, G. Bighin, L. Santos, L.A. Peña Ardila, SciPost Physics 15 (2023).

Advanced motion tracking for interactive mass spectrometry imaging (IMSI)
F. Kluibenschedl, A. Ploner, C. Meisenbichler, R. Konrat, T. Müller, International Journal of Mass Spectrometry 495 (2023).

Dual role of FOX in regulating gliogenesis in the developing neocortex via the FGF signalling pathway
M. Bose, V. Suresh, U. Mishra, I. Talwar, A. Yadav, S. Biswas, S. Hippenmeyer, S. Tole, BioRxiv (n.d.).

Transverse fluctuations control the assembly of semiflexible filaments
V. Sorichetti, M. Lenz, Physical Review Letters 131 (2023).

Quantitative Steinitz theorem: A polynomial bound
G. Ivanov, M. Naszódi, Bulletin of the London Mathematical Society (2023).

Metabolically regulated spiking could serve neuronal energy homeostasis and protect from reactive oxygen species
C. Chintaluri, T.P. Vogels, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).

The structure of hippocampal C interactions optimizes spatial coding across experience
M. Nardin, J.L. Csicsvari, G. Tkadik, C. Savin, The Journal of Neuroscience 43 (2023) 8140–8156.

Evolutionary dynamics of mutants that modify population structure
J. Tkadlec, K. Kaveh, K. Chatterjee, M.A. Nowak, Journal of the Royal Society, Interface 20 (2023).

Guest encapsulation alters the thermodynamic landscape of a coordination host
K. Hema, A.B. Grommet, M.J. Biaek, J. Wang, L. Schneider, C. Drechsler, O. Yanshyna, Y. Diskin-Posner, G.H. Clever, R. Klajn, Journal of the American Chemical Society 145 (2023) 24755–24764.

Microkinetic modeling with size-dependent and adsorbate-adsorbate interactions for the direct synthesis of HO over Pd nanoparticles
J. Zhao, Z. Yao, R. Bunting, P. Hu, J. Wang, ACS Catalysis 13 (2023) 15054–15073.