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.
680 Publications
2021 |Published| Journal Article | IST-REx-ID: 10153 |
Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 10148 |
Capturing tactile properties of real surfaces for haptic reproduction
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
[Preprint]
View
| Files available
| DOI
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
2021 |Submitted| Preprint | IST-REx-ID: 10174 |
Quantitative nonlinear homogenization: control of oscillations
N. Clozeau, A. Gloria, ArXiv (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
N. Clozeau, A. Gloria, ArXiv (n.d.).
2021 |Published| Journal Article | IST-REx-ID: 10180 |
Sparsity in deep learning: Pruning and growth for efficient inference and training in neural networks
T. Hoefler, D.-A. Alistarh, T. Ben-Nun, N. Dryden, E.-A. Peste, Journal of Machine Learning Research 22 (2021) 1–124.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
T. Hoefler, D.-A. Alistarh, T. Ben-Nun, N. Dryden, E.-A. Peste, Journal of Machine Learning Research 22 (2021) 1–124.
2021 |Published| Conference Paper | IST-REx-ID: 10218 |
Brief announcement: Fast graphical population protocols
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 |Published| Conference Paper | IST-REx-ID: 10217 |
Lower bounds for shared-memory leader election under bounded write contention
D.-A. Alistarh, R. Gelashvili, G. Nadiradze, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
D.-A. Alistarh, R. Gelashvili, G. Nadiradze, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 |Published| Conference Paper | IST-REx-ID: 10216 |
Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds
B. Chatterjee, S. Peri, M. Sa, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
B. Chatterjee, S. Peri, M. Sa, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 |Published| Conference Paper | IST-REx-ID: 10219 |
Brief announcement: Sinkless orientation is hard also in the supported LOCAL model
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, J. Suomela, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, J. Suomela, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 |Published| Book Chapter | IST-REx-ID: 10267
Evaluation of gravitropism in non-seed plants
Y. Zhang, L. Li, J. Friml, in:, E.B. Blancaflor (Ed.), Plant Gravitropism, Springer Nature, 2021, pp. 43–51.
View
| DOI
| PubMed | Europe PMC
Y. Zhang, L. Li, J. Friml, in:, E.B. Blancaflor (Ed.), Plant Gravitropism, Springer Nature, 2021, pp. 43–51.
2021 |Published| Book Chapter | IST-REx-ID: 10268
Automated time-lapse imaging and manipulation of cell divisions in Arabidopsis roots by vertical-stage confocal microscopy
L. Hörmayer, J. Friml, M. Glanc, in:, Plant Cell Division, Humana Press, 2021, pp. 105–114.
View
| DOI
| PubMed | Europe PMC
L. Hörmayer, J. Friml, M. Glanc, in:, Plant Cell Division, Humana Press, 2021, pp. 105–114.
2021 |Published| Journal Article | IST-REx-ID: 10285 |
On eigenvector statistics in the spherical and truncated unitary ensembles
G. Dubach, Electronic Journal of Probability 26 (2021).
[Published Version]
View
| Files available
| DOI
G. Dubach, Electronic Journal of Probability 26 (2021).
2021 |Published| Journal Article | IST-REx-ID: 10340 |
Influence of membrane-cortex linkers on the extrusion of membrane tubes
A. Paraschiv, T.J. Lagny, C.V. Campos, E. Coudrier, P. Bassereau, A. Šarić, Biophysical Journal 120 (2021) 598–606.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
A. Paraschiv, T.J. Lagny, C.V. Campos, E. Coudrier, P. Bassereau, A. Šarić, Biophysical Journal 120 (2021) 598–606.
2021 |Published| Journal Article | IST-REx-ID: 10338 |
Physical modeling of multivalent interactions in the nuclear pore complex
L.K. Davis, A. Šarić, B.W. Hoogenboom, A. Zilman, Biophysical Journal 120 (2021) 1565–1577.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
L.K. Davis, A. Šarić, B.W. Hoogenboom, A. Zilman, Biophysical Journal 120 (2021) 1565–1577.
2021 |Published| Journal Article | IST-REx-ID: 10337
PLCγ1 promotes phase separation of T cell signaling components
L. Zeng, I. Palaia, A. Šarić, X. Su, Journal of Cell Biology 220 (2021).
View
| DOI
| PubMed | Europe PMC
L. Zeng, I. Palaia, A. Šarić, X. Su, Journal of Cell Biology 220 (2021).
2021 |Published| Journal Article | IST-REx-ID: 10339 |
Modelling the dynamics of vesicle reshaping and scission under osmotic shocks
C. Vanhille-Campos, A. Šarić, Soft Matter 17 (2021) 3798–3806.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C. Vanhille-Campos, A. Šarić, Soft Matter 17 (2021) 3798–3806.
2021 |Published| Conference Paper | IST-REx-ID: 10367 |
Recognizing multimodal entailment
C. Ilharco, A. Shirazi, A. Gopalan, A. Nagrani, B. Bratanič, C. Bregler, C. Liu, F. Ferreira, G. Barcik, G. Ilharco, G.F. Osang, J. Bulian, J. Frank, L. Smaira, Q. Cao, R. Marino, R. Patel, T. Leung, V. Imbrasaite, in:, 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Association for Computational Linguistics, 2021, pp. 29–30.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Ilharco, A. Shirazi, A. Gopalan, A. Nagrani, B. Bratanič, C. Bregler, C. Liu, F. Ferreira, G. Barcik, G. Ilharco, G.F. Osang, J. Bulian, J. Frank, L. Smaira, Q. Cao, R. Marino, R. Patel, T. Leung, V. Imbrasaite, in:, 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Association for Computational Linguistics, 2021, pp. 29–30.
2021 |Published| Book | IST-REx-ID: 10415
Cubic Forms and the Circle Method
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.
View
| DOI
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.
2021 |Published| Journal Article | IST-REx-ID: 10535 |
Dynamic maximum entropy provides accurate approximation of structured population dynamics
K. Bodova, E. Szep, N.H. Barton, PLoS Computational Biology 17 (2021).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
K. Bodova, E. Szep, N.H. Barton, PLoS Computational Biology 17 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 10552 |
One-sided Frank-Wolfe algorithms for saddle problems
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
2021 |Published| Conference Paper | IST-REx-ID: 10595 |
Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.