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.
4839 Publications
2020 |
Published |
Conference Paper |
IST-REx-ID: 8188 |
P. M. Henderson and C. Lampert, “Unsupervised object-centric video generation and decomposition in 3D,” in 34th Conference on Neural Information Processing Systems, Vancouver, Canada, 2020, vol. 33, pp. 3106–3117.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 8190 |
M. K. Sixt and A. Huttenlocher, “Zena Werb (1945-2020): Cell biology in context,” The Journal of Cell Biology, vol. 219, no. 8. Rockefeller University Press, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 8191
D.-A. Alistarh, T. A. Brown, and N. Singhal, “Memory tagging: Minimalist synchronization for scalable concurrent data structures,” in Annual ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, United States, 2020, no. 7, pp. 37–49.
View
| DOI
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 8193
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, and A. Royer, “Multiple-environment Markov decision processes: Efficient analysis and applications,” in Proceedings of the 30th International Conference on Automated Planning and Scheduling, Nancy, France, 2020, vol. 30, pp. 48–56.
View
| Files available
2020 |
Published |
Conference Paper |
IST-REx-ID: 8194 |
M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France, 2020, vol. 12166, pp. 13–31.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 8195 |
B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 14891 |
M. Lewin, E. H. Lieb, and R. Seiringer, “ The local density approximation in density functional theory,” Pure and Applied Analysis, vol. 2, no. 1. Mathematical Sciences Publishers, pp. 35–73, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 15036 |
H. V. D. Rosa et al., “Molecular recognition at septin interfaces: The switches hold the key,” Journal of Molecular Biology, vol. 432, no. 21. Elsevier, pp. 5784–5801, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 15037 |
J. Moulinier-Anzola et al., “TOLs function as ubiquitin receptors in the early steps of the ESCRT pathway in higher plants,” Molecular Plant, vol. 13, no. 5. Elsevier, pp. 717–731, 2020.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 15055 |
T. Brázdil, K. Chatterjee, P. Novotný, and J. Vahala, “Reinforcement learning of risk-constrained policies in Markov decision processes,” Proceedings of the 34th AAAI Conference on Artificial Intelligence, vol. 34, no. 06. Association for the Advancement of Artificial Intelligence, pp. 9794–9801, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 15057 |
S. Park et al., “VRK-1 extends life span by activation of AMPK via phosphorylation,” Science Advances, vol. 6, no. 27. American Association for the Advancement of Science, 2020.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 15061 |
N. Pinotsis et al., “Calcium modulates the domain flexibility and function of an α-actinin similar to the ancestral α-actinin,” Proceedings of the National Academy of Sciences, vol. 117, no. 36. Proceedings of the National Academy of Sciences, pp. 22101–22112, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 15063 |
G. Cipolloni, L. Erdös, and D. J. Schröder, “Optimal lower bound on the least singular value of the shifted Ginibre ensemble,” Probability and Mathematical Physics, vol. 1, no. 1. Mathematical Sciences Publishers, pp. 101–146, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 15064 |
U. Bauer, H. Edelsbrunner, G. Jablonski, and M. Mrozek, “Čech-Delaunay gradient flow and homology inference for self-maps,” Journal of Applied and Computational Topology, vol. 4, no. 4. Springer Nature, pp. 455–480, 2020.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 15074 |
S. Brandt, B. Keller, J. Rybicki, J. Suomela, and J. Uitto, “Brief announcement: Efficient load-balancing through distributed token dropping,” in 34th International Symposium on Distributed Computing, Virtual, 2020, vol. 179.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 15077 |
D.-A. Alistarh, G. Nadiradze, and A. Sabour, “Dynamic averaging load balancing on cycles,” in 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany, Virtual, 2020, vol. 168.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 15082 |
O. Aichholzer, J. Obmann, P. Patak, D. Perz, and J. Tkadlec, “Disjoint tree-compatible plane perfect matchings,” in 36th European Workshop on Computational Geometry, Würzburg, Germany, Virtual, 2020.
[Published Version]
View
| Download Published Version (ext.)
2020 |
Published |
Journal Article |
IST-REx-ID: 177 |
T. D. Browning and W. Sawin, “A geometric version of the circle method,” Annals of Mathematics, vol. 191, no. 3. Princeton University, pp. 893–948, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv