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
Oshurkova V, Troshina O, Trubitsyn V, Ryzhmanova Y, Bochkareva O, Shcherbakova V. 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. MDPI; 2020. doi:10.3390/ecm2020-07116
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 15072
Hainzl C, Schlein B, Seiringer R, Warzel S. Many-body quantum systems. Oberwolfach Reports. 2020;16(3):2541-2603. doi:10.4171/owr/2019/41
View | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 15074 | OA
Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. Brief announcement: Efficient load-balancing through distributed token dropping. In: 34th International Symposium on Distributed Computing. Vol 179. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.DISC.2020.40
[Published Version] View | Files available | DOI | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 15077 | OA
Alistarh D-A, Nadiradze G, Sabour A. Dynamic averaging load balancing on cycles. In: 47th International Colloquium on Automata, Languages, and Programming. Vol 168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.ICALP.2020.7
[Published Version] View | Files available | DOI | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 15079
Erdös L, Götze F, Guionnet A. Random matrices. Oberwolfach Reports. 2020;16(4):3459-3527. doi:10.4171/owr/2019/56
View | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 15082 | OA
Aichholzer O, Obmann J, Patak P, Perz D, Tkadlec J. Disjoint tree-compatible plane perfect matchings. In: 36th European Workshop on Computational Geometry. ; 2020.
[Published Version] View | Download Published Version (ext.)
 
2020 | Published | Conference Paper | IST-REx-ID: 15086 | OA
Faghri F, Tabrizian I, Markov I, Alistarh D-A, Roy D, Ramezani-Kebrya A. Adaptive gradient quantization for data-parallel SGD. In: Advances in Neural Information Processing Systems. Vol 33. Neural Information Processing Systems Foundation; 2020.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 15286
Fäßler F, Dimchev GA, Hodirnau V-V, et al. Cryo-electron tomography workflows for quantitative analysis of actin networks involved in cell migration. Microscopy and Microanalysis. 2020;26(S2):2518-2519. doi:10.1017/s1431927620021881
View | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 10556 | OA
Kokoris Kogias E, Malkhi D, Spiegelman A. 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. Association for Computing Machinery; 2020:1751–1767. doi:10.1145/3372297.3423364
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2020 | Patent | IST-REx-ID: 10557 | OA
Ford B, Gasse L, Kokoris Kogias E, Jovanovic P. 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 | OA
Lechner M. Learning representations for binary-classification without backpropagation. 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
Hasani R, Lechner M, Amini A, Rus D, Grosu R. A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. In: Proceedings of the 37th International Conference on Machine Learning. PMLR. ; 2020: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. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. International Journal on Software Tools for Technology Transfer. 2020;22(6):741-758. doi:10.1007/s10009-020-00582-z
View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 10862 | OA
Bao Z, Erdös L, Schnelli K. Spectral rigidity for addition of random matrices at the regular edge. Journal of Functional Analysis. 2020;279(7). doi:10.1016/j.jfa.2020.108639
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 10867 | OA
Akopyan A, Karasev R. Waist of balls in hyperbolic and spherical spaces. International Mathematics Research Notices. 2020;2020(3):669-697. doi:10.1093/imrn/rny037
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 10328
Lambert NJ, Mobassem S, Rueda Sanchez AR, Schwefel HGL. New designs and noise channels in electro-optic microwave to optical up-conversion. In: OSA Quantum 2.0 Conference. Optica Publishing Group; 2020. doi:10.1364/QUANTUM.2020.QTu8A.1
View | DOI
 
2020 | Published | Other Publication | IST-REx-ID: 17444 | OA
Gao F, Wang J, Watzinger H, et al. Nanowires: Site‐controlled Uniform Ge/Si Hut Wires with Electrically Tunable Spin–Orbit Coupling (Adv. Mater. 16/2020). Vol 32. Wiley; 2020. doi:10.1002/adma.202070122
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 177 | OA
Browning TD, Sawin W. A geometric version of the circle method. Annals of Mathematics. 2020;191(3):893-948. doi:10.4007/annals.2020.191.3.4
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 7665 | OA
Eguchi K, Velicky P, Saeckl E, et al. Advantages of acute brain slices prepared at physiological temperature in the characterization of synaptic functions. Frontiers in Cellular Neuroscience. 2020;14. doi:10.3389/fncel.2020.00063
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 7666 | OA
Edelsbrunner H, Ölsböck K. Tri-partitions and bases of an ordered complex. Discrete and Computational Geometry. 2020;64:759-775. doi:10.1007/s00454-020-00188-x
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed