Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6016 Publications
2020 | Journal Article | IST-REx-ID: 7788 | 
NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2
M.J.W. Adjobo-Hermans, R. De Haas, P.H.G.M. Willems, A. Wojtala, S.E. Van Emst-De Vries, J.A. Wagenaars, M. Van Den Brand, R.J. Rodenburg, J.A.M. Smeitink, L.G. Nijtmans, L.A. Sazanov, M.R. Wieckowski, W.J.H. Koopman, Biochimica et Biophysica Acta - Bioenergetics 1861 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
M.J.W. Adjobo-Hermans, R. De Haas, P.H.G.M. Willems, A. Wojtala, S.E. Van Emst-De Vries, J.A. Wagenaars, M. Van Den Brand, R.J. Rodenburg, J.A.M. Smeitink, L.G. Nijtmans, L.A. Sazanov, M.R. Wieckowski, W.J.H. Koopman, Biochimica et Biophysica Acta - Bioenergetics 1861 (2020).
2020 | Journal Article | IST-REx-ID: 7789 |
Defining the design principles of skin epidermis postnatal growth
S. Dekoninck, E.B. Hannezo, A. Sifrim, Y.A. Miroshnikova, M. Aragona, M. Malfait, S. Gargouri, C. De Neunheuser, C. Dubois, T. Voet, S.A. Wickström, B.D. Simons, C. Blanpain, Cell 181 (2020) 604–620.e22.
View
| Files available
| DOI
| PubMed | Europe PMC
S. Dekoninck, E.B. Hannezo, A. Sifrim, Y.A. Miroshnikova, M. Aragona, M. Malfait, S. Gargouri, C. De Neunheuser, C. Dubois, T. Voet, S.A. Wickström, B.D. Simons, C. Blanpain, Cell 181 (2020) 604–620.e22.
2020 | Journal Article | IST-REx-ID: 7790 |
The free energy of the two-dimensional dilute Bose gas. I. Lower bound
A. Deuchert, S. Mayer, R. Seiringer, Forum of Mathematics, Sigma 8 (2020).
View
| Files available
| DOI
| arXiv
A. Deuchert, S. Mayer, R. Seiringer, Forum of Mathematics, Sigma 8 (2020).
2020 | Journal Article | IST-REx-ID: 7791 |
When different norms lead to same billiard trajectories?
A. Akopyan, R. Karasev, European Journal of Mathematics (2020).
View
| Files available
| DOI
| arXiv
A. Akopyan, R. Karasev, European Journal of Mathematics (2020).
2020 | Journal Article | IST-REx-ID: 7793 |
Direct ETTIN-auxin interaction controls chromatin states in gynoecium development
A. Kuhn, S. Ramans Harborough, H.M. McLaughlin, B. Natarajan, I. Verstraeten, J. Friml, S. Kepinski, L. Østergaard, ELife 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
A. Kuhn, S. Ramans Harborough, H.M. McLaughlin, B. Natarajan, I. Verstraeten, J. Friml, S. Kepinski, L. Østergaard, ELife 9 (2020).
2020 | Conference Paper | IST-REx-ID: 7802 |
Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, 2020, pp. 175–185.
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, 2020, pp. 175–185.
2020 | Journal Article | IST-REx-ID: 7804 |
MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity
S.M. Flynn, C. Chen, M. Artan, S. Barratt, A. Crisp, G.M. Nelson, S.Y. Peak-Chew, F. Begum, M. Skehel, M. de Bono, Nature Communications 11 (2020).
View
| Files available
| DOI
S.M. Flynn, C. Chen, M. Artan, S. Barratt, A. Crisp, G.M. Nelson, S.Y. Peak-Chew, F. Begum, M. Skehel, M. de Bono, Nature Communications 11 (2020).
2020 | Conference Paper | IST-REx-ID: 7806 |
Embeddability of simplicial complexes is undecidable
M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
View
| DOI
| Download Published Version (ext.)
M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
2020 | Conference Paper | IST-REx-ID: 7807 |
Connectivity of triangulation flip graphs in the plane (Part I: Edge flips)
U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
2020 | Conference Paper | IST-REx-ID: 7808 |
How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
View
| Files available
| DOI
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
2020 | Conference Paper | IST-REx-ID: 7810 |
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
2020 | Journal Article | IST-REx-ID: 7814 |
SCOPES: Sparking curiosity through Open-Source platforms in education and science
R.J. Beattie, S. Hippenmeyer, F. Pauler, Frontiers in Education 5 (2020).
View
| Files available
| DOI
R.J. Beattie, S. Hippenmeyer, F. Pauler, Frontiers in Education 5 (2020).
2020 | Journal Article | IST-REx-ID: 7815 |
Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM)
R.J. Beattie, C. Streicher, N. Amberg, G.T. Cheung, X. Contreras, A.H. Hansen, S. Hippenmeyer, Journal of Visual Experiments (JoVE) (2020).
View
| Files available
| DOI
R.J. Beattie, C. Streicher, N. Amberg, G.T. Cheung, X. Contreras, A.H. Hansen, S. Hippenmeyer, Journal of Visual Experiments (JoVE) (2020).
2020 | Journal Article | IST-REx-ID: 7864
Precision medicine in clinical oncology: the journey from IgG antibody to IgE
J. Singer, J. Singer, E. Jensen-Jarolim, Current Opinion in Allergy and Clinical Immunology 20 (2020) 282–289.
View
| DOI
J. Singer, J. Singer, E. Jensen-Jarolim, Current Opinion in Allergy and Clinical Immunology 20 (2020) 282–289.
2020 | Journal Article | IST-REx-ID: 7866 |
Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model
K. Fellner, M. Kniely, Journal of Elliptic and Parabolic Equations (2020).
View
| DOI
| Download Published Version (ext.)
K. Fellner, M. Kniely, Journal of Elliptic and Parabolic Equations (2020).
2020 | Journal Article | IST-REx-ID: 7875 |
Microtubules control cellular shape and coherence in amoeboid migrating cells
A. Kopf, J. Renkawitz, R. Hauschild, I. Girkontaite, K. Tedford, J. Merrin, O. Thorn-Seshold, D. Trauner, H. Häcker, K.D. Fischer, E. Kiermaier, M.K. Sixt, The Journal of Cell Biology 219 (2020) e201907154.
View
| DOI
| Download Published Version (ext.)
A. Kopf, J. Renkawitz, R. Hauschild, I. Girkontaite, K. Tedford, J. Merrin, O. Thorn-Seshold, D. Trauner, H. Häcker, K.D. Fischer, E. Kiermaier, M.K. Sixt, The Journal of Cell Biology 219 (2020) e201907154.
2020 | Journal Article | IST-REx-ID: 7876
T cells: Bridge-and-channel commute to the white pulp
M.K. Sixt, T. Lämmermann, Immunity 52 (2020) 721–723.
View
| DOI
M.K. Sixt, T. Lämmermann, Immunity 52 (2020) 721–723.
2020 | Journal Article | IST-REx-ID: 7877 |
MAU2 and NIPBL variants impair the heterodimerization of the cohesin loader subunits and cause Cornelia de Lange syndrome
I. Parenti, F. Diab, S.R. Gil, E. Mulugeta, V. Casa, R. Berutti, R.W.W. Brouwer, V. Dupé, J. Eckhold, E. Graf, B. Puisac, F. Ramos, T. Schwarzmayr, M.M. Gines, T. Van Staveren, W.F.J. Van Ijcken, T.M. Strom, J. Pié, E. Watrin, F.J. Kaiser, K.S. Wendt, Cell Reports 31 (2020).
View
| Files available
| DOI
I. Parenti, F. Diab, S.R. Gil, E. Mulugeta, V. Casa, R. Berutti, R.W.W. Brouwer, V. Dupé, J. Eckhold, E. Graf, B. Puisac, F. Ramos, T. Schwarzmayr, M.M. Gines, T. Van Staveren, W.F.J. Van Ijcken, T.M. Strom, J. Pié, E. Watrin, F.J. Kaiser, K.S. Wendt, Cell Reports 31 (2020).
2020 | Journal Article | IST-REx-ID: 7878 |
Synergism of type 1 metabotropic and ionotropic glutamate receptors in cerebellar molecular layer interneurons in vivo
J. Bao, M. Graupner, G. Astorga, T. Collin, A. Jalil, D.W. Indriati, J. Bradley, R. Shigemoto, I. Llano, ELife 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
J. Bao, M. Graupner, G. Astorga, T. Collin, A. Jalil, D.W. Indriati, J. Bradley, R. Shigemoto, I. Llano, ELife 9 (2020).
2020 | Journal Article | IST-REx-ID: 7879 |
SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism
H. Han, H. Rakusová, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40.
View
| DOI
| Download Published Version (ext.)
H. Han, H. Rakusová, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40.
2020 | Journal Article | IST-REx-ID: 7880 |
Dopamine transporter trafficking and Rit2 GTPase: Mechanism of action and in vivo impact
R.R. Fagan, P.J. Kearney, C.G. Sweeney, D. Luethi, F.E. Schoot Uiterkamp, K. Schicker, B.S. Alejandro, L.C. O’Connor, H.H. Sitte, H.E. Melikian, Journal of Biological Chemistry 295 (2020) 5229–5244.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
R.R. Fagan, P.J. Kearney, C.G. Sweeney, D. Luethi, F.E. Schoot Uiterkamp, K. Schicker, B.S. Alejandro, L.C. O’Connor, H.H. Sitte, H.E. Melikian, Journal of Biological Chemistry 295 (2020) 5229–5244.
2020 | Journal Article | IST-REx-ID: 7882 |
Clusters in separated tubes of tilted dipoles
J.R. Armstrong, A.S. Jensen, A. Volosniev, N.T. Zinner, Mathematics 8 (2020).
View
| Files available
| DOI
J.R. Armstrong, A.S. Jensen, A. Volosniev, N.T. Zinner, Mathematics 8 (2020).
2020 | Journal Article | IST-REx-ID: 7883 |
Regulation of size and scale in vertebrate spinal cord development
K. Kuzmicz-Kowalska, A. Kicheva, Wiley Interdisciplinary Reviews: Developmental Biology (2020) e383.
View
| DOI
| Download Published Version (ext.)
K. Kuzmicz-Kowalska, A. Kicheva, Wiley Interdisciplinary Reviews: Developmental Biology (2020) e383.
2020 | Journal Article | IST-REx-ID: 7888 |
Zebrafish embryonic explants undergo genetically encoded self-assembly
A. Schauer, D.C. Nunes Pinheiro, R. Hauschild, C.-P.J. Heisenberg, ELife 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
A. Schauer, D.C. Nunes Pinheiro, R. Hauschild, C.-P.J. Heisenberg, ELife 9 (2020).
2020 | Journal Article | IST-REx-ID: 7889
Plants with genetically encoded autoluminescence
T. Mitiouchkina, A.S. Mishin, L. Gonzalez Somermeyer, N.M. Markina, T.V. Chepurnyh, E.B. Guglya, T.A. Karataeva, K.A. Palkina, E.S. Shakhova, L.I. Fakhranurova, S.V. Chekova, A.S. Tsarkova, Y.V. Golubev, V.V. Negrebetsky, S.A. Dolgushin, P.V. Shalaev, D. Shlykov, O.A. Melnik, V.O. Shipunova, S.M. Deyev, A.I. Bubyrev, A.S. Pushin, V.V. Choob, S.V. Dolgov, F. Kondrashov, I.V. Yampolsky, K.S. Sarkisyan, Nature Biotechnology 38 (2020) 944–946.
View
| Files available
| DOI
| PubMed | Europe PMC
T. Mitiouchkina, A.S. Mishin, L. Gonzalez Somermeyer, N.M. Markina, T.V. Chepurnyh, E.B. Guglya, T.A. Karataeva, K.A. Palkina, E.S. Shakhova, L.I. Fakhranurova, S.V. Chekova, A.S. Tsarkova, Y.V. Golubev, V.V. Negrebetsky, S.A. Dolgushin, P.V. Shalaev, D. Shlykov, O.A. Melnik, V.O. Shipunova, S.M. Deyev, A.I. Bubyrev, A.S. Pushin, V.V. Choob, S.V. Dolgov, F. Kondrashov, I.V. Yampolsky, K.S. Sarkisyan, Nature Biotechnology 38 (2020) 944–946.
2020 | Journal Article | IST-REx-ID: 7900 |
Bosonic collective excitations in Fermi gases
N.P. Benedikter, Reviews in Mathematical Physics (2020) 2060009.
View
| DOI
| Download Preprint (ext.)
| arXiv
N.P. Benedikter, Reviews in Mathematical Physics (2020) 2060009.
2020 | Preprint | IST-REx-ID: 7901 |
Correlation energy of a weakly interacting Fermi gas
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, ArXiv (n.d.).
2020 | Journal Article | IST-REx-ID: 7905 |
Sheaf-theoretic stratification learning from geometric and topological perspectives
A. Brown, B. Wang, Discrete & Computational Geometry (2020).
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Brown, B. Wang, Discrete & Computational Geometry (2020).
2020 | Journal Article | IST-REx-ID: 7908 |
Frequency-dependent block of excitatory neurotransmission by isoflurane via dual presynaptic mechanisms
H.Y. Wang, K. Eguchi, T. Yamashita, T. Takahashi, Journal of Neuroscience 40 (2020) 4103–4115.
View
| Files available
| DOI
H.Y. Wang, K. Eguchi, T. Yamashita, T. Takahashi, Journal of Neuroscience 40 (2020) 4103–4115.
2020 | Journal Article | IST-REx-ID: 7909 |
Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion
J. Damiano-Guercio, L. Kurzawa, J. Müller, G.A. Dimchev, M. Schaks, M. Nemethova, T. Pokrant, S. Brühmann, J. Linkner, L. Blanchoin, M.K. Sixt, K. Rottner, J. Faix, ELife 9 (2020).
View
| Files available
| DOI
J. Damiano-Guercio, L. Kurzawa, J. Müller, G.A. Dimchev, M. Schaks, M. Nemethova, T. Pokrant, S. Brühmann, J. Linkner, L. Blanchoin, M.K. Sixt, K. Rottner, J. Faix, ELife 9 (2020).
2020 | Journal Article | IST-REx-ID: 7910 |
Microwave quantum illumination using a digital receiver
S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, Science Advances 6 (2020).
View
| Files available
| DOI
S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, Science Advances 6 (2020).
2020 | Journal Article | IST-REx-ID: 7919 |
Induced correlations between impurities in a one-dimensional quenched Bose gas
S.I. Mistakidis, A. Volosniev, P. Schmelcher, Physical Review Research 2 (2020).
View
| Files available
| DOI
S.I. Mistakidis, A. Volosniev, P. Schmelcher, Physical Review Research 2 (2020).
2020 | Journal Article | IST-REx-ID: 7925 |
New inertial relaxed method for solving split feasibilities
Y. Shehu, A. Gibali, Optimization Letters (2020).
View
| DOI
| Download Published Version (ext.)
Y. Shehu, A. Gibali, Optimization Letters (2020).
2020 | Journal Article | IST-REx-ID: 7931 |
A method for identification of the methylation level of CpG islands from NGS data
L.A. Uroshlev, E.T. Abdullaev, I.R. Umarova, I.A. Il’Icheva, L.A. Panchenko, R.V. Polozov, F. Kondrashov, Y.D. Nechipurenko, S.L. Grokhovsky, Scientific Reports 10 (2020).
View
| Files available
| DOI
L.A. Uroshlev, E.T. Abdullaev, I.R. Umarova, I.A. Il’Icheva, L.A. Panchenko, R.V. Polozov, F. Kondrashov, Y.D. Nechipurenko, S.L. Grokhovsky, Scientific Reports 10 (2020).
2020 | Journal Article | IST-REx-ID: 7932 |
Nonlinear hydrodynamic instability and turbulence in pulsatile flow
D. Xu, A. Varshney, X. Ma, B. Song, M. Riedl, M. Avila, B. Hof, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 11233–11239.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Xu, A. Varshney, X. Ma, B. Song, M. Riedl, M. Avila, B. Hof, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 11233–11239.
2020 | Journal Article | IST-REx-ID: 7933 |
Synthetic spin-orbit coupling mediated by a bosonic environment
M. Maslov, M. Lemeshko, E. Yakaboylu, Physical Review B 101 (2020) 184104.
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Maslov, M. Lemeshko, E. Yakaboylu, Physical Review B 101 (2020) 184104.
2020 | Journal Article | IST-REx-ID: 7939 |
Fast approximate shortest paths in the congested clique
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, Distributed Computing (2020).
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, Distributed Computing (2020).
2020 | Journal Article | IST-REx-ID: 7940 |
The PBW theorem for affine Yangians
Y. Yang, G. Zhao, Transformation Groups (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Yang, G. Zhao, Transformation Groups (2020).
2020 | Book Chapter | IST-REx-ID: 7941
Simple multi-color super-resolution by X10 microscopy
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, n.d.
View
| DOI
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, n.d.
2020 | Journal Article | IST-REx-ID: 7942 |
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 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
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 (2020).
2020 | Thesis | IST-REx-ID: 7944 |
Reconfiguration problems
Z. Masárová, Reconfiguration Problems, IST Austria, 2020.
View
| Files available
| DOI
Z. Masárová, Reconfiguration Problems, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7948 |
The Arabidopsis NRT1.1 transceptor coordinately controls auxin biosynthesis and transport to regulate root branching in response to nitrate
A. Maghiaoui, E. Bouguyon, C. Cuesta, F. Perrine-Walker, C. Alcon, G. Krouk, E. Benková, P. Nacry, A. Gojon, L. Bach, Journal of Experimental Botany (n.d.) eraa242.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
A. Maghiaoui, E. Bouguyon, C. Cuesta, F. Perrine-Walker, C. Alcon, G. Krouk, E. Benková, P. Nacry, A. Gojon, L. Bach, Journal of Experimental Botany (n.d.) eraa242.
2020 | Journal Article | IST-REx-ID: 7949 |
The CEP5 peptide promotes abiotic stress tolerance, as revealed by quantitative proteomics, and attenuates the AUX/IAA equilibrium in Arabidopsis
S. Smith, S. Zhu, L. Joos, I. Roberts, N. Nikonorova, L. Vu, E. Stes, H. Cho, A. Larrieu, W. Xuan, B. Goodall, B. van de Cotte, J. Waite, A. Rigal, S. R Harborough, G. Persiau, S. Vanneste, G. Kirschner, E. Vandermarliere, L. Martens, Y. Stahl, D. Audenaert, J. Friml, G. Felix, R. Simon, M. Bennett, A. Bishopp, G. De Jaeger, K. Ljung, S. Kepinski, S. Robert, J. Nemhauser, I. Hwang, K. Gevaert, T. Beeckman, I. De Smet, Molecular & Cellular Proteomics 19 (2020) 1248–1262.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
S. Smith, S. Zhu, L. Joos, I. Roberts, N. Nikonorova, L. Vu, E. Stes, H. Cho, A. Larrieu, W. Xuan, B. Goodall, B. van de Cotte, J. Waite, A. Rigal, S. R Harborough, G. Persiau, S. Vanneste, G. Kirschner, E. Vandermarliere, L. Martens, Y. Stahl, D. Audenaert, J. Friml, G. Felix, R. Simon, M. Bennett, A. Bishopp, G. De Jaeger, K. Ljung, S. Kepinski, S. Robert, J. Nemhauser, I. Hwang, K. Gevaert, T. Beeckman, I. De Smet, Molecular & Cellular Proteomics 19 (2020) 1248–1262.
2020 | Conference Paper | IST-REx-ID: 7952 |
The topological correctness of PL-approximations of isomanifolds
J.-D. Boissonnat, M. Wintraecken, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 20:1-20:18.
View
| Files available
| DOI
J.-D. Boissonnat, M. Wintraecken, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 20:1-20:18.
2020 | Conference Paper | IST-REx-ID: 7955 |
Approximating values of generalized-reachability stochastic games
P. Ashok, K. Chatterjee, J. Kretinsky, M. Weininger, T. Winkler, in:, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , Association for Computing Machinery, n.d., pp. 102–115.
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Ashok, K. Chatterjee, J. Kretinsky, M. Weininger, T. Winkler, in:, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , Association for Computing Machinery, n.d., pp. 102–115.
2020 | Journal Article | IST-REx-ID: 6184 |
Correlated random matrices: Band rigidity and edge universality
J. Alt, L. Erdös, T.H. Krüger, D.J. Schröder, Annals of Probability 48 (2020) 963–1001.
View
| Files available
| Download Preprint (ext.)
| arXiv
J. Alt, L. Erdös, T.H. Krüger, D.J. Schröder, Annals of Probability 48 (2020) 963–1001.
2020 | Journal Article | IST-REx-ID: 6185 |
Cusp universality for random matrices I: Local law and the complex hermitian case
L. Erdös, T.H. Krüger, D.J. Schröder, Communications in Mathematical Physics (2020) 50.
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
L. Erdös, T.H. Krüger, D.J. Schröder, Communications in Mathematical Physics (2020) 50.
2020 | Journal Article | IST-REx-ID: 6358 |
Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems
E.A. Carlen, J. Maas, Journal of Statistical Physics 178 (2020) 319–378.
View
| Files available
| DOI
| arXiv
E.A. Carlen, J. Maas, Journal of Statistical Physics 178 (2020) 319–378.
2020 | Journal Article | IST-REx-ID: 6563 |
Are two given maps homotopic? An algorithmic viewpoint
M. Filakovský, L. Vokřínek, Foundations of Computational Mathematics 20 (2020) 311–330.
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Filakovský, L. Vokřínek, Foundations of Computational Mathematics 20 (2020) 311–330.
2020 | Journal Article | IST-REx-ID: 6593 |
An efficient projection-type method for monotone variational inequalities in Hilbert spaces
Y. Shehu, X.-H. Li, Q.-L. Dong, Numerical Algorithms 84 (2020) 365–388.
View
| Files available
| DOI
Y. Shehu, X.-H. Li, Q.-L. Dong, Numerical Algorithms 84 (2020) 365–388.