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.
9069 Publications
2020 | Journal Article | IST-REx-ID: 9630 | 
H. Edelsbrunner, Z. Virk, and H. Wagner, “Topological data analysis in information space,” Journal of Computational Geometry, vol. 11, no. 2. Carleton University, pp. 162–182, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 9631 |
V. Aksenov, D.-A. Alistarh, and J. Korhonen, “Scalable belief propagation via relaxed scheduling,” in Advances in Neural Information Processing Systems, Vancouver, Canada, 2020, vol. 33, pp. 22361–22372.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9675
B. Cheng et al., “Mapping materials and molecules,” Accounts of Chemical Research, vol. 53, no. 9. American Chemical Society, pp. 1981–1991, 2020.
View
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 9666 |
A. Reinhardt, C. J. Pickard, and B. Cheng, “Predicting the phase diagram of titanium dioxide with random search and pattern recognition,” Physical Chemistry Chemical Physics, vol. 22, no. 22. Royal Society of Chemistry, pp. 12697–12705, 2020.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2020 | Journal Article | IST-REx-ID: 9671 |
B. Monserrat, J. G. Brandenburg, E. A. Engel, and B. Cheng, “Liquid water contains the building blocks of diverse ice phases,” Nature Communications, vol. 11, no. 1. Springer Nature, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8533 |
K. Chatterjee, R. Ibsen-Jensen, I. R. Jecker, and J. Svoboda, “Simplified game of life: Algorithms and complexity,” in 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic, 2020, vol. 170.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8534 |
I. R. Jecker, O. Kupferman, and N. Mazzocchi, “Unary prime languages,” in 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic, 2020, vol. 170.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8538 |
A. Akopyan, R. Schwartz, and S. Tabachnikov, “Billiards in ellipses revisited,” European Journal of Mathematics. Springer Nature, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Preprint | IST-REx-ID: 8616 |
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.)
2020 | Working Paper | IST-REx-ID: 8695 |
K. Mayer et al., 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
2020 | Journal Article | IST-REx-ID: 8694 |
A. Golmakani, E. Koudjinan, S. Luzzatto, and P. Pilarczyk, “Rigorous numerics for critical orbits in the quadratic family,” Chaos, vol. 30, no. 7. AIP, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8691 |
E. Koudjinan, “A KAM theorem for finitely differentiable Hamiltonian systems,” Journal of Differential Equations, vol. 269, no. 6. Elsevier, pp. 4720–4750, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8706 |
P. Danowski et al., “„Recommendation“ for the further procedure for open access monitoring. Deliverable of the AT2OA subproject TP1-B,” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, vol. 73, no. 2. Vereinigung Osterreichischer Bibliothekarinnen und Bibliothekare, pp. 278–284, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8978 |
S. Laukoter, N. Amberg, F. Pauler, and S. Hippenmeyer, “Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy,” STAR Protocols, vol. 1, no. 3. Elsevier, 2020.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 9054
M. Youssef, A. Morin, A. Aubret, S. Sacanna, and J. A. Palacci, “Rapid characterization of neutral polymer brush with a conventional zetameter and a variable pinch of salt,” Soft Matter, vol. 16, no. 17. Royal Society of Chemistry , pp. 4274–4282, 2020.
View
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 9067 |
M. Nauman, M. H. Alnasir, M. A. Hamayun, Y. Wang, M. Shatruk, and S. Manzoor, “Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles,” RSC Advances, vol. 10, no. 47. Royal Society of Chemistry, pp. 28383–28389, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 9103 |
S. Gruenbacher, J. Cyranka, M. Lechner, M. A. Islam, S. A. Smolka, and R. Grosu, “Lagrangian reachtubes: The next generation,” in Proceedings of the 59th IEEE Conference on Decision and Control, Jeju Islang, Korea (South), 2020, vol. 2020, pp. 1556–1563.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Preprint | IST-REx-ID: 9150 |
C. Risi, C. J. Muller, and P. N. Blossey, “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.” ESSOAr.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Conference Paper | IST-REx-ID: 9221 |
Q. Nguyen and M. Mondelli, “Global convergence of deep networks with one wide layer followed by pyramidal topology,” in 34th Conference on Neural Information Processing Systems, Vancouver, Canada, 2020, vol. 33, pp. 11961–11972.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 9415 |
M. Kurtz et al., “Inducing and exploiting activation sparsity for fast neural network inference,” in 37th International Conference on Machine Learning, ICML 2020, Online, 2020, vol. 119, pp. 5533–5543.
[Published Version]
View
| Files available
2020 | Journal Article | IST-REx-ID: 9526 |
J. Choi, D. B. Lyons, M. Y. Kim, J. D. Moore, and D. Zilberman, “DNA methylation and histone H1 jointly repress transposable elements and aberrant intragenic transcripts,” Molecular Cell, vol. 77, no. 2. Elsevier, p. 310–323.e7, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 9583 |
A. Ferber and M. A. Kwan, “Almost all Steiner triple systems are almost resolvable,” Forum of Mathematics, vol. 8. Cambridge University Press, 2020.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 9578 |
M. Bucić, M. A. Kwan, A. Pokrovskiy, B. Sudakov, T. Tran, and A. Z. Wagner, “Nearly-linear monotone paths in edge-ordered graphs,” Israel Journal of Mathematics, vol. 238, no. 2. Springer, pp. 663–685, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9582 |
M. A. Kwan, S. Letzter, B. Sudakov, and T. Tran, “Dense induced bipartite subgraphs in triangle-free graphs,” Combinatorica, vol. 40, no. 2. Springer, pp. 283–305, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9581 |
M. A. Kwan, “Almost all Steiner triple systems have perfect matchings,” Proceedings of the London Mathematical Society, vol. 121, no. 6. Wiley, pp. 1468–1495, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9658 |
B. Cheng, M. Ceriotti, and G. A. Tribello, “Classical nucleation theory predicts the shape of the nucleus in homogeneous solidification,” The Journal of Chemical Physics, vol. 152, no. 4. AIP Publishing, 2020.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
| arXiv
2020 | Journal Article | IST-REx-ID: 9664 |
B. Cheng and D. Frenkel, “Computing the heat conductivity of fluids from density fluctuations,” Physical Review Letters, vol. 125, no. 13. American Physical Society, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2020 | Journal Article | IST-REx-ID: 9685 |
B. Cheng, G. Mazzola, C. J. Pickard, and M. Ceriotti, “Evidence for supercritical behaviour of high-pressure liquid hydrogen,” Nature, vol. 585, no. 7824. Springer Nature, pp. 217–220, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2020 | Journal Article | IST-REx-ID: 12598 |
T. E. Shaw, S. Gascoin, P. A. Mendoza, F. Pellicciotti, and J. McPhee, “Snow depth patterns in a high mountain Andean catchment from satellite optical tristereoscopic remote sensing,” Water Resources Research, vol. 56, no. 2. American Geophysical Union, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 12594 |
T. E. Shaw et al., “The utility of optical satellite winter snow depths for initializing a glacio‐hydrological model of a High‐Elevation, Andean catchment,” Water Resources Research, vol. 56, no. 8. American Geophysical Union, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 12596 |
Á. Ayala, D. Farías-Barahona, M. Huss, F. Pellicciotti, J. McPhee, and D. Farinotti, “Glacier runoff variations since 1955 in the Maipo River basin, in the semiarid Andes of central Chile,” The Cryosphere, vol. 14, no. 6. Copernicus Publications, pp. 2005–2027, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 12597 |
P. Troxler, Á. Ayala, T. E. Shaw, M. Nolan, B. W. Brock, and F. Pellicciotti, “Modelling spatial patterns of near-surface air temperature over a decade of melt seasons on McCall Glacier, Alaska,” Journal of Glaciology, vol. 66, no. 257. Cambridge University Press, pp. 386–400, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 12595 |
W. Yang et al., “Seasonal dynamics of a temperate Tibetan glacier revealed by high-resolution UAV photogrammetry and in situ measurements,” Remote Sensing, vol. 12, no. 15. MDPI, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 12599
Immerzeel WW, Lutz AF, Andrade M, Bahl A, Biemans H, Bolch T, Hyde S, Brumby S, Davies BJ, Elmore AC, Emmer A, Feng M, Fernández A, Haritashya U, Kargel JS, Koppes M, Kraaijenbrink PDA, Kulkarni AV, Mayewski PA, Nepal S, Pacheco P, Painter TH, Pellicciotti F, Rajaram H, Rupper S, Sinisalo A, Shrestha AB, Viviroli D, Wada Y, Xiao C, Yao T, Baillie JEM. 2020. Importance and vulnerability of the world’s water towers. Nature. 577(7790), 364–369.
View
| DOI
2020 | Journal Article | IST-REx-ID: 12593
S. Herreid and F. Pellicciotti, “The state of rock debris covering Earth’s glaciers,” Nature Geoscience, vol. 13, no. 9. Springer Nature, pp. 621–627, 2020.
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 10672 |
M. Lechner, “Learning representations for binary-classification without backpropagation,” in 8th International Conference on Learning Representations, Virtual ; Addis Ababa, Ethiopia, 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8188 |
P. M. Henderson and C. Lampert, “Unsupervised object-centric video generation and decomposition in 3D,” in 34th Conference on Neural Information Processing Systems, Vancouver, Canada, 2020, vol. 33, pp. 3106–3117.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 12188 |
R. H. Bloomer et al., “The Arabidopsis epigenetic regulator ICU11 as an accessory protein of polycomb repressive complex 2,” Proceedings of the National Academy of Sciences, vol. 117, no. 28. Proceedings of the National Academy of Sciences, pp. 16660–16666, 2020.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 12189 |
N. Christophorou et al., “AXR1 affects DNA methylation independently of its role in regulating meiotic crossover localization,” PLOS Genetics, vol. 16, no. 6. Public Library of Science (PLoS), 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 12310 |
M. Verzobio, “Primitive divisors of sequences associated to elliptic curves,” Journal of Number Theory, vol. 209, no. 4. Elsevier, pp. 378–390, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Preprint | IST-REx-ID: 9699 |
B. Monserrat, J. G. Brandenburg, E. A. Engel, and B. Cheng, “Extracting ice phases from liquid water: Why a machine-learning water model generalizes so well,” arXiv. .
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 12940 |
C. Meisenbichler, F. Kluibenschedl, and T. Müller, “A 3-in-1 hand-held ambient mass spectrometry interface for identification and 2D localization of chemicals on surfaces,” Analytical Chemistry, vol. 92, no. 21. American Chemical Society, pp. 14314–14318, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 12939 |
C. A. Karg et al., “Phylloxanthobilins are abundant linear tetrapyrroles from chlorophyll breakdown with activities against cancer cells,” European Journal of Organic Chemistry, vol. 2020, no. 29. Wiley, pp. 4499–4509, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Book (Editor) | IST-REx-ID: 7474 |
A. Schlögl, J. Kiss, and S. Elefante, Eds., Austrian High-Performance-Computing meeting (AHPC2020). Klosterneuburg, Austria: IST Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7808 |
M. Giacobbe, T. A. Henzinger, and M. Lechner, “How many bits does it take to quantize your neural network?,” in International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland, 2020, vol. 12079, pp. 79–97.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7952 |
J.-D. Boissonnat and M. Wintraecken, “The topological correctness of PL-approximations of isomanifolds,” in 36th International Symposium on Computational Geometry, Zürich, Switzerland, 2020, vol. 164.
[Published Version]
View
| Files available
| DOI