Browning TD, Pierce LB, Schindler D. Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. 2024. doi:10.1017/S1474748024000161

Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 2024. doi:10.1007/s10107-024-02064-5

Zeng Z, Shen X, Cheng R, et al. Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. 2024;15. doi:10.1038/s41467-024-46799-3

Browning TD, Shparlinski IE. Square-free values of random polynomials. Journal of Number Theory. 2024;261:220-240. doi:10.1016/j.jnt.2024.02.013

Chalupa M, Richter C. Bubaak-SpLit: Split what you cannot verify (Competition contribution). In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:353–358. doi:10.1007/978-3-031-57256-2_20

Gnyliukh N, Johnson AJ, Nagel M, et al. Role of dynamin-related proteins 2 and S in clathrin-mediated endocytosis in Arabidopsis thaliana. Journal of Cell Science. 2024. doi:10.1242/jcs.261720

Mahato N, Singh S, Sreekanth TVM, Yoo K, Kim J. In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage. Materials Letters. 2024;365. doi:10.1016/j.matlet.2024.136483

Rouzé C, Wirth M, Zhang H. Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum boolean functions. Communications in Mathematical Physics. 2024;405(4). doi:10.1007/s00220-024-04981-0

Jayasree A, Salava H, Nodzynski T, Sravankumar T. Protein-Protein Interactions Visualized by Bimolecular Fluorescence Complementation in Arabidopsis thaliana Protoplasts from Leaf. In: Maghuly F, ed. Plant Functional Genomics. Vol 2787. MIMB. Springer Nature; 2024:305-313. doi:10.1007/978-1-0716-3778-4_21

Andrianova MA, Seplyarskiy VB, Terradas M, et al. Discovery of recessive effect of human polymerase ;4 proofreading deficiency through mutational analysis of POL-mutated normal and cancer cells. European Journal of Human Genetics. 2024. doi:10.1038/s41431-024-01598-8

Babkin S, Higginbotham AP, Serbyn M. Proximity-induced gapless superconductivity in two-dimensional Rashba semiconductor in magnetic field. SciPost Physics. 2024;16(5). doi:10.21468/scipostphys.16.5.115

Dong H, Shi Y, Ying P, et al. Molecular dynamics simulations of heat transport using machine-learned potentials: A mini-review and tutorial on GPUMD with neuroevolution potentials. Journal of Applied Physics. 2024;135(16). doi:10.1063/5.0200833

Zhao J, Yao Z, Bunting R, Wang Y, Wang J. Identifying Pd9OX as the optimum catalyst for the direct synthesis of O2 through microkinetic modeling with coverage effects. Chemical Engineering Science. 2024;295. doi:10.1016/j.ces.2024.120199

Barton NH, Sachdeva H. Limits to selection on standing variation in an asexual population. Theoretical Population Biology. 2024;157:129-137. doi:10.1016/j.tpb.2024.04.001

Adamowski M, Randuch M, Matijevic I, Narasimhan M, Friml J. SPs recruit auxilin-like vesicle uncoating factors for clathrin-mediated endocytosis. Cell Reports. 2024;43(5). doi:10.1016/j.celrep.2024.114195

Liu Y, Lee S, Fiedler C, et al. Enhancing thermoelectric performance of solutionpProcessed polycrystalline SnSe with PbSe nanocrystals. Chemical Engineering Journal. 2024;490. doi:10.1016/j.cej.2024.151405

Hibshman GN, Bravo JPK, Hooper MM, et al. Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Ca. Nature Communications. 2024;15. doi:10.1038/s41467-024-47830-3

Rangel Guerrero DK, Balueva K, Barayeu U, et al. Hippocampal cholecystokinin-expressing interneurons regulate temporal coding and contextual learning. Neuron. 2024. doi:10.1016/j.neuron.2024.03.019

He S, Yu Y, Wang L, et al. Linker histone10.1093/plcell/koae034__drives heterochromatin condensation via phase separation in Arabidopsis. The Plant Cell. 2024;36(5):1829-1843. doi:10.1093/plcell/koae034

Erdös L, Ji HC. Wegner estimate and upper bound on the eigenvalue condition number of non-Hermitian random matrices. Communications on Pure and Applied Mathematics. 2024. doi:10.1002/cpa.22201

Stockwell I, Watson J, Greger IH. Tuning synaptic strength by regulation of AMPA glutamate receptor localization. BioEssays. 2024. doi:10.1002/bies.202400006

Wirth M. Christensen–Evans theorem and extensions of GNS-symmetric quantum Markov semigroups. Journal of Functional Analysis. 2024;287(3). doi:10.1016/j.jfa.2024.110475

Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Depth in arrangements: Dehn–Sommerville–Euler relations with applications. Journal of Applied and Computational Topology. 2024. doi:10.1007/s41468-024-00173-w

Murmann JS. Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording. 2024. doi:10.15479/at:ista:15352

Burnett L, Koppensteiner P, Symonova O, et al. Shared behavioural impairments in visual perception and place avoidance across different autism models are driven by periaqueductal grey hypoexcitability in Setd5 haploinsufficient mice. 2024. doi:10.15479/AT:ISTA:15385

Chen J. Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse. 2024. doi:10.15479/at:ista:15101

Chen J, Kaufmann W, Chen C, et al. Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. doi:10.1016/j.neuron.2023.12.002

Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi:10.1007/978-1-0716-2887-4_12

Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 2023;5(1). doi:10.1103/physrevresearch.5.013029

Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173

Arroyo-Urea S, Watson J, García-Nafría J. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023:33-44. doi:10.1007/978-1-0716-3004-4_3

Koval N, Alistarh D-A, Elizarov R. Fast and scalable channels in Kotlin Coroutines. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2023:107-118. doi:10.1145/3572848.3577481

Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512

Henzinger MH, Neumann S, Räcke H, Schmid S. Dynamic maintenance of monotone dynamic programs and applications. In: 40th International Symposium on Theoretical Aspects of Computer Science. Vol 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.STACS.2023.36

Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716

Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32

Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv. doi:10.48550/arXiv.2303.14555

Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15

Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407

Currin C, Beyer C. Altered childhood brain development in autism and epilepsy. In: Halpern-Felsher B, ed. Encyclopedia of Child and Adolescent Health. 1st ed. Elsevier; 2023:86-98. doi:10.1016/b978-0-12-818872-9.00129-1

Zhao L, Yang Y, Chen J, et al. Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat. Genome Biology. 2023;24. doi:10.1186/s13059-022-02844-2

Lieutier A, Wintraecken M. Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2023:1768-1776. doi:10.1145/3564246.3585113

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

Hoffmann C, Hubádek P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19

Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1

Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi:10.1007/978-3-031-30820-8_15

Pokusaeva V. Neural control of optic flow-based navigation in Drosophila melanogaster. 2023. doi:10.15479/at:ista:12826

Edelsbrunner H, Osang GF. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 2023;85:277-295. doi:10.1007/s00453-022-01027-6

Dello Schiavo L, Wirth M. Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. 2023;23(1). doi:10.1007/s00028-022-00859-7

GOSWAMI BB. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 2023;60:427-442. doi:10.1007/s00382-022-06337-7

Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17

Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230

Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. Involve. 2023;16(2):331-342. doi:10.2140/involve.2023.16.331

Wei Y, Volosniev A, Lorenc D, et al. Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. 2023;14(27):6309-6314. doi:10.1021/acs.jpclett.3c01158

Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129

Tucci G, De Nicola S, Wald S, Gambassi A. Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. 2023;6(2). doi:10.21468/scipostphyscore.6.2.029

Rammelmüller L, Huber D, Volosniev A. A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. 2023. doi:10.21468/scipostphyscodeb.12

Rammelmüller L, Huber D, Volosniev A. Codebase release 1.0 for FermiFCI. 2023. doi:10.21468/scipostphyscodeb.12-r1.0

De Jode A, Le Moan A, Johannesson K, et al. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 2023;16(2):542-559. doi:10.1111/eva.13428

Gómez A, Oliveira G. New approaches to epidemic modeling on networks. Scientific Reports. 2023;13. doi:10.1038/s41598-022-19827-9

Wilsch FA. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023;2023(8):6780-6808. doi:10.1093/imrn/rnac048

Viljakainen L, Fürst M, Grasse AV, et al. Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. 2023;14. doi:10.3389/fmicb.2023.1119002

Boissonnat J-D, Dyer R, Ghosh A, Wintraecken M. Local criteria for triangulating general manifolds. Discrete &; Computational Geometry. 2023;69:156-191. doi:10.1007/s00454-022-00431-7

Hof B. Directed percolation and the transition to turbulence. Nature Reviews Physics. 2023;5:62-72. doi:10.1038/s42254-022-00539-y

Fäßler F, Javoor M, Schur FK. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. 2023;51(1):87-99. doi:10.1042/bst20220221

Marensi E, Yalniz G, Hof B, Budanur NB. Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. 2023;954. doi:10.1017/jfm.2022.1001

Bolnick DI, Hund AK, Nosil P, et al. A multivariate view of the speciation continuum. Evolution: International journal of organic evolution. 2023;77(1):318-328. doi:10.1093/evolut/qpac004

Forghani M, Claramunt C, Karimipour F, Heiler G. Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic. In: 2022 IEEE International Conference on Data Mining Workshops. Institute of Electrical and Electronics Engineers; 2023. doi:10.1109/icdmw58026.2022.00093

Krokhin A, Oprsal J, Wrochna M, divný S. Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing. 2023;52(1):38-79. doi:10.1137/20m1378223

Balestrieri F. Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. 2023;151(3):907-914. doi:10.1090/proc/15239

Villalba Requena A, Hippenmeyer S. Going back in time with TEMPO. Neuron. 2023;111(3):291-293. doi:10.1016/j.neuron.2023.01.006

Mrestani A, Lichter K, Sirén AL, Heckmann M, Paul MM, Pauli M. Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation. International Journal of Molecular Sciences. 2023;24(3). doi:10.3390/ijms24032128

Alistarh D-A, Ellen F, Rybicki J. Wait-free approximate agreement on graphs. Theoretical Computer Science. 2023;948(2). doi:10.1016/j.tcs.2023.113733

Dubief Y, Terrapon VE, Hof B. Elasto-inertial turbulence. Annual Review of Fluid Mechanics. 2023;55(1):675-705. doi:10.1146/annurev-fluid-032822-025933

Avila M, Barkley D, Hof B. Transition to turbulence in pipe flow. Annual Review of Fluid Mechanics. 2023;55:575-602. doi:10.1146/annurev-fluid-120720-025957

Araújo NAM, Janssen LMC, Barois T, et al. Steering self-organisation through confinement. Soft Matter. 2023;19:1695-1704. doi:10.1039/d2sm01562e

Cheng B, Hamel S, Bethkenhagen M. Thermodynamics of diamond formation from hydrocarbon mixtures in planets. Nature Communications. 2023;14. doi:10.1038/s41467-023-36841-1

Bernabeu E, Mccartney DL, Gadd DA, et al. Refining epigenetic prediction of chronological and biological age. Genome Medicine. 2023;15. doi:10.1186/s13073-023-01161-y

Lechner M, Amini A, Rus D, Henzinger TA. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. IEEE Robotics and Automation Letters. 2023;8(3):1595-1602. doi:10.1109/LRA.2023.3240930

García-Romero Á, Waters JE, Jethwa RB, et al. Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies with coinage metals. Inorganic Chemistry. 2023;62(11):4625-4636. doi:10.1021/acs.inorgchem.3c00057

Volosniev A, Shiva Kumar A, Lorenc D, et al. Spin-electric coupling in lead halide perovskites. Physical Review Letters. 2023;130(10). doi:10.1103/physrevlett.130.106901

Volosniev A, Shiva Kumar A, Lorenc D, et al. Effective model for studying optical properties of lead halide perovskites. Physical Review B. 2023;107(12). doi:10.1103/physrevb.107.125201

Rothman JS, Borges Merjane C, Holderith N, Jonas PM, Angus Silver R. Validation of a stereological method for estimating particle size and density from 2D projections with high accuracy. PLoS ONE. 2023;18(3 March). doi:10.1371/journal.pone.0277148

Hurtig F, Burgers TCQ, Cezanne A, et al. The patterned assembly and stepwise Vp-mediated disassembly of composite ESCRT-III polymers drives archaeal cell division. Science Advances. 2023;9(11). doi:10.1126/sciadv.ade5224

Pak MA, Markhieva KA, Novikova MS, et al. Using AlphaFold to predict the impact of single mutations on protein stability and function. PLoS ONE. 2023;18(3). doi:10.1371/journal.pone.0282689

Sazanov LA. From the ack box”10.1042/BCJ20210285__to mino effect”10.1042/BCJ20210285__mechanism: What have we learned from the structures of respiratory complex I. The Biochemical Journal. 2023;480(5):319-333. doi:10.1042/BCJ20210285

Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2023;479(2271). doi:10.1098/rspa.2022.0685

Karle V, Ghazaryan A, Lemeshko M. Topological charges of periodically kicked molecules. Physical Review Letters. 2023;130(10). doi:10.1103/PhysRevLett.130.103202

Ghazaryan A, Holder T, Berg E, Serbyn M. Multilayer graphenes as a platform for interaction-driven physics and topological superconductivity. Physical Review B. 2023;107(10). doi:10.1103/PhysRevB.107.104502

Clark Di Leoni P, Agasthya LN, Buzzicotti M, Biferale L. Reconstructing Rayleigh–Bénard flows out of temperature-only measurements using Physics-Informed Neural Networks. The European Physical Journal E. 2023;46(3). doi:10.1140/epje/s10189-023-00276-9

Huljev K, Shamipour S, Nunes Pinheiro DC, et al. A hydraulic feedback loop between mesendoderm cell migration and interstitial fluid relocalization promotes embryonic axis formation in zebrafish. Developmental Cell. 2023;58(7):582-596.e7. doi:10.1016/j.devcel.2023.02.016

Zeng Z, Yakaboylu E, Lemeshko M, Shi T, Schmidt R. Variational theory of angulons and their rotational spectroscopy. The Journal of Chemical Physics. 2023;158(13). doi:10.1063/5.0135893

Ljubotina M, Desaules JY, Serbyn M, Papi Z. Superdiffusive energy transport in kinetically constrained models. Physical Review X. 2023;13(1). doi:10.1103/PhysRevX.13.011033

He R, Yang L, Zhang Y, et al. A CrMnFeCoNi high entropy alloy boosting oxygen evolution/reduction reactions and zinc-air battery performance. Energy Storage Materials. 2023;58(4):287-298. doi:10.1016/j.ensm.2023.03.022

Martinet Q, Aubret A, Palacci JA. Rotation control, interlocking, and selfpositioning of active cogwheels. Advanced Intelligent Systems. 2023;5(1). doi:10.1002/aisy.202200129

Brandstätter T, Brückner D, Han YL, Alert R, Guo M, Broedersz CP. Curvature induces active velocity waves in rotating spherical tissues. Nature Communications. 2023;14. doi:10.1038/s41467-023-37054-2

Sokolova A, Kalacheva DA, Fedorov GP, Astafiev OV. Overcoming photon blockade in a circuit-QED single-atom maser with engineered metastability and strong coupling. Physical Review A. 2023;107(3). doi:10.1103/PhysRevA.107.L031701

Schmid L, Ekbatani F, Hilbe C, Chatterjee K. Quantitative assessment can stabilize indirect reciprocity under imperfect information. Nature Communications. 2023;14. doi:10.1038/s41467-023-37817-x

Safavi S, Panagiotaropoulos TI, Kapoor V, Ramirez Villegas JF, Logothetis NK, Besserve M. Uncovering the organization of neural circuits with Generalized Phase Locking Analysis. PLoS Computational Biology. 2023;19(4). doi:10.1371/journal.pcbi.1010983

Chen K, Kunkel C, Cheng B, Reuter K, Margraf JT. Physics-inspired machine learning of localized intensive properties. Chemical Science. 2023. doi:10.1039/d3sc00841j