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. (2020). Disjoint tree-compatible plane perfect matchings. In 36th European Workshop on Computational Geometry. Würzburg, Germany, Virtual.
[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. (2020). Adaptive gradient quantization for data-parallel SGD. In Advances in Neural Information Processing Systems (Vol. 33). Vancouver, Canada: Neural Information Processing Systems Foundation.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 15286
Fäßler, F., Dimchev, G. A., Hodirnau, V.-V., Zens, B., Möhl, C., Bradke, F., & Schur, F. K. (2020). Cryo-electron tomography workflows for quantitative analysis of actin networks involved in cell migration. Microscopy and Microanalysis. Oxford University Press. https://doi.org/10.1017/s1431927620021881
View | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 10556 | OA
Kokoris Kogias, E., Malkhi, D., & Spiegelman, A. (2020). 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 (pp. 1751–1767). Virtual, United States: Association for Computing Machinery. https://doi.org/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. (2020). Cryptographically verifiable data structure having multi-hop forward and backwards links and associated systems and methods.
[Published Version] View | Files available | Download Published Version (ext.)
 
2020 | Published | Conference Paper | IST-REx-ID: 10672 | OA
Lechner, M. (2020). Learning representations for binary-classification without backpropagation. In 8th International Conference on Learning Representations. Virtual ; Addis Ababa, Ethiopia: ICLR.
[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. (2020). A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. In Proceedings of the 37th International Conference on Machine Learning (pp. 4082–4093). Virtual.
[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. (2020). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. International Journal on Software Tools for Technology Transfer. Springer Nature. https://doi.org/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. (2020). Spectral rigidity for addition of random matrices at the regular edge. Journal of Functional Analysis. Elsevier. 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, A., & Karasev, R. (2020). Waist of balls in hyperbolic and spherical spaces. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rny037
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Draft | Preprint | IST-REx-ID: 10012 | OA
Fischer, J. L., Hensel, S., Laux, T., & Simon, T. (n.d.). The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions. arXiv. 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, D. L., Maas, J., & Portinale, L. (n.d.). Evolutionary Γ-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions. arXiv. 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, N. J., Mobassem, S., Rueda Sanchez, A. R., & Schwefel, H. G. L. (2020). New designs and noise channels in electro-optic microwave to optical up-conversion. In OSA Quantum 2.0 Conference. Washington, DC, United States: Optica Publishing Group. https://doi.org/10.1364/QUANTUM.2020.QTu8A.1
View | DOI
 
2020 | Published | Other Publication | IST-REx-ID: 17444 | OA
Gao, F., Wang, J., Watzinger, H., Hu, H., Rančić, M. J., Zhang, J., … Zhang, J. (2020). Nanowires: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling (Adv. Mater. 16/2020). Advanced Materials (Vol. 32). Wiley. 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, T. D., & Sawin, W. (2020). A geometric version of the circle method. Annals of Mathematics. Princeton University. 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, A., Aguado, C., Alfaro-Ruíz, R., Moreno-Martínez, A. E., De La Ossa, L., Martínez-Hernández, J., … Luján, R. (2020). 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. 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, K., Velicky, P., Saeckl, E., Itakura, M., Fukazawa, Y., Danzl, J. G., & Shigemoto, R. (2020). Advantages of acute brain slices prepared at physiological temperature in the characterization of synaptic functions. Frontiers in Cellular Neuroscience. Frontiers Media. 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, H., & Ölsböck, K. (2020). Tri-partitions and bases of an ordered complex. Discrete and Computational Geometry. Springer Nature. 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, A., Schuster, D., Kahr, J., & Freunberger, S. A. (2020). Surface and catalyst driven singlet oxygen formation in Li-O2 cells. Electrochimica Acta. Elsevier. 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, R., Zoller, B., & Tkačik, G. (2020). Normative models of enhancer function. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.04.08.029405
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed