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: 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 | Draft | Preprint | IST-REx-ID: 10012 | OA
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 | OA
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 | 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: 7664 | OA
Martín-Belmonte A, Aguado C, Alfaro-Ruíz R, 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. 2020;21(7). doi:10.3390/ijms21072459
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
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
 
2020 | Published | Journal Article | IST-REx-ID: 7672 | OA
Samojlov A, Schuster D, Kahr J, Freunberger SA. Surface and catalyst driven singlet oxygen formation in Li-O2 cells. Electrochimica Acta. 2020;362(12). doi:10.1016/j.electacta.2020.137175
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Preprint | IST-REx-ID: 7675 | OA
Grah R, Zoller B, Tkačik G. Normative models of enhancer function. bioRxiv. 2020. doi:10.1101/2020.04.08.029405
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed