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.
7093 Publications
2020 |Published| Thesis | 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| Thesis | IST-REx-ID: 7896 |
On the average-case hardness of total search problems
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 7936 |
Localizing grouped instances for efficient detection in low-resource scenarios
A. Royer, C. Lampert, in:, IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Royer, C. Lampert, in:, IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 7937 |
A flexible selection scheme for minimum-effort transfer learning
A. Royer, C. Lampert, in:, 2020 IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Royer, C. Lampert, in:, 2020 IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 8193
Multiple-environment Markov decision processes: Efficient analysis and applications
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
View
| Files available
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
2020 |Published| Book Chapter | IST-REx-ID: 8092 |
XGAN: Unsupervised image-to-image translation for many-to-many mappings
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.
2020 |Published| Thesis | 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| Journal Article | IST-REx-ID: 8587 |
Intermolecular forces and correlations mediated by a phonon bath
X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, A. Deuchert, The Journal of Chemical Physics 152 (2020).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, A. Deuchert, The Journal of Chemical Physics 152 (2020).
2020 |Published| Thesis | IST-REx-ID: 8341 |
In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, Institute of Science and Technology Austria, 2020.
2020 |Published| Journal Article | IST-REx-ID: 7580 |
Stochastic activation and bistability in a Rab GTPase regulatory network
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
2020 |Published| Thesis | 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| 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.
2020 |Published| Conference Paper | IST-REx-ID: 8012 |
Inductive sequentialization of asynchronous programs
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
2020 |Published| Thesis | IST-REx-ID: 8358 |
Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, Institute of Science and Technology Austria, 2020.
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| 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 |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 |Submitted| 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
| Download Preprint (ext.)
| arXiv
J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
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.