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.
6293 Publications
2020 |
Published |
Conference Paper |
IST-REx-ID: 15059
Wasiak M, Botello GS, Abdalmalak KA, Sedlmeir F, Rueda Sanchez AR, Segovia-Vargas D, Schwefel HGL, Munoz LEG. 2020. Compact millimeter and submillimeter-wave photonic radiometer for cubesats. 14th European Conference on Antennas and Propagation. EuCAP: European Conference on Antennas and Propagation.
View
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 15061 |
Pinotsis N, Zielinska K, Babuta M, Arolas JL, Kostan J, Khan MB, Schreiner C, Testa Salmazo AP, Ciccarelli L, Puchinger M, Gkougkoulia EA, Ribeiro E de A, Marlovits TC, Bhattacharya A, Djinovic-Carugo K. 2020. Calcium modulates the domain flexibility and function of an α-actinin similar to the ancestral α-actinin. Proceedings of the National Academy of Sciences of the United States of America. 117(36), 22101–22112.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 15063 |
Cipolloni G, Erdös L, Schröder DJ. 2020. Optimal lower bound on the least singular value of the shifted Ginibre ensemble. Probability and Mathematical Physics. 1(1), 101–146.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 15064 |
Bauer U, Edelsbrunner H, Jablonski G, Mrozek M. 2020. Čech-Delaunay gradient flow and homology inference for self-maps. Journal of Applied and Computational Topology. 4(4), 455–480.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 15071 |
Oshurkova V, Troshina O, Trubitsyn V, Ryzhmanova Y, Bochkareva O, Shcherbakova V. 2020. Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLS2T. Proceedings of 1st International Electronic Conference on Microbiology. ECM: Electronic Conference on Microbiology.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 15074 |
Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. 2020. Brief announcement: Efficient load-balancing through distributed token dropping. 34th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 179, 40.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 15077 |
Alistarh D-A, Nadiradze G, Sabour A. 2020. Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 168, 7.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 15082 |
Aichholzer O, Obmann J, Patak P, Perz D, Tkadlec J. 2020. Disjoint tree-compatible plane perfect matchings. 36th European Workshop on Computational Geometry. EuroCG: European Workshop on Computational Geometry, 56.
[Published Version]
View
| Download Published Version (ext.)
2020 |
Published |
Conference Paper |
IST-REx-ID: 15086 |
Faghri F, Tabrizian I, Markov I, Alistarh D-A, Roy D, Ramezani-Kebrya A. 2020. Adaptive gradient quantization for data-parallel SGD. Advances in Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, NeurIPS, vol. 33.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 10556 |
Kokoris Kogias E, Malkhi D, Spiegelman A. 2020. Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures. Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security. CCS: Conference on Computer and Communications Security, 1751–1767.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 |
Patent |
IST-REx-ID: 10557 |
Ford B, Gasse L, Kokoris Kogias E, Jovanovic P. 2020. Cryptographically verifiable data structure having multi-hop forward and backwards links and associated systems and methods.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 |
Published |
Conference Paper |
IST-REx-ID: 10672 |
Lechner M. 2020. Learning representations for binary-classification without backpropagation. 8th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 |
Published |
Conference Paper |
IST-REx-ID: 10673 |
Hasani R, Lechner M, Amini A, Rus D, Grosu R. 2020. A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. Proceedings of the 37th International Conference on Machine Learning. ML: Machine LearningPMLR, PMLR, , 4082–4093.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 |
Published |
Journal Article |
IST-REx-ID: 10861
Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2020. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. International Journal on Software Tools for Technology Transfer. 22(6), 741–758.
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 10862 |
Bao Z, Erdös L, Schnelli K. 2020. Spectral rigidity for addition of random matrices at the regular edge. Journal of Functional Analysis. 279(7), 108639.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 10867 |
Akopyan A, Karasev R. 2020. Waist of balls in hyperbolic and spherical spaces. International Mathematics Research Notices. 2020(3), 669–697.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv