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.
4941 Publications
2017 | Conference Paper | IST-REx-ID: 549 |
Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” In Electronic Proceedings in Theoretical Computer Science, 259:31–38. Open Publishing Association, 2017. https://doi.org/10.4204/EPTCS.259.3.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 999 |
Pentina, Anastasia, and Christoph Lampert. “Multi-Task Learning with Labeled and Unlabeled Tasks,” 70:2807–16. ML Research Press, 2017.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 485
Rueda Sanchez, Alfredo R, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Gerhard Schunk, Dmitry Strekalov, et al. “Single Sideband Microwave to Optical Photon Conversion-an-Electro-Optic-Realization.” In Optics InfoBase Conference Papers, Vol. F54. Optica Publishing Group, 2017. https://doi.org/10.1364/NLO.2017.NM3A.1.
View
| DOI
2017 | Journal Article | IST-REx-ID: 459 |
Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” Rundgespräche Forum Ökologie. Verlag Dr. Friedrich Pfeil, 2017.
[Published Version]
View
| Files available
2017 | Conference Paper | IST-REx-ID: 432 |
Zhang, Hantian, Jerry Li, Kaan Kara, Dan-Adrian Alistarh, Ji Liu, and Ce Zhang. “ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning.” In Proceedings of Machine Learning Research, 70:4035–43. ML Research Press, 2017.
[Submitted Version]
View
| Files available
2017 | Conference Paper | IST-REx-ID: 274 |
Kolmogorov, Vladimir. “A Faster Approximation Algorithm for the Gibbs Partition Function.” In Proceedings of the 31st Conference On Learning Theory, 75:228–49. ML Research Press, 2017.
[Published Version]
View
| Files available
| arXiv
2017 | Journal Article | IST-REx-ID: 558
Futo, Momir, Marie Sell, Megan Kutzer, and Joachim Kurtz. “Specificity of Oral Immune Priming in the Red Flour Beetle Tribolium Castaneum.” Biology Letters. The Royal Society, 2017. https://doi.org/10.1098/rsbl.2017.0632.
View
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 12193 |
Walker, James, Hongbo Gao, Jingyi Zhang, Billy Aldridge, Martin Vickers, James D. Higgins, and Xiaoqi Feng. “Sexual-Lineage-Specific DNA Methylation Regulates Meiosis in Arabidopsis.” Nature Genetics. Nature Research, 2017. https://doi.org/10.1038/s41588-017-0008-5.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2017 | Conference Paper | IST-REx-ID: 1194 |
Chatterjee, Krishnendu, Petr Novotný, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,” 52:145–60. ACM, 2017. https://doi.org/10.1145/3009837.3009873.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Book Chapter | IST-REx-ID: 545 |
Mazur, Ewa, and Jiří Friml. “Vascular Tissue Development and Regeneration in the Model Plant Arabidopsis.” In Plant Engineering, edited by Snježana Jurić, 113–40. Plant Engineering. InTech, 2017. https://doi.org/10.5772/intechopen.69712.
[Published Version]
View
| Files available
| DOI