Please note that ISTA Research Explorer 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: 15071 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Draft |
Preprint |
IST-REx-ID: 10012 |
Fischer JL, Hensel S, Laux T, Simon T. The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions. arXiv. doi:10.48550/arXiv.2003.05478
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Draft |
Preprint |
IST-REx-ID: 10022 |
Forkert DL, Maas J, Portinale L. Evolutionary Γ-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions. arXiv. doi:10.48550/arXiv.2008.10962
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| 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 |
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 |
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