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, Oswin, Julia Obmann, Pavel Patak, Daniel Perz, and Josef Tkadlec. “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, Fartash , Iman Tabrizian, Ilia Markov, Dan-Adrian Alistarh, Daniel Roy, and Ali Ramezani-Kebrya. “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, Florian, Georgi A Dimchev, Victor-Valentin Hodirnau, Bettina Zens, Christoph Möhl, Frank Bradke, and Florian KM Schur. “Cryo-Electron Tomography Workflows for Quantitative Analysis of Actin Networks Involved in Cell Migration.” Microscopy and Microanalysis. Oxford University Press, 2020. https://doi.org/10.1017/s1431927620021881.
View | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 10556 | OA
Kokoris Kogias, Eleftherios, Dahlia Malkhi, and Alexander Spiegelman. “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, 1751–1767. Association for Computing Machinery, 2020. https://doi.org/10.1145/3372297.3423364.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2020 | Patent | IST-REx-ID: 10557 | OA
Ford, Bryan, Linus Gasse, Eleftherios Kokoris Kogias, and Philipp Jovanovic. “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, Mathias. “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, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits.” In Proceedings of the 37th International Conference on Machine Learning, 4082–93. PMLR, 2020.
[Published Version] View | Files available | Download Published Version (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 10861
Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.” International Journal on Software Tools for Technology Transfer. Springer Nature, 2020. https://doi.org/10.1007/s10009-020-00582-z.
View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 10862 | OA
Bao, Zhigang, László Erdös, and Kevin Schnelli. “Spectral Rigidity for Addition of Random Matrices at the Regular Edge.” Journal of Functional Analysis. Elsevier, 2020. https://doi.org/10.1016/j.jfa.2020.108639.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 10867 | OA
Akopyan, Arseniy, and Roman Karasev. “Waist of Balls in Hyperbolic and Spherical Spaces.” International Mathematics Research Notices. Oxford University Press, 2020. https://doi.org/10.1093/imrn/rny037.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Draft | Preprint | IST-REx-ID: 10012 | OA
Fischer, Julian L, Sebastian Hensel, Tim Laux, and Thilo Simon. “The Local Structure of the Energy Landscape in Multiphase Mean Curvature Flow: Weak-Strong Uniqueness and Stability of Evolutions.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2003.05478.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Draft | Preprint | IST-REx-ID: 10022 | OA
Forkert, Dominik L, Jan Maas, and Lorenzo Portinale. “Evolutionary Γ-Convergence of Entropic Gradient Flow Structures for Fokker-Planck Equations in Multiple Dimensions.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2008.10962.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 10328
Lambert, Nicholas J., Sonia Mobassem, Alfredo R Rueda Sanchez, and Harald G.L. Schwefel. “New Designs and Noise Channels in Electro-Optic Microwave to Optical up-Conversion.” In OSA Quantum 2.0 Conference. Optica Publishing Group, 2020. https://doi.org/10.1364/QUANTUM.2020.QTu8A.1.
View | DOI
 
2020 | Published | Other Publication | IST-REx-ID: 17444 | OA
Gao, Fei, Jian‐Huan Wang, Hannes Watzinger, Hao Hu, Marko J. Rančić, Jie‐Yin Zhang, Ting Wang, et al. Nanowires: Site‐controlled Uniform Ge/Si Hut Wires with Electrically Tunable Spin–Orbit Coupling (Adv. Mater. 16/2020). Advanced Materials. Vol. 32. Wiley, 2020. https://doi.org/10.1002/adma.202070122.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 177 | OA
Browning, Timothy D, and Will Sawin. “A Geometric Version of the Circle Method.” Annals of Mathematics. Princeton University, 2020. https://doi.org/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, Alejandro, Carolina Aguado, Rocío Alfaro-Ruíz, Ana Esther Moreno-Martínez, Luis De La Ossa, José Martínez-Hernández, Alain Buisson, Ryuichi Shigemoto, Yugo Fukazawa, and Rafael Luján. “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. MDPI, 2020. https://doi.org/10.3390/ijms21072459.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 7665 | OA
Eguchi, Kohgaku, Philipp Velicky, Elena Saeckl, Makoto Itakura, Yugo Fukazawa, Johann G Danzl, and Ryuichi Shigemoto. “Advantages of Acute Brain Slices Prepared at Physiological Temperature in the Characterization of Synaptic Functions.” Frontiers in Cellular Neuroscience. Frontiers Media, 2020. https://doi.org/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, Herbert, and Katharina Ölsböck. “Tri-Partitions and Bases of an Ordered Complex.” Discrete and Computational Geometry. Springer Nature, 2020. https://doi.org/10.1007/s00454-020-00188-x.
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 7672 | OA
Samojlov, Aleksej, David Schuster, Jürgen Kahr, and Stefan Alexander Freunberger. “Surface and Catalyst Driven Singlet Oxygen Formation in Li-O2 Cells.” Electrochimica Acta. Elsevier, 2020. https://doi.org/10.1016/j.electacta.2020.137175.
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Preprint | IST-REx-ID: 7675 | OA
Grah, Rok, Benjamin Zoller, and Gašper Tkačik. “Normative Models of Enhancer Function.” BioRxiv. Cold Spring Harbor Laboratory, 2020. https://doi.org/10.1101/2020.04.08.029405.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed