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.
2019 | Conference Paper | IST-REx-ID: 6887
K. Chatterjee, W. Dvorák, M. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.View | Files available | DOI
2019 | Conference Paper | IST-REx-ID: 6647
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, and U. Wagner, “The crossing Tverberg theorem,” in 35th International Symposium on Computational Geometry, Portland, OR, United States, 2019, vol. 129, p. 38:1-38:13.View | Files available | DOI | arXiv
2019 | Conference Paper | IST-REx-ID: 7183
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, and D. Velan, “Deciding fast termination for probabilistic VASS with nondeterminism,” in International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 2019, vol. 11781, pp. 462–478.View | DOI | Download (ext.) | arXiv
2019 | Journal Article | IST-REx-ID: 6089
C. Fraisse, G. Puixeu Sala, and B. Vicoso, “Pleiotropy modulates the efficacy of selection in drosophila melanogaster,” Molecular biology and evolution, vol. 36, no. 3, pp. 500–515, 2019.View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 7640
A. Kolesnikov, A. Kuznetsova, C. Lampert, and V. Ferrari, “Detecting visual relationships using box attention,” in Proceedings of the 2019 International Conference on Computer Vision Workshop, Seoul, South Korea, 2019, pp. 1749–1753.View | DOI | Download (ext.) | arXiv
2019 | Conference Paper | IST-REx-ID: 6673
D.-A. Alistarh, G. Nadiradze, and N. Koval, “Efficiency guarantees for parallel incremental algorithms under relaxed schedulers,” in 31st ACM Symposium on Parallelism in Algorithms and Architectures, Phoenix, AZ, United States, 2019, pp. 145–154.View | DOI | Download (ext.) | arXiv
2019 | Journal Article | IST-REx-ID: 6554
Y. Xian, C. Lampert, B. Schiele, and Z. Akata, “Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 41, no. 9, pp. 2251–2265, 2019.View | DOI | Download (ext.) | arXiv