Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4178 Publications
2017 | Journal Article | IST-REx-ID: 909 |
On the lengths of curves passing through boundary points of a planar convex shape
A. Akopyan, V. Vysotsky, The American Mathematical Monthly 124 (2017) 588–596.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
A. Akopyan, V. Vysotsky, The American Mathematical Monthly 124 (2017) 588–596.
2017 | Conference Paper | IST-REx-ID: 431 |
QSGD: Communication-efficient SGD via gradient quantization and encoding
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, M. Vojnović, in:, Neural Information Processing Systems Foundation, 2017, pp. 1710–1721.
[Submitted Version]
View
| Download Submitted Version (ext.)
| arXiv
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, M. Vojnović, in:, Neural Information Processing Systems Foundation, 2017, pp. 1710–1721.
2017 | Conference Paper | IST-REx-ID: 549 |
Causality-based model checking
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.
2017 | Conference Paper | IST-REx-ID: 999 |
Multi-task learning with labeled and unlabeled tasks
A. Pentina, C. Lampert, in:, ML Research Press, 2017, pp. 2807–2816.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
A. Pentina, C. Lampert, in:, ML Research Press, 2017, pp. 2807–2816.
2017 | Journal Article | IST-REx-ID: 459 |
Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern
S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116.
[Published Version]
View
| Files available
S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116.