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.
4840 Publications
2020 |
Published |
Journal Article |
IST-REx-ID: 14195 |
Locatello, F., Bauer, S., Lucic, M., Rätsch, G., Gelly, S., Schölkopf, B., & Bachem, O. (2020). A sober look at the unsupervised learning of disentangled representations and their evaluation. Journal of Machine Learning Research. MIT Press.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 9001 |
Barzanjeh, S., Pirandola, S., Vitali, D., & Fink, J. M. (2020). Microwave quantum illumination with a digital phase-conjugated receiver. In IEEE National Radar Conference - Proceedings (Vol. 2020). Florence, Italy: IEEE. https://doi.org/10.1109/RadarConf2043947.2020.9266397
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9007 |
Browning, T. D., & Sawin, W. (2020). Free rational points on smooth hypersurfaces. Commentarii Mathematici Helvetici. European Mathematical Society. https://doi.org/10.4171/CMH/499
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9011 |
Kokoris Kogias, E., Alp, E. C., Gasser, L., Jovanovic, P., Syta, E., & Ford, B. (2020). CALYPSO: Private data management for decentralized ledgers. Proceedings of the VLDB Endowment. Association for Computing Machinery. https://doi.org/10.14778/3436905.3436917
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 9039 |
Fischer, J. L., Laux, T., & Simon, T. M. (2020). Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/20M1322182
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 9040 |
Alamdari, P. A., Avni, G., Henzinger, T. A., & Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Book Chapter |
IST-REx-ID: 9096
Schmid-Hempel, P., & Cremer, S. (2020). Parasites and Pathogens. In C. Starr (Ed.), Encyclopedia of Social Insects. Cham: Springer Nature. https://doi.org/10.1007/978-3-319-90306-4_94-1
View
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 9103 |
Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., & Grosu, R. (2020). Lagrangian reachtubes: The next generation. In Proceedings of the 59th IEEE Conference on Decision and Control (Vol. 2020, pp. 1556–1563). Jeju Islang, Korea (South): IEEE. https://doi.org/10.1109/CDC42340.2020.9304042
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9104 |
Bao, Z., Erdös, L., & Schnelli, K. (2020). On the support of the free additive convolution. Journal d’Analyse Mathematique. Springer Nature. https://doi.org/10.1007/s11854-020-0135-2
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9114 |
Hease, W. J., Rueda Sanchez, A. R., Sahu, R., Wulf, M., Arnold, G. M., Schwefel, H. G. L., & Fink, J. M. (2020). Bidirectional electro-optic wavelength conversion in the quantum ground state. PRX Quantum. American Physical Society. https://doi.org/10.1103/prxquantum.1.020315
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Book Chapter |
IST-REx-ID: 9123
Westram, A. M., Faria, R., Butlin, R., & Johannesson, K. (2020). Inversions and Evolution. In eLS. Wiley. https://doi.org/10.1002/9780470015902.a0029007
View
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 9156 |
Akopyan, A., & Edelsbrunner, H. (2020). The weighted Gaussian curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. De Gruyter. https://doi.org/10.1515/cmb-2020-0101
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9157 |
Akopyan, A., & Edelsbrunner, H. (2020). The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. De Gruyter. https://doi.org/10.1515/cmb-2020-0100
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 9160 |
Semerádová, H., Montesinos López, J. C., & Benková, E. (2020). All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. Elsevier. https://doi.org/10.1016/j.xplc.2020.100048
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 9194 |
Lauk, N., Sinclair, N., Barzanjeh, S., Covey, J. P., Saffman, M., Spiropulu, M., & Simon, C. (2020). Perspectives on quantum transduction. Quantum Science and Technology. IOP Publishing. https://doi.org/10.1088/2058-9565/ab788a
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 9195 |
Lambert, N. J., Rueda Sanchez, A. R., Sedlmeir, F., & Schwefel, H. G. L. (2020). Coherent conversion between microwave and optical photons - An overview of physical implementations. Advanced Quantum Technologies. Wiley. https://doi.org/10.1002/qute.201900077
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 9196
Hensel, S., & Rosati, T. (2020). Modelled distributions of Triebel–Lizorkin type. Studia Mathematica. Instytut Matematyczny. https://doi.org/10.4064/sm180411-11-2
[Preprint]
View
| DOI
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9197
Avni, G., Ibsen-Jensen, R., & Tkadlec, J. (2020). All-pay bidding games on graphs. Proceedings of the AAAI Conference on Artificial Intelligence. New York, NY, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v34i02.5546
[Preprint]
View
| DOI
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 9198 |
Shevchenko, A., & Mondelli, M. (2020). Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 8773–8784). ML Research Press.
[Published Version]
View
| Files available
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 9202 |
Garcia Soto, M., & Prabhakar, P. (2020). Hybridization for stability verification of nonlinear switched systems. In 2020 IEEE Real-Time Systems Symposium (pp. 244–256). Houston, TX, USA : IEEE. https://doi.org/10.1109/RTSS49844.2020.00031
[Submitted Version]
View
| Files available
| DOI
| WoS