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.
6385 Publications
2020 |
Published |
Conference Paper |
IST-REx-ID: 15071 |
V. Oshurkova, O. Troshina, V. Trubitsyn, Y. Ryzhmanova, O. Bochkareva, and V. Shcherbakova, “Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLS2T,” in Proceedings of 1st International Electronic Conference on Microbiology, Virtual, 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 |
Conference Paper |
IST-REx-ID: 15086 |
F. Faghri, I. Tabrizian, I. Markov, D.-A. Alistarh, D. Roy, and A. Ramezani-Kebrya, “Adaptive gradient quantization for data-parallel SGD,” in Advances in Neural Information Processing Systems, Vancouver, Canada, 2020, vol. 33.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 10556 |
E. Kokoris Kogias, D. Malkhi, and A. Spiegelman, “Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures,” in Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual, United States, 2020, pp. 1751–1767.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 |
Patent |
IST-REx-ID: 10557 |
B. Ford, L. Gasse, E. Kokoris Kogias, and P. Jovanovic, “Cryptographically verifiable data structure having multi-hop forward and backwards links and associated systems and methods.” 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 |
Published |
Conference Paper |
IST-REx-ID: 10672 |
M. Lechner, “Learning representations for binary-classification without backpropagation,” in 8th International Conference on Learning Representations, Virtual ; Addis Ababa, Ethiopia, 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 |
Published |
Conference Paper |
IST-REx-ID: 10673 |
R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits,” in Proceedings of the 37th International Conference on Machine Learning, Virtual, 2020, pp. 4082–4093.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 |
Published |
Journal Article |
IST-REx-ID: 10861
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic,” International Journal on Software Tools for Technology Transfer, vol. 22, no. 6. Springer Nature, pp. 741–758, 2020.
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 10862 |
Z. Bao, L. Erdös, and K. Schnelli, “Spectral rigidity for addition of random matrices at the regular edge,” Journal of Functional Analysis, vol. 279, no. 7. Elsevier, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 10867 |
A. Akopyan and R. Karasev, “Waist of balls in hyperbolic and spherical spaces,” International Mathematics Research Notices, vol. 2020, no. 3. Oxford University Press, pp. 669–697, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Other Publication |
IST-REx-ID: 17444 |
F. Gao et al., Nanowires: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling (Adv. Mater. 16/2020), vol. 32, no. 16. Wiley, 2020.
[Published Version]
View
| Files available
| DOI
| 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
2020 |
Published |
Journal Article |
IST-REx-ID: 7665 |
K. Eguchi et al., “Advantages of acute brain slices prepared at physiological temperature in the characterization of synaptic functions,” Frontiers in Cellular Neuroscience, vol. 14. Frontiers Media, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 7666 |
H. Edelsbrunner and K. Ölsböck, “Tri-partitions and bases of an ordered complex,” Discrete and Computational Geometry, vol. 64. Springer Nature, pp. 759–775, 2020.
[Published Version]
View
| Files available
| DOI
| WoS