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.
6313 Publications
2021 |
Published |
Journal Article |
IST-REx-ID: 9571 |
NUQSGD: Provably communication-efficient data-parallel SGD via nonuniform quantization
A. Ramezani-Kebrya, F. Faghri, I. Markov, V. Aksenov, D.-A. Alistarh, D.M. Roy, Journal of Machine Learning Research 22 (2021) 1−43.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
A. Ramezani-Kebrya, F. Faghri, I. Markov, V. Aksenov, D.-A. Alistarh, D.M. Roy, Journal of Machine Learning Research 22 (2021) 1−43.
2021 |
Published |
Conference Paper |
IST-REx-ID: 9592 |
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2021.
[Published Version]
View
| Files available
| arXiv
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 9602 |
Erdős-Hajnal-type results for monotone paths
J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.
[Published Version]
View
| Files available
| DOI
| WoS
J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.
2021 |
Published |
Conference Paper |
IST-REx-ID: 9604 |
Counting cells of order-k voronoi tessellations in ℝ3 with morse theory
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 |
Published |
Conference Paper |
IST-REx-ID: 9605 |
Computing the multicover bifiltration
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 9606 |
Propagation of first and second sound in a two-dimensional Fermi superfluid
A. Tononi, A. Cappellaro, G. Bighin, L. Salasnich, Physical Review A 103 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Tononi, A. Cappellaro, G. Bighin, L. Salasnich, Physical Review A 103 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9618 |
Controlling quantum many-body dynamics in driven Rydberg atom arrays
D. Bluvstein, A. Omran, H. Levine, A. Keesling, G. Semeghini, S. Ebadi, T.T. Wang, A. Michailidis, N. Maskara, W.W. Ho, S. Choi, M. Serbyn, M. Greiner, V. Vuletić, M.D. Lukin, Science 371 (2021) 1355–1359.
[Preprint]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
D. Bluvstein, A. Omran, H. Levine, A. Keesling, G. Semeghini, S. Ebadi, T.T. Wang, A. Michailidis, N. Maskara, W.W. Ho, S. Choi, M. Serbyn, M. Greiner, V. Vuletić, M.D. Lukin, Science 371 (2021) 1355–1359.
2021 |
Published |
Conference Paper |
IST-REx-ID: 9620 |
Collecting coupons is faster with friends
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
[Preprint]
View
| Files available
| DOI
| WoS
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
2021 |
Published |
Journal Article |
IST-REx-ID: 9626
Realizing high doping efficiency and thermoelectric performance in n-type SnSe polycrystals via bandgap engineering and vacancy compensation
L. Su, T. Hong, D. Wang, S. Wang, B. Qin, M. Zhang, X. Gao, C. Chang, L.D. Zhao, Materials Today Physics 20 (2021).
View
| DOI
| WoS
L. Su, T. Hong, D. Wang, S. Wang, B. Qin, M. Zhang, X. Gao, C. Chang, L.D. Zhao, Materials Today Physics 20 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9627 |
Self-adjoint extensions of bipartite Hamiltonians
D. Lenz, T. Weinmann, M. Wirth, Proceedings of the Edinburgh Mathematical Society 64 (2021) 443–447.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
D. Lenz, T. Weinmann, M. Wirth, Proceedings of the Edinburgh Mathematical Society 64 (2021) 443–447.
2021 |
Published |
Journal Article |
IST-REx-ID: 9629 |
Cell fate coordinates mechano-osmotic forces in intestinal crypt formation
Q. Yang, S. Xue, C.J. Chan, M. Rempfler, D. Vischi, F. Maurer-Gutierrez, T. Hiiragi, E.B. Hannezo, P. Liberali, Nature Cell Biology 23 (2021) 733–744.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
Q. Yang, S. Xue, C.J. Chan, M. Rempfler, D. Vischi, F. Maurer-Gutierrez, T. Hiiragi, E.B. Hannezo, P. Liberali, Nature Cell Biology 23 (2021) 733–744.
2021 |
Research Data |
IST-REx-ID: 9636 |
Data for "Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid"
A.P. Higginbotham, (2021).
[Submitted Version]
View
| Files available
A.P. Higginbotham, (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9641 |
The role of hippocampal mossy cells in novelty detection
F. Fredes, R. Shigemoto, Neurobiology of Learning and Memory 183 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
F. Fredes, R. Shigemoto, Neurobiology of Learning and Memory 183 (2021).
2021 |
Published |
Conference Paper |
IST-REx-ID: 9644 |
Proving non-termination by program reversal
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
2021 |
Published |
Conference Paper |
IST-REx-ID: 9645 |
Polynomial reachability witnesses via Stellensätze
A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.
2021 |
Published |
Conference Paper |
IST-REx-ID: 9646 |
Quantitative analysis of assertion violations in probabilistic programs
J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.
2021 |
Published |
Journal Article |
IST-REx-ID: 9647 |
Long lived transients in gene regulation
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.
[Published Version]
View
| Files available
| DOI
| WoS
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.
2021 |
Published |
Journal Article |
IST-REx-ID: 9656 |
PIN-mediated polar auxin transport regulations in plant tropic responses
H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist 232 (2021) 510–522.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist 232 (2021) 510–522.
2021 |
Published |
Journal Article |
IST-REx-ID: 9657 |
GmPIN-dependent polar auxin transport is involved in soybean nodule development
Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell. 33(9), 2981–3003.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell. 33(9), 2981–3003.
2021 |
Published |
Conference Paper |
IST-REx-ID: 9678 |
Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.