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

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

On the leading constant in the Manin-type conjecture for Campana points
A.L. Shute, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/12077
DOI: 10.48550/arXiv.2104.14946
arXiv: 2104.14946

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

Improved deterministic (+1) coloring in low-space MPC
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 469–479.
LibreCat: https://research-explorer.ista.ac.at/record/9935
DOI: 10.1145/3465084.3467937
WoS: 000744439800048

Brief announcement: Be prepared when network goes bad: An asynchronous view-change protocol
R. Gelashvili, E. Kokoris Kogias, A. Spiegelman, Z. Xiang, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 187–190.
LibreCat: https://research-explorer.ista.ac.at/record/10553
DOI: 10.1145/3465084.3467941
WoS: 000744439800018
arXiv: 2103.03181

The BCS energy gap at low density
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9121
DOI: 10.1007/s11005-021-01358-5
WoS: 000617531900001

Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, ACM Transactions on Algorithms 17 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9541
DOI: 10.1145/3451992
WoS: 000661311300006
arXiv: 1912.05390

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

Binary linear codes with optimal scaling: Polar codes with large kernels
A. Fazeli, H. Hassani, M. Mondelli, A. Vardy, IEEE Transactions on Information Theory 67 (2021) 5693–5710.
LibreCat: https://research-explorer.ista.ac.at/record/9002
DOI: 10.1109/TIT.2020.3038806
arXiv: 1711.01339

On lexicographic proof rules for probabilistic termination
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
LibreCat: https://research-explorer.ista.ac.at/record/10414
DOI: 10.1007/978-3-030-90870-6_33
WoS: 000758218600033
arXiv: 2108.02188

Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses
D.H. Vandael, Y. Okamoto, C. Borges Merjane, V.M. Vargas Barroso, B. Suter, P.M. Jonas, Nature Protocols 16 (2021) 2947–2967.
LibreCat: https://research-explorer.ista.ac.at/record/9438
DOI: 10.1038/s41596-021-00526-0
WoS: 000650528700003
PMID: 33990799

Identification of on- and off-pathway oligomers in amyloid fibril formation
A.J. Dear, G. Meisl, A. Sari, T.C.T. Michaels, M. Kjaergaard, S. Linse, T.P.J. Knowles, Chemical Science 11 (2020) 6236–6247.
LibreCat: https://research-explorer.ista.ac.at/record/10350
DOI: 10.1039/c9sc06501f
PMID: 32953019

Sublattice resolved spin wave transport through graphene fractional quantum Hall states as a probe of isospin order
H. Zhou, H. Polshyn, T. Tanaguchi, K. Watanabe, A. Young, in:, APS March Meeting 2020, American Physical Society, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/10693

Spectroscopic confirmation of a coma cluster progenitor at z c 2.2
B. Darvish, N.Z. Scoville, C. Martin, D. Sobral, B. Mobasher, A. Rettura, J.J. Matthee, P. Capak, N. Chartab, S. Hemmati, D. Masters, H. Nayyeri, D. O’Sullivan, A. Paulino-Afonso, Z. Sattari, A. Shahidi, M. Salvato, B.C. Lemaux, O.L. Fèvre, O. Cucciati, The Astrophysical Journal 892 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/11513
DOI: 10.3847/1538-4357/ab75c3
arXiv: 2002.06207

Fully-dynamic coresets
M.H. Henzinger, S. Kale, in:, 28th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/11818
DOI: 10.4230/LIPIcs.ESA.2020.57
arXiv: 2004.14891

Dynamic approximate maximum independent set of intervals, hypercubes and hyperrectangles
M.H. Henzinger, S. Neumann, A. Wiese, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/11824
DOI: 10.4230/LIPIcs.SoCG.2020.51
arXiv: 2003.02605

Fast dynamic cuts, distances and effective resistances via vertex sparsifiers
L. Chen, G. Goranci, M.H. Henzinger, R. Peng, T. Saranurak, in:, 61st Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2020, pp. 1135–1146.
LibreCat: https://research-explorer.ista.ac.at/record/11852
DOI: 10.1109/focs46700.2020.00109
arXiv: 2005.02368

Dichloromethylation of enones by carbon nitride photocatalysis
S. Mazzanti, B. Kurpil, B. Pieber, M. Antonietti, A. Savateev, Nature Communications 11 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/11980
DOI: 10.1038/s41467-020-15131-0

Heat rectification via a superconducting artificial atom
J.L. Senior, A. Gubaydullin, B. Karimi, J.T. Peltonen, J. Ankerhold, J.P. Pekola, Communications Physics 3 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7530
DOI: 10.1038/s42005-020-0307-5

Quantification of the overall contribution of gene-environment interaction for obesity-related traits
J. Sulc, N. Mounier, F. Günther, T. Winkler, A.R. Wood, T.M. Frayling, I.M. Heid, M.R. Robinson, Z. Kutalik, Nature Communications 11 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7707
DOI: 10.1038/s41467-020-15107-0

Bounding radon number via Betti numbers
Z. Patakova, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7989
DOI: 10.4230/LIPIcs.SoCG.2020.61
arXiv: 1908.01677

Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
LibreCat: https://research-explorer.ista.ac.at/record/9040
DOI: 10.34727/2020/isbn.978-3-85448-042-6_21

Ionic solids from common colloids
T. Hueckel, G.M. Hocky, J.A. Palacci, S. Sacanna, Nature 580 (2020) 487–490.
LibreCat: https://research-explorer.ista.ac.at/record/9059
DOI: 10.1038/s41586-020-2205-0
PMID: 32322078

Crossings between non-homotopic edges
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
LibreCat: https://research-explorer.ista.ac.at/record/9299
DOI: 10.1007/978-3-030-68766-3_28
arXiv: 2006.14908

Universality of random permutations
X. He, M.A. Kwan, Bulletin of the London Mathematical Society 52 (2020) 515–529.
LibreCat: https://research-explorer.ista.ac.at/record/9573
DOI: 10.1112/blms.12345
arXiv: 1911.12878

Clouds in current and in a warming climate
C.J. Muller, in:, F. Bouchet, T. Schneider, A. Venaille, C. Salomon (Eds.), Fundamental Aspects of Turbulent Flows in Climate Dynamics, Oxford University Press, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9132
DOI: 10.1093/oso/9780198855217.003.0002

Dense induced bipartite subgraphs in triangle-free graphs
M.A. Kwan, S. Letzter, B. Sudakov, T. Tran, Combinatorica 40 (2020) 283–305.
LibreCat: https://research-explorer.ista.ac.at/record/9582
DOI: 10.1007/s00493-019-4086-0
arXiv: 1810.12144

The state of rock debris covering Earth’s glaciers
S. Herreid, F. Pellicciotti, Nature Geoscience 13 (2020) 621–627.
LibreCat: https://research-explorer.ista.ac.at/record/12593
DOI: 10.1038/s41561-020-0615-0

Simplified successive cancellation decoding of polar codes has sublinear latency
M. Mondelli, S.A. Hashemi, J. Cioffi, A. Goldsmith, in:, IEEE International Symposium on Information Theory - Proceedings, IEEE, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8536
DOI: 10.1109/ISIT44484.2020.9174141
arXiv: 1909.04892

From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture
H. Zhang, Advances in Mathematics 365 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7509
DOI: 10.1016/j.aim.2020.107053
WoS: 000522798000001
arXiv: 1811.01205

Quantum Hellinger distances revisited
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
LibreCat: https://research-explorer.ista.ac.at/record/7618
DOI: 10.1007/s11005-020-01282-0
WoS: 000551556000002
arXiv: 1903.10455

Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation
J. Taboada-Gutiérrez, G. Álvarez-Pérez, J. Duan, W. Ma, K. Crowley, I. Prieto Gonzalez, A. Bylinkin, M. Autore, H. Volkova, K. Kimura, T. Kimura, M.H. Berger, S. Li, Q. Bao, X.P.A. Gao, I. Errea, A.Y. Nikitin, R. Hillenbrand, J. Martín-Sánchez, P. Alonso-González, Nature Materials 19 (2020) 964–968.
LibreCat: https://research-explorer.ista.ac.at/record/7792
DOI: 10.1038/s41563-020-0665-0
WoS: 000526218500004
PMID: 32284598

Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors
M. Hartstein, Y.T. Hsu, K.A. Modic, J. Porras, T. Loew, M.L. Tacon, H. Zuo, J. Wang, Z. Zhu, M.K. Chan, R.D. Mcdonald, G.G. Lonzarich, B. Keimer, S.E. Sebastian, N. Harrison, Nature Physics 16 (2020) 841–847.
LibreCat: https://research-explorer.ista.ac.at/record/7942
DOI: 10.1038/s41567-020-0910-0
WoS: 000535464400005
arXiv: 2005.14123

Intersection patterns of planar sets
G. Kalai, Z. Patakova, Discrete and Computational Geometry 64 (2020) 304–323.
LibreCat: https://research-explorer.ista.ac.at/record/7960
DOI: 10.1007/s00454-020-00205-z
WoS: 000537329400001
arXiv: 1907.00885

Stars stripped in binaries: The living gravitational-wave sources
Y.L.L. Götberg, V. Korol, A. Lamberts, T. Kupfer, K. Breivik, B. Ludwig, M.R. Drout, The Astrophysical Journal 904 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/13460
DOI: 10.3847/1538-4357/abbda5
arXiv: 2006.07382

The excitation spectrum of Bose gases interacting through singular potentials
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Journal of the European Mathematical Society 22 (2020) 2331–2403.
LibreCat: https://research-explorer.ista.ac.at/record/8042
DOI: 10.4171/JEMS/966
WoS: 000548174700006
arXiv: 1704.04819

Emergence of Haldane pseudo-potentials in systems with short-range interactions
R. Seiringer, J. Yngvason, Journal of Statistical Physics 181 (2020) 448–464.
LibreCat: https://research-explorer.ista.ac.at/record/8091
DOI: 10.1007/s10955-020-02586-0
WoS: 000543030000002
arXiv: 2001.07144

Key role of quinone in the mechanism of respiratory complex I
J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo, D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8318
DOI: 10.1038/s41467-020-17957-0
WoS: 000607072900001
PMID: 32811817

Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum
K. Kubiasova, J.C. Montesinos López, O. Samajová, J. Nisler, V. Mik, H. Semerádová, L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doleeal, P. Galuszka, J. Samaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications 11 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8336
DOI: 10.1038/s41467-020-17949-0
WoS: 000567931000002
PMID: 32855390

Attosecond Molecular Dynamics and Spectroscopy
D.R. Baykusheva, H.J. Wörner, in:, R. Marquardt, M. Quack (Eds.), Molecular Spectroscopy and Quantum Dynamics, 1st ed., Elsevier, 2020, pp. 113–161.
LibreCat: https://research-explorer.ista.ac.at/record/14000
DOI: 10.1016/b978-0-12-817234-6.00009-x

A specialized reciprocal connectivity suggests a link between the mechanisms by which the superior colliculus and parabigeminal nucleus produce defensive behaviors in rodents
A. Deichler, D. Carrasco, L. Lopez-Jury, T.A. Vega Zuniga, N. Marquez, J. Mpodozis, G. Marin, Scientific Reports 10 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8643
DOI: 10.1038/s41598-020-72848-0
WoS: 000577142600032

Strain engineering of the charge and spin-orbital interactions in SIrO4
E. Paris, Y. Tseng, E. Paerschke, W. Zhang, M.H. Upton, A. Efimenko, K. Rolfs, D.E. McNally, L. Maurel, M. Naamneh, M. Caputo, V.N. Strocov, Z. Wang, D. Casa, C.W. Schneider, E. Pomjakushina, K. Wohlfeld, M. Radovic, T. Schmitt, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 24764–24770.
LibreCat: https://research-explorer.ista.ac.at/record/8699
DOI: 10.1073/pnas.2012043117
WoS: 000579059100029
PMID: 32958669
arXiv: 2009.12262

Vascular surveillance by haptotactic blood platelets in inflammation and infection
L. Nicolai, K. Schiefelbein, S. Lipsky, A. Leunig, M. Hoffknecht, K. Pekayvaz, B. Raude, C. Marx, A. Ehrlich, J. Pircher, Z. Zhang, I. Saleh, A.-K. Marel, A. Löf, T. Petzold, M. Lorenz, K. Stark, R. Pick, G. Rosenberger, L. Weckbach, B. Uhl, S. Xia, C.A. Reichel, B. Walzog, C. Schulz, V. Zheden, M. Bender, R. Li, S. Massberg, F.R. Gärtner, Nature Communications 11 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8787
DOI: 10.1038/s41467-020-19515-0
WoS: 000594648000014
PMID: 33188196

Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons
L. Bossmann, Archive for Rational Mechanics and Analysis 238 (2020) 541–606.
LibreCat: https://research-explorer.ista.ac.at/record/8130
DOI: 10.1007/s00205-020-01548-w
WoS: 000550164400001
arXiv: 1907.04547

Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R.K. Butlin, Journal of Evolutionary Biology 33 (2020) 342–351.
LibreCat: https://research-explorer.ista.ac.at/record/7205
DOI: 10.1111/jeb.13570
WoS: 000500954800001
PMID: 31724256