Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14820
DOI: 10.1016/j.tcs.2023.114353

Parity-conserving Cooper-pair transport and ideal superconducting diode in planar germanium
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.L. Aguilera Servin, K. Aggarwal, M. Janik, T. Adletzberger, R. Seoane Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, Nature Communications 15 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14793
DOI: 10.1038/s41467-023-44114-0
PMID: 38167818

Annealed quantitative estimates for the quadratic 2D-discrete random matching problem
N. Clozeau, F. Mattesini, Probability Theory and Related Fields (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14797
DOI: 10.1007/s00440-023-01254-0
arXiv: 2303.00353

Interface engineering modulation combined with electronic structure modification of Zn-doped NiO heterostructure for efficient water-splitting activity
G.K. Kiran, S. Singh, N. Mahato, T.V.M. Sreekanth, G.R. Dillip, K. Yoo, J. Kim, ACS Applied Energy Materials 7 (2024) 214–229.
LibreCat: https://research-explorer.ista.ac.at/record/14828
DOI: 10.1021/acsaem.3c02519
WoS: 001138342900001

A discovery tour in random Riemannian geometry
L. Dello Schiavo, E. Kopfer, K.T. Sturm, Potential Analysis (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14934
DOI: 10.1007/s11118-023-10118-0

On the local-global principle for isogenies of abelian surfaces
D. Lombardo, M. Verzobio, Selecta Mathematica 30 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/12312
DOI: 10.1007/s00029-023-00908-0
arXiv: 2206.15240

Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions
A. Agresti, E. Luongo, Mathematische Annalen (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15098
DOI: 10.1007/s00208-024-02812-0
arXiv: 2306.11081

Stochastic maximal Lp(Lq)-regularity for second order systems with periodic boundary conditions
A. Agresti, M. Veraar, Annales de l’institut Henri Poincare Probability and Statistics 60 (2024) 413–430.
LibreCat: https://research-explorer.ista.ac.at/record/15119
DOI: 10.1214/22-AIHP1333
arXiv: 2106.01274

Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, Mathematical Programming (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15121
DOI: 10.1007/s10107-024-02066-3
arXiv: 2301.09217

Decompositions into two linear forests of bounded lengths
R. Campbell, F. Hörsch, B. Moore, Discrete Mathematics 347 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15163
DOI: 10.1016/j.disc.2024.113962
arXiv: 2301.11615

Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility
H. Abels, M. Fei, M. Moser, Calculus of Variations and Partial Differential Equations 63 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15334
DOI: 10.1007/s00526-024-02715-7
arXiv: 2304.12096

Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, Mathematical Programming (2024).
LibreCat: https://research-explorer.ista.ac.at/record/10045
DOI: 10.1007/s10107-024-02064-5
arXiv: 2109.10203

Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum boolean functions
C. Rouzé, M. Wirth, H. Zhang, Communications in Mathematical Physics 405 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15350
DOI: 10.1007/s00220-024-04981-0
arXiv: 2209.07279

SCA drives the compositional diversity of mammalian respirasomes
I. Vercellino, L.A. Sazanov, Nature Structural and Molecular Biology (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15323
DOI: 10.1038/s41594-024-01255-0
PMID: 38575788

Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17094
DOI: 10.1007/s10703-024-00447-0
arXiv: 2002.06465

Dynamic maintenance of monotone dynamic programs and applications
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12760
DOI: 10.4230/LIPIcs.STACS.2023.36
arXiv: 2301.01744

Altered childhood brain development in autism and epilepsy
C. Currin, C. Beyer, in:, B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health, 1st ed., Elsevier, 2023, pp. 86–98.
LibreCat: https://research-explorer.ista.ac.at/record/12866
DOI: 10.1016/b978-0-12-818872-9.00129-1

Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
LibreCat: https://research-explorer.ista.ac.at/record/9652
DOI: 10.1007/s11856-022-2448-6
WoS: 000904950300003
arXiv: 1903.05923

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/13120
DOI: 10.4230/LIPIcs.ITP.2023.15
arXiv: 2302.06420