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 | 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