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.
6436 Publications
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: 10866 |
J. Duan et al., “Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs,” Nano Letters, vol. 20, no. 7. American Chemical Society, pp. 5323–5329, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| 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 |
Draft |
Preprint |
IST-REx-ID: 10012 |
J. L. Fischer, S. Hensel, T. Laux, and T. Simon, “The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Draft |
Preprint |
IST-REx-ID: 10022 |
D. L. Forkert, J. Maas, and L. Portinale, “Evolutionary Γ-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| 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: 7664 |
A. Martín-Belmonte et al., “Density of GABAB receptors is reduced in granule cells of the hippocampus in a mouse model of Alzheimer’s disease,” International journal of molecular sciences, vol. 21, no. 7. MDPI, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
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