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 | OA
Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLS2T
V. Oshurkova, O. Troshina, V. Trubitsyn, Y. Ryzhmanova, O. Bochkareva, V. Shcherbakova, in:, Proceedings of 1st International Electronic Conference on Microbiology, MDPI, 2020.
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 15072
Many-body quantum systems
C. Hainzl, B. Schlein, R. Seiringer, S. Warzel, Oberwolfach Reports 16 (2020) 2541–2603.
View | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 15074 | OA
Brief announcement: Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version] View | Files available | DOI | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 15077 | OA
Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, in:, 47th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version] View | Files available | DOI | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 15079
Random matrices
L. Erdös, F. Götze, A. Guionnet, Oberwolfach Reports 16 (2020) 3459–3527.
View | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 15082 | OA
Disjoint tree-compatible plane perfect matchings
O. Aichholzer, J. Obmann, P. Patak, D. Perz, J. Tkadlec, in:, 36th European Workshop on Computational Geometry, 2020.
[Published Version] View | Download Published Version (ext.)
 
2020 | Published | Conference Paper | IST-REx-ID: 15086 | OA
Adaptive gradient quantization for data-parallel SGD
F. Faghri, I. Tabrizian, I. Markov, D.-A. Alistarh, D. Roy, A. Ramezani-Kebrya, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2020.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 15286
Cryo-electron tomography workflows for quantitative analysis of actin networks involved in cell migration
F. Fäßler, G.A. Dimchev, V.-V. Hodirnau, B. Zens, C. Möhl, F. Bradke, F.K. Schur, Microscopy and Microanalysis 26 (2020) 2518–2519.
View | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 10556 | OA
Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures
E. Kokoris Kogias, D. Malkhi, A. Spiegelman, in:, Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2020, pp. 1751–1767.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2020 | Patent | IST-REx-ID: 10557 | OA
Cryptographically verifiable data structure having multi-hop forward and backwards links and associated systems and methods
B. Ford, L. Gasse, E. Kokoris Kogias, P. Jovanovic, (2020).
[Published Version] View | Files available | Download Published Version (ext.)
 
2020 | Published | Conference Paper | IST-REx-ID: 10672 | OA
Learning representations for binary-classification without backpropagation
M. Lechner, in:, 8th International Conference on Learning Representations, ICLR, 2020.
[Published Version] View | Files available | Download Published Version (ext.)
 
2020 | Published | Conference Paper | IST-REx-ID: 10673 | OA
A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–4093.
[Published Version] View | Files available | Download Published Version (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 10861
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 10862 | OA
Spectral rigidity for addition of random matrices at the regular edge
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 279 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 10867 | OA
Waist of balls in hyperbolic and spherical spaces
A. Akopyan, R. Karasev, International Mathematics Research Notices 2020 (2020) 669–697.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 10328
New designs and noise channels in electro-optic microwave to optical up-conversion
N.J. Lambert, S. Mobassem, A.R. Rueda Sanchez, H.G.L. Schwefel, in:, OSA Quantum 2.0 Conference, Optica Publishing Group, 2020.
View | DOI
 
2020 | Published | Other Publication | IST-REx-ID: 17444 | OA
Nanowires: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling (Adv. Mater. 16/2020)
F. Gao, J. Wang, H. Watzinger, H. Hu, M.J. Rančić, J. Zhang, T. Wang, Y. Yao, G. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J. Zhang, Nanowires: Site‐controlled Uniform Ge/Si Hut Wires with Electrically Tunable Spin–Orbit Coupling (Adv. Mater. 16/2020), Wiley, 2020.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 177 | OA
A geometric version of the circle method
T.D. Browning, W. Sawin, Annals of Mathematics 191 (2020) 893–948.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 7665 | OA
Advantages of acute brain slices prepared at physiological temperature in the characterization of synaptic functions
K. Eguchi, P. Velicky, E. Saeckl, M. Itakura, Y. Fukazawa, J.G. Danzl, R. Shigemoto, Frontiers in Cellular Neuroscience 14 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 7666 | OA
Tri-partitions and bases of an ordered complex
H. Edelsbrunner, K. Ölsböck, Discrete and Computational Geometry 64 (2020) 759–775.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed