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
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 | Draft | Preprint | IST-REx-ID: 10012 | OA
The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions
J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Draft | Preprint | IST-REx-ID: 10022 | OA
Evolutionary Γ-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions
D.L. Forkert, J. Maas, L. Portinale, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | 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: 7664 | OA
Density of GABAB receptors is reduced in granule cells of the hippocampus in a mouse model of Alzheimer's disease
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, R. Shigemoto, Y. Fukazawa, R. Luján, International Journal of Molecular Sciences 21 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
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
 
2020 | Published | Journal Article | IST-REx-ID: 7672 | OA
Surface and catalyst driven singlet oxygen formation in Li-O2 cells
A. Samojlov, D. Schuster, J. Kahr, S.A. Freunberger, Electrochimica Acta 362 (2020).
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Preprint | IST-REx-ID: 7675 | OA
Normative models of enhancer function
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed