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.
6394 Publications
2020 |
Published |
Journal Article |
IST-REx-ID: 7142
Auxin signalling in growth: Schrödinger's cat out of the bag
M.C. Gallei, C. Luschnig, J. Friml, Current Opinion in Plant Biology 53 (2020) 43–49.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.C. Gallei, C. Luschnig, J. Friml, Current Opinion in Plant Biology 53 (2020) 43–49.
2020 |
Published |
Conference Paper |
IST-REx-ID: 8724 |
On the sample complexity of adversarial multi-source PAC learning
N.H. Konstantinov, E. Frantar, D.-A. Alistarh, C. Lampert, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 5416–5425.
[Published Version]
View
| Files available
| arXiv
N.H. Konstantinov, E. Frantar, D.-A. Alistarh, C. Lampert, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 5416–5425.
2020 |
Published |
Journal Article |
IST-REx-ID: 8644 |
Detecting composite orders in layered models via machine learning
W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni, G. Bighin, New Journal of Physics 22 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni, G. Bighin, New Journal of Physics 22 (2020).
2020 |
Published |
Journal Article |
IST-REx-ID: 7956 |
Shear-induced ordering in systems with competing interactions: A machine learning study
J. Pȩkalski, W. Rzadkowski, A.Z. Panagiotopoulos, The Journal of Chemical Physics 152 (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
J. Pȩkalski, W. Rzadkowski, A.Z. Panagiotopoulos, The Journal of Chemical Physics 152 (2020).
2020 |
Published |
Journal Article |
IST-REx-ID: 7573 |
Homogenisation of one-dimensional discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal de Mathematiques Pures et Appliquees 139 (2020) 204–234.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal de Mathematiques Pures et Appliquees 139 (2020) 204–234.
2020 |
Published |
Journal Article |
IST-REx-ID: 9781 |
Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball
D. Feliciangeli, R. Seiringer, SIAM Journal on Mathematical Analysis 52 (2020) 605–622.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Feliciangeli, R. Seiringer, SIAM Journal on Mathematical Analysis 52 (2020) 605–622.
2020 |
Draft |
Preprint |
IST-REx-ID: 10022 |
Evolutionary Γ-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions
D.L. Forkert, J. Maas, L. Portinale, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D.L. Forkert, J. Maas, L. Portinale, ArXiv (n.d.).
2020 |
Published |
Journal Article |
IST-REx-ID: 7489 |
Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension
J.L. Fischer, S. Hensel, Archive for Rational Mechanics and Analysis 236 (2020) 967–1087.
[Published Version]
View
| Files available
| DOI
| WoS
J.L. Fischer, S. Hensel, Archive for Rational Mechanics and Analysis 236 (2020) 967–1087.
2020 |
Draft |
Preprint |
IST-REx-ID: 10012 |
The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions
J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
2020 |
Published |
Conference Paper |
IST-REx-ID: 8703 |
Generalizing CGAL periodic Delaunay triangulations
G.F. Osang, M. Rouxel-Labbé, M. Teillaud, in:, 28th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
G.F. Osang, M. Rouxel-Labbé, M. Teillaud, in:, 28th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |
Published |
Conference Paper |
IST-REx-ID: 7481 |
Functional vs. parametric equivalence of ReLU networks
M. Phuong, C. Lampert, in:, 8th International Conference on Learning Representations, 2020.
[Published Version]
View
| Files available
M. Phuong, C. Lampert, in:, 8th International Conference on Learning Representations, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7944 |
Reconfiguration problems
Z. Masárová, Reconfiguration Problems, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
Z. Masárová, Reconfiguration Problems, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8574 |
Local adaptation in metapopulations
E. Szep, Local Adaptation in Metapopulations, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
E. Szep, Local Adaptation in Metapopulations, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7629 |
Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8032 |
Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8353 |
Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8332 |
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Journal Article |
IST-REx-ID: 8284 |
Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter
J. Steiner, L.A. Sazanov, ELife 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Steiner, L.A. Sazanov, ELife 9 (2020).
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7460 |
The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
K. Ölsböck, The Hole System of Triangulated Shapes, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Conference Paper |
IST-REx-ID: 8195 |
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
[Published Version]
View
| Files available
| DOI
| WoS
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.