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.
9096 Publications
2021 | Journal Article | IST-REx-ID: 10153 | 
F. Mühlböck and R. Tate, “Transitioning from structural to nominal code with efficient gradual typing,” Proceedings of the ACM on Programming Languages, vol. 5. Association for Computing Machinery, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10148 |
D. Degraen, M. Piovarci, B. Bickel, and A. Kruger, “Capturing tactile properties of real surfaces for haptic reproduction,” in 34th Annual ACM Symposium, Virtual, 2021, pp. 954–971.
[Preprint]
View
| Files available
| DOI
2021 | Preprint | IST-REx-ID: 10174 |
N. Clozeau and A. Gloria, “Quantitative nonlinear homogenization: control of oscillations,” arXiv. .
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 10180 |
T. Hoefler, D.-A. Alistarh, T. Ben-Nun, N. Dryden, and E.-A. Peste, “Sparsity in deep learning: Pruning and growth for efficient inference and training in neural networks,” Journal of Machine Learning Research, vol. 22, no. 241. Journal of Machine Learning Research, pp. 1–124, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10218 |
D.-A. Alistarh, R. Gelashvili, and J. Rybicki, “Brief announcement: Fast graphical population protocols,” in 35th International Symposium on Distributed Computing, Freiburg, Germany, 2021, vol. 209.
[Published Version]
View
| Files available
| DOI
| arXiv