Fast algorithms for solving the Hamilton cycle problem with high probability
M. Anastos, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 2286–2323.
LibreCat: https://research-explorer.ista.ac.at/record/14344
DOI: 10.1137/1.9781611977554.ch88
arXiv: 2111.14759

Asymmetric Ramsey properties of random graphs involving cliques and cycles
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.
LibreCat: https://research-explorer.ista.ac.at/record/11706
DOI: 10.1002/rsa.21106
WoS: 000828530400001

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.
LibreCat: https://research-explorer.ista.ac.at/record/12349
DOI: 10.1038/s41593-023-01280-0
WoS: 000955258300002
PMID: 36959418

Mesoscopic central limit theorem for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14408
DOI: 10.1007/s00440-023-01229-1
arXiv: 2210.12060

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.
LibreCat: https://research-explorer.ista.ac.at/record/12960
DOI: 10.1137/21M1412918
WoS: 001013183000012

Dynamics of a rank-one perturbation of a Hermitian matrix
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/12683
DOI: 10.1214/23-ECP516
WoS: 000950650200005
arXiv: 2108.13694

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.
LibreCat: https://research-explorer.ista.ac.at/record/14457
DOI: 10.1007/978-3-031-44469-2_11

Substructures in Latin squares
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Israel Journal of Mathematics 256 (2023) 363–416.
LibreCat: https://research-explorer.ista.ac.at/record/14444
DOI: 10.1007/s11856-023-2513-9
arXiv: 2202.05088

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.
LibreCat: https://research-explorer.ista.ac.at/record/13238
DOI: 10.1007/978-3-031-32733-9_26
arXiv: 2204.13459

Quantitative Steinitz theorem: A polynomial bound
G. Ivanov, M. Naszódi, Bulletin of the London Mathematical Society (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14660
DOI: 10.1112/blms.12965
arXiv: 2212.04308

Multiple packing: Lower bounds via infinite constellations
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory 69 (2023) 4513–4527.
LibreCat: https://research-explorer.ista.ac.at/record/12838
DOI: 10.1109/TIT.2023.3260950
WoS: 001017307000023
arXiv: 2211.04407

Noncommutative Bohnenblust–Hille inequalities
A. Volberg, H. Zhang, Mathematische Annalen (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13318
DOI: 10.1007/s00208-023-02680-0
WoS: 001035665500001
arXiv: 2210.14468

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.
LibreCat: https://research-explorer.ista.ac.at/record/14058
DOI: 10.15479/at:ista:14058

Creation rate of Dirac particles at a point source
S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14421
DOI: 10.1088/1751-8121/acfe62
WoS: 001080908000001
arXiv: 2211.16606

Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes
U. Wagner, P. Wild, Israel Journal of Mathematics 256 (2023) 675–717.
LibreCat: https://research-explorer.ista.ac.at/record/14445
DOI: 10.1007/s11856-023-2521-9
WoS: 001081646400010

New fluorescent auxin derivatives: anti-auxin activity and accumulation patterns in Arabidopsis thaliana
K. Bieleszová, P. Hladík, M. Kubala, R. Napier, F. Brunoni, Z. Gelová, L. Fiedler, I. Kulich, M. Strnad, K. Doleeal, O. Novák, J. Friml, A. dukauskait, Plant Growth Regulation (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14447
DOI: 10.1007/s10725-023-01083-0
WoS: 001084334300001

Multiple packing: Lower bounds via error exponents
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14665
DOI: 10.1109/TIT.2023.3334032
arXiv: 2211.04408

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.
LibreCat: https://research-explorer.ista.ac.at/record/14718
DOI: 10.34727/2023/isbn.978-3-85448-060-0_20

Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result
M. Moser, Asymptotic Analysis 131 (2023) 297–383.
LibreCat: https://research-explorer.ista.ac.at/record/14755
DOI: 10.3233/asy-221775
arXiv: 2105.07100

Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, Geometriae Dedicata (2023).
LibreCat: https://research-explorer.ista.ac.at/record/9651
DOI: 10.1007/s10711-023-00862-3
WoS: 001105681500001
arXiv: 2102.13046

On biased compression for distributed learning
A. Beznosikov, S. Horvath, P. Richtarik, M. Safaryan, Journal of Machine Learning Research 24 (2023) 1–50.
LibreCat: https://research-explorer.ista.ac.at/record/14815
WoS: 001111578500001
arXiv: 2002.12410

Iterated medial triangle subdivision in surfaces of constant curvature
F.R. Brunck, Discrete and Computational Geometry 70 (2023) 1059–1089.
LibreCat: https://research-explorer.ista.ac.at/record/13270
DOI: 10.1007/s00454-023-00500-5
WoS: 001023742800003
arXiv: 2107.04112

Codes for the Z-channel
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.
LibreCat: https://research-explorer.ista.ac.at/record/13269
DOI: 10.1109/TIT.2023.3292219
WoS: 001069680100011
arXiv: 2105.01427

A combinatorial cut-toggling algorithm for solving Laplacian linear systems
M.H. Henzinger, B. Jin, R. Peng, D.P. Williamson, Algorithmica 85 (2023) 2680–3716.
LibreCat: https://research-explorer.ista.ac.at/record/14043
DOI: 10.1007/s00453-023-01154-8
WoS: 001041254900002
arXiv: 2010.16316

Object-centric multiple object tracking
Z. Zhao, J. Wang, M. Horn, Y. Ding, T. He, Z. Bai, D. Zietlow, C.-J.S.-G. Carl-Johann Simon-Gabriel, B. Shuai, Z. Tu, T. Brox, B. Schiele, Y. Fu, F. Locatello, Z. Zhang, T. Xiao, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14963
DOI: 10.48550/arXiv.2309.00233
arXiv: 2309.00233

Lattice expansion enables interstitial doping to achieve a high average ZT in ntype PbS
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
LibreCat: https://research-explorer.ista.ac.at/record/14985
DOI: 10.1002/idm2.12056

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.
LibreCat: https://research-explorer.ista.ac.at/record/13262
DOI: 10.1145/3558481.3591082
arXiv: 2304.09331

Generalizing medial axes with homology switches
E.R. Stephenson, Generalizing Medial Axes with Homology Switches, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14226
DOI: 10.15479/at:ista:14226

On the variation in stellar ;1-enhancements of star-forming galaxies in the EAGLE simulation
A. Gebek, J.J. Matthee, The Astrophysical Journal 924 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11511
DOI: 10.3847/1538-4357/ac350b
arXiv: 2102.04561

Fully dynamic four-vertex subgraph counting
K. Hanauer, M.H. Henzinger, Q.C. Hua, in:, 1st Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11812
DOI: 10.4230/LIPIcs.SAND.2022.18
arXiv: 2106.15524

Lower bounds on list decoding capacity using error exponents
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 1324–1329.
LibreCat: https://research-explorer.ista.ac.at/record/12018
DOI: 10.1109/ISIT50566.2022.9834815

Lower bounds for multiple packing
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 3085–3090.
LibreCat: https://research-explorer.ista.ac.at/record/12015
DOI: 10.1109/ISIT50566.2022.9834443

List-decodability of Poisson Point Processes
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2559–2564.
LibreCat: https://research-explorer.ista.ac.at/record/12014
DOI: 10.1109/ISIT50566.2022.9834512

List-decodable zero-rate codes for the Z-channel
N. Polyanskii, Y. Zhang, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 2553–2558.
LibreCat: https://research-explorer.ista.ac.at/record/12019
DOI: 10.1109/ISIT50566.2022.9834829

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.
LibreCat: https://research-explorer.ista.ac.at/record/12072
DOI: 10.15479/at:ista:12072

High-dimensional expansion and crossing numbers of simplicial complexes
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11777
DOI: 10.15479/at:ista:11777

The topological correctness of PL approximations of isomanifolds
J.-D. Boissonnat, M. Wintraecken, Foundations of Computational Mathematics  22 (2022) 967–1012.
LibreCat: https://research-explorer.ista.ac.at/record/9649
DOI: 10.1007/s10208-021-09520-0
WoS: 000673039600001

On the size of the maximum of incomplete Kloosterman sums
D. Bonolis, Mathematical Proceedings of the Cambridge Philosophical Society 172 (2022) 563–590.
LibreCat: https://research-explorer.ista.ac.at/record/9364
DOI: 10.1017/S030500412100030X
WoS: 000784421500001
arXiv: 1811.10563

The assembly, regulation and function of the mitochondrial respiratory chain
I. Vercellino, L.A. Sazanov, Nature Reviews Molecular Cell Biology 23 (2022) 141–161.
LibreCat: https://research-explorer.ista.ac.at/record/10182
DOI: 10.1038/s41580-021-00415-0
WoS: 000705697100001
PMID: 34621061

Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics, and disease control
M. Turelli, N.H. Barton, Evolution Letters 6 (2022) 92–105.
LibreCat: https://research-explorer.ista.ac.at/record/10604
DOI: 10.1002/evl3.270
WoS: 000754412600008

The BCS critical temperature at high density
S.J. Henheik, Mathematical Physics, Analysis and Geometry 25 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10623
DOI: 10.1007/s11040-021-09415-0
WoS: 000741387600001
arXiv: 2106.02015

Wolbachia frequency data from: Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics and disease control
M. Turelli, N.H. Barton, (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11686
DOI: 10.25338/B81931

High-pressure phase behaviors of titanium dioxide revealed by a -learning potential
J.G. Lee, C.J. Pickard, B. Cheng, The Journal of Chemical Physics 156 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10827
DOI: 10.1063/5.0079844
WoS: 000796704500014
arXiv: 2111.12968

Functional John ellipsoids
G. Ivanov, M. Naszódi, Journal of Functional Analysis 282 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10887
DOI: 10.1016/j.jfa.2022.109441
WoS: 000781371300008
arXiv: 2006.09934

Intron-mediated induction of phenotypic heterogeneity
M. Lukacisin, A. Espinosa-Cantú, M.T. Bollenbach, Nature 605 (2022) 113–118.
LibreCat: https://research-explorer.ista.ac.at/record/11341
DOI: 10.1038/s41586-022-04633-0
WoS: 000784934100003
PMID: 35444278

Functional control of a 0.5 MDa TET aminopeptidase by a flexible loop revealed by MAS NMR
D.F. Gauto, P. Macek, D. Malinverni, H. Fraga, M. Paloni, I. Sudec, A. Hessel, J.P. Bustamante, A. Barducci, P. Schanda, Nature Communications 13 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11179
DOI: 10.1038/s41467-022-29423-0
WoS: 000781498700009

Large deviations in random latin squares
M.A. Kwan, A. Sah, M. Sawhney, Bulletin of the London Mathematical Society 54 (2022) 1420–1438.
LibreCat: https://research-explorer.ista.ac.at/record/11186
DOI: 10.1112/blms.12638
WoS: 000779920900001
arXiv: 2106.11932

A high-resolution single-molecule sequencing-based Arabidopsis transcriptome using novel methods of Iso-seq analysis
R. Zhang, R. Kuo, M. Coulter, C.P.G. Calixto, J.C. Entizne, W. Guo, Y. Marquez, L. Milne, S. Riegler, A. Matsui, M. Tanaka, S. Harvey, Y. Gao, T. Wießner-Kroh, A. Paniagua, M. Crespi, K. Denby, A.B. Hur, E. Huq, M. Jantsch, A. Jarmolowski, T. Koester, S. Laubinger, Q.Q. Li, L. Gu, M. Seki, D. Staiger, R. Sunkar, Z. Szweykowska-Kulinska, S.L. Tu, A. Wachter, R. Waugh, L. Xiong, X.N. Zhang, A. Conesa, A.S.N. Reddy, A. Barta, M. Kalyna, J.W.S. Brown, Genome Biology 23 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11587
DOI: 10.1186/s13059-022-02711-0
WoS: 000821915500002

Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime
S. Hensel, M. Moser, Calculus of Variations and Partial Differential Equations 61 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12079
DOI: 10.1007/s00526-022-02307-3
WoS: 000844247300008

Weak catch bonds make strong networks
Y. Mulla, M. Avellaneda Sarrió, A. Roland, L. Baldauf, W. Jung, T. Kim, S.J. Tans, G.H. Koenderink, Nature Materials 21 (2022) 1019–1023.
LibreCat: https://research-explorer.ista.ac.at/record/12085
DOI: 10.1038/s41563-022-01288-0
WoS: 000844592000002
PMID: 36008604

Norms of certain functions of a distinguished Laplacian on the ax + b groups
R. Akylzhanov, Y. Kuznetsova, M. Ruzhansky, H. Zhang, Mathematische Zeitschrift 302 (2022) 2327–2352.
LibreCat: https://research-explorer.ista.ac.at/record/12210
DOI: 10.1007/s00209-022-03143-z
WoS: 000859680700001
arXiv: 2101.00584

The isometry group of Wasserstein spaces: The Hilbertian case
G.P. Gehér, T. Titkos, D. Virosztek, Journal of the London Mathematical Society 106 (2022) 3865–3894.
LibreCat: https://research-explorer.ista.ac.at/record/12214
DOI: 10.1112/jlms.12676
WoS: 000854878500001
arXiv: 2102.02037

The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities
Z. Keszthelyi, A. de Koter, Y.L.L. Götberg, G. Meynet, S.A. Brands, V. Petit, M. Carrington, A. David-Uraz, S.T. Geen, C. Georgy, R. Hirschi, J. Puls, K.J. Ramalatswa, M.E. Shultz, A. ud-Doula, Monthly Notices of the Royal Astronomical Society 517 (2022) 2028–2055.
LibreCat: https://research-explorer.ista.ac.at/record/13452
DOI: 10.1093/mnras/stac2598
arXiv: 2209.06350

The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities
Z. Keszthelyi, A. de Koter, Y.L.L. Götberg, G. Meynet, S.A. Brands, V. Petit, M. Carrington, A.D.-U. A. David-Uraz, S.T. Geen, C. Georgy, R. Hirschi, J. Puls, K.J. Ramalatswa, M.E. Shultz, A. ud-Doula A. ud-Doula, Monthly Notices of the Royal Astronomical Society 517 (2022) 2028–2055.
LibreCat: https://research-explorer.ista.ac.at/record/14098
DOI: 10.1093/mnras/stac2598
arXiv: 2209.06350

Retrograde movements determine effective stem cell numbers in the intestine
M. Azkanaz, B. Corominas-Murtra, S.I.J. Ellenbroek, L. Bruens, A.T. Webb, D. Laskaris, K.C. Oost, S.J.A. Lafirenze, K. Annusver, H.A. Messal, S. Iqbal, D.J. Flanagan, D.J. Huels, F. Rojas-Rodríguez, M. Vizoso, M. Kasper, O.J. Sansom, H.J. Snippert, P. Liberali, B.D. Simons, P. Katajisto, E.B. Hannezo, J. van Rheenen, Nature 607 (2022) 548–554.
LibreCat: https://research-explorer.ista.ac.at/record/12274
DOI: 10.1038/s41586-022-04962-0
WoS: 000824430000004
PMID: 35831497

Molecular engineering enables bright blue LEDs
H. Utzat, M. Ibáñez, Nature 612 (2022) 638–639.
LibreCat: https://research-explorer.ista.ac.at/record/14437
DOI: 10.1038/d41586-022-04447-0
PMID: 36543947

Two-particle bound states at interfaces and corners
B. Roos, R. Seiringer, Journal of Functional Analysis 282 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10850
DOI: 10.1016/j.jfa.2022.109455
WoS: 000795160200009
arXiv: 2105.04874

Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana
M.C. Gallei, Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11626
DOI: 10.15479/at:ista:11626

When different norms lead to same billiard trajectories?
A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312.
LibreCat: https://research-explorer.ista.ac.at/record/7791
DOI: 10.1007/s40879-020-00405-0
arXiv: 1912.12685

Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14597
DOI: 10.48550/ARXIV.2203.17143
arXiv: 2203.17143

Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica 84 (2022) 1007–1029.
LibreCat: https://research-explorer.ista.ac.at/record/8286
DOI: 10.1007/s00453-021-00905-9
WoS: 000734004600001
arXiv: 2003.09297

Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11879
DOI: 10.15479/at:ista:11879

Controllable states of superconducting Qubit ensembles
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12366
DOI: 10.15479/at:ista:12132

Cubic Forms and the Circle Method
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10415
DOI: 10.1007/978-3-030-86872-7

One-sided Frank-Wolfe algorithms for saddle problems
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10552
arXiv: 2101.12617

Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
LibreCat: https://research-explorer.ista.ac.at/record/10595
arXiv: 2012.11654

On the complexity of intersection non-emptiness for star-free language classes
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10630
DOI: 10.4230/LIPIcs.FSTTCS.2021.34
arXiv: 2110.01279

Quantitative verification on product graphs of small treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10629
DOI: 10.4230/LIPIcs.FSTTCS.2021.42

The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
LibreCat: https://research-explorer.ista.ac.at/record/10688
DOI: 10.34727/2021/isbn.978-3-85448-046-4_23

Measuring the average molecular gas content of star-forming galaxies at z = 3–4
L.A. Boogaard, R.J. Bouwens, D. Riechers, P. van der Werf, R. Bacon, J.J. Matthee, M. Stefanon, A. Feltre, M. Maseda, H. Inami, M. Aravena, J. Brinchmann, C. Carilli, T. Contini, R. Decarli, J. González-López, T. Nanayakkara, F. Walter, The Astrophysical Journal 916 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/11512
DOI: 10.3847/1538-4357/ac01d7
arXiv: 2105.12489

Differences in galaxy colours are not just about the mass
J.J. Matthee, Nature Astronomy 5 (2021) 984–985.
LibreCat: https://research-explorer.ista.ac.at/record/11585
DOI: 10.1038/s41550-021-01415-y
arXiv: 1802.06786

Horizontal shear instabilities in rotating stellar radiation zones: II. Effects of the full Coriolis acceleration
J. Park, V. Prat, S. Mathis, L.A. Bugnet, Astronomy &; Astrophysics 646 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/11609
DOI: 10.1051/0004-6361/202038654
arXiv: 2006.10660

Constant-time dynamic weight approximation for minimum spanning forest
M.H. Henzinger, P. Peng, Information and Computation 281 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/11756
DOI: 10.1016/j.ic.2021.104805
arXiv: 2011.00977

Upper and lower bounds for fully retroactive graph problems
M.H. Henzinger, X. Wu, in:, 17th International Symposium on Algorithms and Data Structures, Springer Nature, 2021, pp. 471–484.
LibreCat: https://research-explorer.ista.ac.at/record/11771
DOI: 10.1007/978-3-030-83508-8_34
arXiv: 1910.03332

Differentially private algorithms for graphs under continual observation
H. Fichtenberger, M.H. Henzinger, W. Ost, in:, 29th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/11814
DOI: 10.4230/LIPIcs.ESA.2021.42
arXiv: 2106.14756

New techniques and fine-grained hardness for dynamic near-additive spanners
T. Bergamaschi, M.H. Henzinger, M.P. Gutenberg, V.V. Williams, N. Wein, in:, 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 1836–1855.
LibreCat: https://research-explorer.ista.ac.at/record/11919
DOI: 10.1137/1.9781611976465.110
arXiv: 2010.10134

Tight bounds for online graph partitioning
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 2799–2818.
LibreCat: https://research-explorer.ista.ac.at/record/11923
DOI: 10.1137/1.9781611976465.166
arXiv: 2011.01017

Sums of four squareful numbers
A.L. Shute, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/12076
DOI: 10.48550/arXiv.2104.06966
arXiv: 2104.06966

A recurrence relation for elliptic divisibility sequences
M. Verzobio, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/12314
DOI: 10.48550/arXiv.2102.07573
arXiv: 2102.07573

The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
LibreCat: https://research-explorer.ista.ac.at/record/9403

A step in the Delaunay mosaic of order k
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9465
DOI: 10.1007/s00022-021-00577-4

Primitive divisors of sequences associated to elliptic curves with complex multiplication
M. Verzobio, Research in Number Theory 7 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/12308
DOI: 10.1007/s40993-021-00267-9

Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G. Montufar, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
LibreCat: https://research-explorer.ista.ac.at/record/13146
arXiv: 2012.11654

Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields
K.A. Modic, R.D. McDonald, J.P.C. Ruff, M.D. Bachmann, Y. Lai, J.C. Palmstrom, D. Graf, M.K. Chan, F.F. Balakirev, J.B. Betts, G.S. Boebinger, M. Schmidt, M.J. Lawler, D.A. Sokolov, P.J.W. Moll, B.J. Ramshaw, A. Shekhter, Nature Physics 17 (2021) 240–244.
LibreCat: https://research-explorer.ista.ac.at/record/8673
DOI: 10.1038/s41567-020-1028-0
WoS: 000575344700003
arXiv: 2005.04228

Sublinear latency for simplified successive cancellation decoding of polar codes
M. Mondelli, S.A. Hashemi, J.M. Cioffi, A. Goldsmith, IEEE Transactions on Wireless Communications 20 (2021) 18–27.
LibreCat: https://research-explorer.ista.ac.at/record/9047
DOI: 10.1109/TWC.2020.3022922
WoS: 000607808800002
arXiv: 1909.04892

The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, Discrete and Computational Geometry 65 (2021) 1296–1313.
LibreCat: https://research-explorer.ista.ac.at/record/9317
DOI: 10.1007/s00454-021-00281-9
WoS: 000635460400001

Efficient and adaptive sensory codes
W.F. Mlynarski, A.M. Hermundstad, Nature Neuroscience 24 (2021) 998–1009.
LibreCat: https://research-explorer.ista.ac.at/record/9439
DOI: 10.1038/s41593-021-00846-0
WoS: 000652577300003

Structure of the mature Rous sarcoma virus lattice reveals a role for I in the formation of the capsid hexamer
M. Obr, C.L. Ricana, N. Nikulin, J.-P.R. Feathers, M. Klanschnig, A. Thader, M.C. Johnson, V.M. Vogt, F.K. Schur, R.A. Dick, Nature Communications 12 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9431
DOI: 10.1038/s41467-021-23506-0
WoS: 000659145000011

Gating and modulation of a hetero-octameric AMPA glutamate receptor
D. Zhang, J. Watson, P.M. Matthews, O. Cais, I.H. Greger, Nature 594 (2021) 454–458.
LibreCat: https://research-explorer.ista.ac.at/record/9549
DOI: 10.1038/s41586-021-03613-0
WoS: 000657238100003
PMID: 34079129

Functional Löwner ellipsoids
G. Ivanov, I. Tsiutsiurupa, Journal of Geometric Analysis 31 (2021) 11493–11528.
LibreCat: https://research-explorer.ista.ac.at/record/9548
DOI: 10.1007/s12220-021-00691-4
WoS: 000656507500001
arXiv: 2008.09543

Heat induction in two-dimensional graphene–Fe3O4 nanohybrids for magnetic hyperthermia applications with artificial neural network modeling
M.S. Dar, K.B. Akram, A. Sohail, F. Arif, F. Zabihi, S. Yang, S. Munir, M. Zhu, M. Abid, M. Nauman, RSC Advances 11 (2021) 21702–21715.
LibreCat: https://research-explorer.ista.ac.at/record/9569
DOI: 10.1039/d1ra03428f
WoS: 000665644000048

Erds-Hajnal-type results for monotone paths
J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.
LibreCat: https://research-explorer.ista.ac.at/record/9602
DOI: 10.1016/j.jctb.2021.05.004
WoS: 000702280800002

Morphology of three-body quantum states from machine learning
D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics 23 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9679
DOI: 10.1088/1367-2630/ac0576
WoS: 000664736300001
arXiv: 2102.04961

Scattering in quantum dots via noncommutative rational functions
L. Erdös, T.H. Krüger, Y. Nemish, Annales Henri Poincaré  22 (2021) 4205–4269.
LibreCat: https://research-explorer.ista.ac.at/record/9912
DOI: 10.1007/s00023-021-01085-6
WoS: 000681531500001
arXiv: 1911.05112

Symbolic time and space tradeoffs for probabilistic verification
K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/10002
DOI: 10.1109/LICS52264.2021.9470739
WoS: 000947350400089
arXiv: 2104.07466

Reactive key-loss protection in blockchains
S. Blackshear, K. Chalkias, P. Chatzigiannis, R. Faizullabhoy, I. Khaburzaniya, E. Kokoris Kogias, J. Lind, D. Wong, T. Zakian, in:, FC 2021 Workshops, Springer Nature, 2021, pp. 431–450.
LibreCat: https://research-explorer.ista.ac.at/record/10076
DOI: 10.1007/978-3-662-63958-0_34
WoS: 000713005000034

SoK: Communication across distributed ledgers
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 3–36.
LibreCat: https://research-explorer.ista.ac.at/record/10325
DOI: 10.1007/978-3-662-64331-0_1
WoS: 000712016200001

Brick: Asynchronous incentive-compatible payment channels
Z. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 209–230.
LibreCat: https://research-explorer.ista.ac.at/record/10324
DOI: 10.1007/978-3-662-64331-0_11
WoS: 000712016200011
arXiv: 1905.11360

Optimal homogenization rates in stochastic homogenization of nonlinear uniformly elliptic equations and systems
J.L. Fischer, S. Neukamm, Archive for Rational Mechanics and Analysis 242 (2021) 343–452.
LibreCat: https://research-explorer.ista.ac.at/record/10549
DOI: 10.1007/s00205-021-01686-9
WoS: 000668431200001
arXiv: 1908.02273

All You Need is DAG
I. Keidar, E. Kokoris Kogias, O. Naor, A. Spiegelman, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 165–175.
LibreCat: https://research-explorer.ista.ac.at/record/10554
DOI: 10.1145/3465084.3467905
WoS: 000744439800016
arXiv: 2102.08325