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
Gallei MC, Luschnig C, Friml J. Auxin signalling in growth: Schrödinger’s cat out of the bag. Current Opinion in Plant Biology. 2020;53(2):43-49. doi:10.1016/j.pbi.2019.10.003
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |
Published |
Conference Paper |
IST-REx-ID: 8724 |
Konstantinov NH, Frantar E, Alistarh D-A, Lampert C. On the sample complexity of adversarial multi-source PAC learning. In: Proceedings of the 37th International Conference on Machine Learning. Vol 119. ML Research Press; 2020:5416-5425.
[Published Version]
View
| Files available
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 8644 |
Rzadkowski W, Defenu N, Chiacchiera S, Trombettoni A, Bighin G. Detecting composite orders in layered models via machine learning. New Journal of Physics. 2020;22(9). doi:10.1088/1367-2630/abae44
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 7956 |
Pȩkalski J, Rzadkowski W, Panagiotopoulos AZ. Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of chemical physics. 2020;152(20). doi:10.1063/5.0005194
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 7573 |
Gladbach P, Kopfer E, Maas J, Portinale L. Homogenisation of one-dimensional discrete optimal transport. Journal de Mathematiques Pures et Appliquees. 2020;139(7):204-234. doi:10.1016/j.matpur.2020.02.008
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9781 |
Feliciangeli D, Seiringer R. Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball. SIAM Journal on Mathematical Analysis. 2020;52(1):605-622. doi:10.1137/19m126284x
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Draft |
Preprint |
IST-REx-ID: 10022 |
Forkert DL, Maas J, Portinale L. Evolutionary Γ-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions. arXiv. doi:10.48550/arXiv.2008.10962
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 7489 |
Fischer JL, Hensel S. Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension. Archive for Rational Mechanics and Analysis. 2020;236:967-1087. doi:10.1007/s00205-019-01486-2
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Draft |
Preprint |
IST-REx-ID: 10012 |
Fischer JL, Hensel S, Laux T, Simon T. The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions. arXiv. doi:10.48550/arXiv.2003.05478
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 8703 |
Osang GF, Rouxel-Labbé M, Teillaud M. Generalizing CGAL periodic Delaunay triangulations. In: 28th Annual European Symposium on Algorithms. Vol 173. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.ESA.2020.75
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 7481 |
Phuong M, Lampert C. Functional vs. parametric equivalence of ReLU networks. In: 8th International Conference on Learning Representations. ; 2020.
[Published Version]
View
| Files available
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7944 |
Masárová Z. Reconfiguration problems. 2020. doi:10.15479/AT:ISTA:7944
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8574 |
Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7629 |
Forkert DL. Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. 2020. doi:10.15479/AT:ISTA:7629
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8032 |
Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:10.15479/AT:ISTA:8032
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8353 |
Steiner J. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. 2020. doi:10.15479/AT:ISTA:8353
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8332 |
Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 8284 |
Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 2020;9. doi:10.7554/eLife.59407
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7460 |
Ölsböck K. The hole system of triangulated shapes. 2020. doi:10.15479/AT:ISTA:7460
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 8195 |
Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14
[Published Version]
View
| Files available
| DOI
| WoS