Please note that ISTA 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.
5955 Publications
2020 |Published| Conference Paper | IST-REx-ID: 8533 |
Simplified game of life: Algorithms and complexity
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 8534 |
Unary prime languages
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |Submitted| Preprint | IST-REx-ID: 8616 |
Reduction of neuronal activity mediated by blood-vessel regression in the brain
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv, 10.1101/2020.09.15.262782.
[Preprint]
View
| DOI
| Download Preprint (ext.)
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv, 10.1101/2020.09.15.262782.
2020 |Published| Working Paper | IST-REx-ID: 8695 |
Empfehlungen für eine nationale Open Science Strategie in Österreich / Recommendations for a National Open Science Strategy in Austria
K. Mayer, K. Rieck, S. Reichmann, P. Danowski, A. Graschopf, T. König, P. Kraker, P. Lehner, F. Reckling, T. Ross-Hellauer, D. Spichtinger, M. Tzatzanis, S. Schürz, Empfehlungen für eine nationale Open Science Strategie in Österreich / Recommendations for a National Open Science Strategy in Austria, OANA, 2020.
[Published Version]
View
| Files available
| DOI
K. Mayer, K. Rieck, S. Reichmann, P. Danowski, A. Graschopf, T. König, P. Kraker, P. Lehner, F. Reckling, T. Ross-Hellauer, D. Spichtinger, M. Tzatzanis, S. Schürz, Empfehlungen für eine nationale Open Science Strategie in Österreich / Recommendations for a National Open Science Strategy in Austria, OANA, 2020.
2020 |Published| Journal Article | IST-REx-ID: 8694 |
Rigorous numerics for critical orbits in the quadratic family
A. Golmakani, E. Koudjinan, S. Luzzatto, P. Pilarczyk, Chaos 30 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Golmakani, E. Koudjinan, S. Luzzatto, P. Pilarczyk, Chaos 30 (2020).
2020 |Published| Journal Article | IST-REx-ID: 8691 |
A KAM theorem for finitely differentiable Hamiltonian systems
E. Koudjinan, Journal of Differential Equations 269 (2020) 4720–4750.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Koudjinan, Journal of Differential Equations 269 (2020) 4720–4750.
2020 |Published| Journal Article | IST-REx-ID: 8706 |
„Recommendation“ for the further procedure for open access monitoring. Deliverable of the AT2OA subproject TP1-B
P. Danowski, A. Ferus, A.-L. Hikl, G. McNeill, C. Miniberger, S. Reding, T. Zarka, M. Zojer, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare 73 (2020) 278–284.
[Published Version]
View
| Files available
| DOI
P. Danowski, A. Ferus, A.-L. Hikl, G. McNeill, C. Miniberger, S. Reding, T. Zarka, M. Zojer, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare 73 (2020) 278–284.
2020 |Published| Journal Article | IST-REx-ID: 8978 |
Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy
S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020).
2020 |Published| Journal Article | IST-REx-ID: 9067 |
Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles
M. Nauman, M.H. Alnasir, M.A. Hamayun, Y. Wang, M. Shatruk, S. Manzoor, RSC Advances 10 (2020) 28383–28389.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Nauman, M.H. Alnasir, M.A. Hamayun, Y. Wang, M. Shatruk, S. Manzoor, RSC Advances 10 (2020) 28383–28389.
2020 |Published| Conference Paper | IST-REx-ID: 9103 |
Lagrangian reachtubes: The next generation
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
2020 |Submitted| Preprint | IST-REx-ID: 9150 |
Rain evaporation, snow melt and entrainment at the heart of water vapor isotopic variations in the tropical troposphere, according to large-eddy simulations and a two-column model
C. Risi, C.J. Muller, P.N. Blossey, (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Risi, C.J. Muller, P.N. Blossey, (n.d.).
2020 |Published| Conference Paper | IST-REx-ID: 9221 |
Global convergence of deep networks with one wide layer followed by pyramidal topology
Q. Nguyen, M. Mondelli, in:, 34th Conference on Neural Information Processing Systems, Curran Associates, 2020, pp. 11961–11972.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
Q. Nguyen, M. Mondelli, in:, 34th Conference on Neural Information Processing Systems, Curran Associates, 2020, pp. 11961–11972.
2020 | Conference Paper | IST-REx-ID: 9415 |
Inducing and exploiting activation sparsity for fast neural network inference
M. Kurtz, J. Kopinsky, R. Gelashvili, A. Matveev, J. Carr, M. Goin, W. Leiserson, S. Moore, B. Nell, N. Shavit, D.-A. Alistarh, in:, 37th International Conference on Machine Learning, ICML 2020, 2020, pp. 5533–5543.
[Published Version]
View
| Files available
M. Kurtz, J. Kopinsky, R. Gelashvili, A. Matveev, J. Carr, M. Goin, W. Leiserson, S. Moore, B. Nell, N. Shavit, D.-A. Alistarh, in:, 37th International Conference on Machine Learning, ICML 2020, 2020, pp. 5533–5543.
2020 |Published| Journal Article | IST-REx-ID: 9526 |
DNA methylation and histone H1 jointly repress transposable elements and aberrant intragenic transcripts
J. Choi, D.B. Lyons, M.Y. Kim, J.D. Moore, D. Zilberman, Molecular Cell 77 (2020) 310–323.e7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Choi, D.B. Lyons, M.Y. Kim, J.D. Moore, D. Zilberman, Molecular Cell 77 (2020) 310–323.e7.
2020 |Published| Journal Article | IST-REx-ID: 9583 |
Almost all Steiner triple systems are almost resolvable
A. Ferber, M.A. Kwan, Forum of Mathematics 8 (2020).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Ferber, M.A. Kwan, Forum of Mathematics 8 (2020).
2020 |Published| Journal Article | IST-REx-ID: 9578 |
Nearly-linear monotone paths in edge-ordered graphs
M. Bucić, M.A. Kwan, A. Pokrovskiy, B. Sudakov, T. Tran, A.Z. Wagner, Israel Journal of Mathematics 238 (2020) 663–685.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Bucić, M.A. Kwan, A. Pokrovskiy, B. Sudakov, T. Tran, A.Z. Wagner, Israel Journal of Mathematics 238 (2020) 663–685.
2020 |Published| Journal Article | IST-REx-ID: 9582 |
Dense induced bipartite subgraphs in triangle-free graphs
M.A. Kwan, S. Letzter, B. Sudakov, T. Tran, Combinatorica 40 (2020) 283–305.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.A. Kwan, S. Letzter, B. Sudakov, T. Tran, Combinatorica 40 (2020) 283–305.
2020 |Published| Journal Article | IST-REx-ID: 9581 |
Almost all Steiner triple systems have perfect matchings
M.A. Kwan, Proceedings of the London Mathematical Society 121 (2020) 1468–1495.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.A. Kwan, Proceedings of the London Mathematical Society 121 (2020) 1468–1495.
2020 |Published| Journal Article | IST-REx-ID: 9658 |
Classical nucleation theory predicts the shape of the nucleus in homogeneous solidification
B. Cheng, M. Ceriotti, G.A. Tribello, The Journal of Chemical Physics 152 (2020).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
| arXiv
B. Cheng, M. Ceriotti, G.A. Tribello, The Journal of Chemical Physics 152 (2020).
2020 |Published| Journal Article | IST-REx-ID: 9664 |
Computing the heat conductivity of fluids from density fluctuations
B. Cheng, D. Frenkel, Physical Review Letters 125 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
B. Cheng, D. Frenkel, Physical Review Letters 125 (2020).