Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5157 Publications
2020 |Published| Conference Paper | IST-REx-ID: 7937 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Royer A, Lampert C. 2020. A flexible selection scheme for minimum-effort transfer learning. 2020 IEEE Winter Conference on Applications of Computer Vision. WACV: Winter Conference on Applications of Computer Vision, 2180–2189.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 30, 48–56.
View
| Files available
2020 |Published| Book Chapter | IST-REx-ID: 8092 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Royer A, Bousmalis K, Gouws S, Bertsch F, Mosseri I, Cole F, Murphy K. 2020.XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Domain Adaptation for Visual Understanding. , 33–49.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Thesis | IST-REx-ID: 7944 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Masárová Z. 2020. Reconfiguration problems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 8587 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Li X, Yakaboylu E, Bighin G, Schmidt R, Lemeshko M, Deuchert A. 2020. Intermolecular forces and correlations mediated by a phonon bath. The Journal of Chemical Physics. 152(16), 164302.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Thesis | IST-REx-ID: 8341 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bezeljak U. 2020. In vitro reconstitution of a Rab activation switch. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 7580 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bezeljak U, Loya H, Kaczmarek BM, Saunders TE, Loose M. 2020. Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences. 117(12), 6504–6549.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2020 |Published| Thesis | IST-REx-ID: 8032 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8195 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Conference Paper | IST-REx-ID: 8012 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 227–242.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 |Published| Thesis | IST-REx-ID: 8358 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8703 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Osang GF, Rouxel-Labbé M, Teillaud M. 2020. Generalizing CGAL periodic Delaunay triangulations. 28th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 173, 75.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7481 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Phuong M, Lampert C. 2020. Functional vs. parametric equivalence of ReLU networks. 8th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
[Published Version]
View
| Files available
2020 |Published| Journal Article | IST-REx-ID: 9781 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Feliciangeli D, Seiringer R. 2020. Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball. SIAM Journal on Mathematical Analysis. 52(1), 605–622.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7489 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fischer JL, Hensel S. 2020. Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension. Archive for Rational Mechanics and Analysis. 236, 967–1087.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Submitted| Preprint | IST-REx-ID: 10012 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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, 2003.05478.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7573 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gladbach P, Kopfer E, Maas J, Portinale L. 2020. Homogenisation of one-dimensional discrete optimal transport. Journal de Mathematiques Pures et Appliquees. 139(7), 204–234.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Submitted| Preprint | IST-REx-ID: 10022 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Forkert DL, Maas J, Portinale L. Evolutionary Γ-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions. arXiv, 2008.10962.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8724 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Konstantinov NH, Frantar E, Alistarh D-A, Lampert C. 2020. On the sample complexity of adversarial multi-source PAC learning. Proceedings of the 37th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 119, 5416–5425.
[Published Version]
View
| Files available
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8644 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rzadkowski W, Defenu N, Chiacchiera S, Trombettoni A, Bighin G. 2020. Detecting composite orders in layered models via machine learning. New Journal of Physics. 22(9), 093026.
[Published Version]
View
| Files available
| DOI
| WoS