Genetic information and biological optimization
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.

Persistence and Morse theory for discrete geometric structures
S. Cultrera di Montesano, Persistence and Morse Theory for Discrete Geometric Structures, Institute of Science and Technology Austria, 2024.

Local adaptation, genetic load and extinction in metapopulations
O.O. Olusanya, Local Adaptation, Genetic Load and Extinction in Metapopulations, Institute of Science and Technology Austria, 2024.

Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, Mathematical Programming (2024).

Floquet analysis of a superradiant many-qutrit refrigerator
D. Kolisnyk, F. Queißer, G. Schaller, R. Schützhold, Physical Review Applied 21 (2024).

Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse
J. Chen, Developmental Transformation of Nanodomain Coupling between C+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.

Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.

Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.

To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism
L. Burnett, To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism, Institute of Science and Technology Austria, 2023.

Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, ArXiv (n.d.).

CrAM: A Compression-Aware Minimizer
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.

Neural control of optic flow-based navigation in Drosophila melanogaster
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.

Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.

Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.

Wetting dynamics by mixtures of fast and slow self-propelled particles
M.N. Rojas Vega, P. De Castro, R. Soto, Physical Review E 107 (2023).

Spin-electric coupling in lead halide perovskites
A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review Letters 130 (2023).

Effective model for studying optical properties of lead halide perovskites
A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review B 107 (2023).

The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization
A.A. Vetrova, D.M. Kupaeva, A. Kizenko, T.S. Lebedeva, P. Walentek, N. Tsikolia, S.V. Kremnyov, Scientific Reports 13 (2023).

Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).

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

Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.

Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, 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.

Epithelial dynamics during mouse neural tube development
L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 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).

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

Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders
R. Kaiyrzhanov, A. Rad, S.-J. Lin, A. Bertoli-Avella, W.W. Kallemeijn, A. Godwin, M.S. Zaki, K. Huang, T. Lau, C. Petree, S. Efthymiou, E. Ghayoor Karimiani, M. Hempel, E.A. Normand, S. Rudnik-Schöneborn, U.A. Schatz, M.P. Baggelaar, M. Ilyas, T. Sultan, J.R. Alvi, M. Ganieva, B. Fowler, R. Aanicai, G. Akay Tayfun, A. Al Saman, A. Alswaid, N. Amiri, N. Asilova, V. Shotelersuk, P. Yeetong, M. Azam, M. Babaei, G. Bahrami Monajemi, P. Mohammadi, S. Samie, S.H. Banu, J.P. Basto, F. Kortüm, M. Bauer, P. Bauer, C. Beetz, M. Garshasbi, A. Hameed Issa, W. Eyaid, H. Ahmed, N. Hashemi, K. Hassanpour, I. Herman, S. Ibrohimov, B.A. Abdul-Majeed, M. Imdad, M. Isrofilov, Q. Kaiyal, S. Khan, B. Kirmse, J. Koster, C.M. Lourenço, T. Mitani, O. Moldovan, D. Murphy, M. Najafi, D. Pehlivan, M.E. Rocha, V. Salpietro, M. Schmidts, A. Shalata, M. Mahroum, J.K. Talbeya, R.W. Taylor, D. Vazquez, A. Vetro, H.R. Waterham, M. Zaman, T.A. Schrader, W.K. Chung, R. Guerrini, J.R. Lupski, J. Gleeson, M. Suri, Y. Jamshidi, K.P. Bhatia, B. Vona, M. Schrader, M. Severino, M. Guille, E.W. Tate, G.K. Varshney, H. Houlden, R. Maroofian, Brain (2023).

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

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.

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

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.

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

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

Direct path from turbulence to time-periodic solutions
C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).

The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation
G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.

Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster
G. Puixeu Sala, A. Macon, B. Vicoso, : Genes, Genomes, Genetics 13 (2023).

Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster
G. Puixeu Sala, (2023).

Gaussian fluctuations in the equipartition principle for Wigner matrices
G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Forum of Mathematics, Sigma 11 (2023).

Creation rate of Dirac particles at a point source
S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).

Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations
Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).

Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems
S. Sack, Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems, Institute of Science and Technology Austria, 2023.

Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function
J.A. Stopp, Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.

Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus
L.S. Arathoon, Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus, Institute of Science and Technology Austria, 2023.

Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation
S. Ishida, H. Lavenant, ArXiv (n.d.).

Executing and proving over dirty ledgers
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.

Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.

Intensification mechanisms of tropical cyclones
A. Polesello, C.J. Muller, C. Pasquero, A.N. Meroni, in:, EGU General Assembly 2023, European Geosciences Union, 2023.

PCBend: Light up your 3D shapes with foldable circuit boards
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).

Superconductivity from a melted insulator in Josephson junction arrays
S. Mukhopadhyay, J.L. Senior, J. Saez Mollejo, D. Puglia, M. Zemlicka, J.M. Fink, A.P. Higginbotham, Nature Physics 19 (2023) 1630–1635.

An energy decomposition theorem for matrices and related questions
A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023) 1280–1295.

Spontaneous flows and dynamics of full-integer topological defects in polar active matter
J. Rønning, J.B. Renaud, A. Doostmohammadi, L. Angheluta, Soft Matter 39 (2023) 7513–7527.

Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels
S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.

The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival
L. Knaus, The Metabolism of the Developing Brainf: How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.

Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows
E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).

To DISP or not? The farreaching reaction mechanisms underpinning Lithiumair batteries
R.B. Jethwa, S. Mondal, B. Pant, S.A. Freunberger, Angewandte Chemie International Edition (2023).

The rigid core and flexible surface of amyloid fibrils probed by MagicAngle Spinning NMR of aromatic residues
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).

Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues
L.M. Becker, P. Schanda, (2023).

Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.

Spatiotemporal signaling during assembly of the bacterial divisome
P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.

Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevicesf: From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.

Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.

Individual and social immunity against viral infections in ants
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.

1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).

Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.

Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.

Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, ArXiv (n.d.).

Provably-efficient and internally-deterministic parallel Union-Find
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.

Adaptive mutation in E. coli modulated by luxS
M. Hennessey-Wesen, Adaptive Mutation in E. Coli Modulated by LuxS, Institute of Science and Technology Austria, 2023.

Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.

Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues
A. Schauer, Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues, Institute of Science and Technology Austria, 2023.

Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.

Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog
V. Kravchuk, Structural and Mechanistic Study of Bacterial Complex I and Its Cyanobacterial Ortholog, Institute of Science and Technology Austria, 2023.

Generalizing medial axes with homology switches
E.R. Stephenson, Generalizing Medial Axes with Homology Switches, Institute of Science and Technology Austria, 2023.

Panoramic functional gradients across the mouse retina
K. Kirillova, Panoramic Functional Gradients across the Mouse Retina, Institute of Science and Technology Austria, 2023.

The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone
M. Julseth, The Effect of Local Population Structure on Genetic Variation at Selected Loci in the A. Majus Hybrid Zone, Institute of Science and Technology Austria, 2023.

Mechanism of clathrin-coated vesicle  formation during endocytosis in plants
N. Gnyliukh, Mechanism of Clathrin-Coated Vesicle  Formation during Endocytosis in Plants, Institute of Science and Technology Austria, 2023.

Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.

A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy
J.M. Michalska, A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy, Institute of Science and Technology Austria, 2023.

Existence and density problems in Diophantine geometry: From norm forms to Campana points
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.

Algorithms and hardness results for computing cores of Markov chains
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.

Tangible topology through the lens of limits
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.

Repeated prophet inequality with near-optimal bounds
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).