IST-BRIDGE: International postdoctoral program

Topology and adjunction in promise constraint satisfaction
A. Krokhin, J. Opršal, M. Wrochna, S. Živný, SIAM Journal on Computing 52 (2023) 38–79.

Boolean network sketches: A unifying framework for logical model inference
N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek, Bioinformatics 39 (2023).

Mechanochemical rules for shape-shifting filaments that remodel membranes
B. Meadowcroft, I. Palaia, A.K. Pfitzner, A. Roux, B. Baum, A. Šarić, Physical Review Letters 129 (2022).

Solving the Hamilton cycle problem fast on average
M. Anastos, in:, 63rd Annual IEEE Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2022, pp. 919–930.

Controlling cluster size in 2D phase-separating binary mixtures with specific interactions
I. Palaia, A. Šarić, The Journal of Chemical Physics 156 (2022).

Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).

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

Role of high-order lattice anharmonicity in the phonon thermal transport of silver halide AgX (X=Cl,Br, I)
N. Ouyang, Z. Zeng, C. Wang, Q. Wang, Y. Chen, Physical Review B 108 (2023).

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

Some effectivity results for primitive divisors of elliptic divisibility sequences
M. Verzobio, Pacific Journal of Mathematics 325 (2023) 331–351.

Trap spaces of multi-valued networks: Definition, computation, and applications
V.G. Trinh, B. Benhamou, T.A. Henzinger, S. Pastva, Bioinformatics 39 (2023) i513–i522.

Homological Bondal-Orlov localization conjecture for rational singularities
M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (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).

Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.

Exploring the landscape of heterocyclic quinones for redox flow batteries
R.B. Jethwa, D. Hey, R.N. Kerber, A.D. Bond, D.S. Wright, C.P. Grey, ACS Applied Energy Materials (2023).

Deterministic clustering in high dimensional spaces: Sketches and approximation
V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.

On type II degenerations of hyperkähler manifolds
D. Huybrechts, M. Mauri, Mathematical Research Letters 30 (2023) 125–141.

Constructing Hamilton cycles and perfect matchings efficiently
M. Anastos, in:, Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, Masaryk University Press, 2023, pp. 36–41.

Unconventional colloidal aggregation in chiral bacterial baths
D. Grober, I. Palaia, M.C. Ucar, E.B. Hannezo, A. Šarić, J.A. Palacci, Nature Physics 19 (2023) 1680–1688.

Tamely ramified geometric Langlands correspondence in positive characteristic
S. Shen, International Mathematics Research Notices (2024).

Phenotype control of partially specified boolean networks
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.

Experimental evaluation of fully dynamic k-means via coresets
M.H. Henzinger, D. Saulpic, L. Sidl, in:, 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments, Society for Industrial & Applied Mathematics, 2024, pp. 220–233.

Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).

Correlation-induced viscous dissipation in concentrated electrolytes
P. Robin, Journal of Chemical Physics 160 (2024).

Impact of strain-insensitive low-frequency phonon modes on lattice thermal transport in AxXB6-type perovskites
R. Cheng, Z. Zeng, C. Wang, N. Ouyang, Y. Chen, Physical Review B 109 (2024).

Intensification of daily tropical precipitation extremes from more organized convection
J. Bao, B. Stevens, L. Kluft, C.J. Muller, Science Advances 10 (2024).

Common valuations of division polynomials
B. Naskręcki, M. Verzobio, Proceedings of the Royal Society of Edinburgh Section A: Mathematics (2024).

Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs
M. Filakovský, T.V. Nakajima, J. Opršal, G. Tasinato, U. Wagner, in:, 41st International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

The unreasonable efficiency of total rain evaporation removal in triggering convective self‐aggregation
Y.-L. Hwong, C.J. Muller, Geophysical Research Letters 51 (2024).

Synthetic dimension-induced pseudo Jahn-Teller effect in one-dimensional confined fermions
A. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 6 (2024).

Mirror symmetry for parabolic Higgs bundles via p-adic integration
S. Shen, Advances in Mathematics 443 (2024).

Dynamics and scaling of internally cooled convection
L.N. Agasthya, C.J. Muller, Communications in Nonlinear Science and Numerical Simulation 134 (2024).

Scalable enumeration of trap spaces in boolean networks via answer set programming
G. Trinh, B. Benhamou, S. Pastva, S. Soliman, in:, Proceedings of the 38th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2024, pp. 10714–10722.