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.
4982 Publications
2017 | Journal Article | IST-REx-ID: 1007 |
Zeros of nonlinear systems with input invariances
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
[Published Version]
View
| Files available
| DOI
| WoS
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
2017 | Conference Paper | IST-REx-ID: 1108 |
Learning theory for conditional risk minimization
A. Zimin, C. Lampert, in:, ML Research Press, 2017, pp. 213–222.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
A. Zimin, C. Lampert, in:, ML Research Press, 2017, pp. 213–222.
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.