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.
4950 Publications
2017 | Conference Paper | IST-REx-ID: 549 | 
Finkbeiner B, Kupriyanov A. 2017. Causality-based model checking. Electronic Proceedings in Theoretical Computer Science. CREST: Causal Reasoning for Embedded and Safety-Critical Systems Technologies, EPTCS, vol. 259, 31–38.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 999 |
Pentina A, Lampert C. 2017. Multi-task learning with labeled and unlabeled tasks. ICML: International Conference on Machine Learning, PMLR, vol. 70, 2807–2816.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 485
Rueda Sanchez AR, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2017. Single sideband microwave to optical photon conversion-an-electro-optic-realization. Optics InfoBase Conference Papers. NLO: Nonlinear Optics vol. F54, NM3A.1.
View
| DOI
2017 | Journal Article | IST-REx-ID: 459 |
Cremer S. 2017. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. 46, 105–116.
[Published Version]
View
| Files available
2017 | Conference Paper | IST-REx-ID: 432 |
Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. 2017. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. Proceedings of Machine Learning Research. ICML: International Conference on Machine Learning, PMLR Press, vol. 70, 4035–4043.
[Submitted Version]
View
| Files available
2017 | Conference Paper | IST-REx-ID: 274 |
Kolmogorov V. 2017. A faster approximation algorithm for the Gibbs partition function. Proceedings of the 31st Conference On Learning Theory. COLT: Annual Conference on Learning Theory vol. 75, 228–249.
[Published Version]
View
| Files available
| arXiv
2017 | Journal Article | IST-REx-ID: 558
Futo M, Sell M, Kutzer M, Kurtz J. 2017. Specificity of oral immune priming in the red flour beetle Tribolium castaneum. Biology Letters. 13(12), 0632.
View
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1030 |
Villányi M. 2017. Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. 3(1).
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 12193 |
Walker J, Gao H, Zhang J, Aldridge B, Vickers M, Higgins JD, Feng X. 2017. Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics. 50(1), 130–137.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC