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 | OA
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. 21, 209.
[Published Version] View | Download Published Version (ext.) | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 9001 | OA
Barzanjeh S, Pirandola S, Vitali D, Fink JM. 2020. Microwave quantum illumination with a digital phase-conjugated receiver. IEEE National Radar Conference - Proceedings. RadarConf: National Conference on Radar vol. 2020, 9266397.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 9007 | OA
Browning TD, Sawin W. 2020. Free rational points on smooth hypersurfaces. Commentarii Mathematici Helvetici. 95(4), 635–659.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 9011 | OA
Kokoris Kogias E, Alp EC, Gasser L, Jovanovic P, Syta E, Ford B. 2020. CALYPSO: Private data management for decentralized ledgers. Proceedings of the VLDB Endowment. 14(4), 586–599.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 9039 | OA
Fischer JL, Laux T, Simon TM. 2020. Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis. 52(6), 6222–6233.
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 9040 | OA
Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 138–147.
[Published Version] View | Files available | DOI
 
2020 | Published | Book Chapter | IST-REx-ID: 9096
Schmid-Hempel P, Cremer S. 2020.Parasites and Pathogens. In: Encyclopedia of Social Insects. .
View | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 9103 | OA
Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. 2020. Lagrangian reachtubes: The next generation. Proceedings of the 59th IEEE Conference on Decision and Control. CDC: Conference on Decision and Control vol. 2020, 1556–1563.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 9104 | OA
Bao Z, Erdös L, Schnelli K. 2020. On the support of the free additive convolution. Journal d’Analyse Mathematique. 142, 323–348.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 9114 | OA
Hease WJ, Rueda Sanchez AR, Sahu R, Wulf M, Arnold GM, Schwefel HGL, Fink JM. 2020. Bidirectional electro-optic wavelength conversion in the quantum ground state. PRX Quantum. 1(2), 020315.
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Book Chapter | IST-REx-ID: 9123
Westram AM, Faria R, Butlin R, Johannesson K. 2020.Inversions and Evolution. In: eLS. .
View | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 9156 | OA
Akopyan A, Edelsbrunner H. 2020. The weighted Gaussian curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. 8(1), 74–88.
[Published Version] View | Files available | DOI | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 9157 | OA
Akopyan A, Edelsbrunner H. 2020. The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. 8(1), 51–67.
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 9160 | OA
Semerádová H, Montesinos López JC, Benková E. 2020. All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. 1(3), 100048.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 9194 | OA
Lauk N, Sinclair N, Barzanjeh S, Covey JP, Saffman M, Spiropulu M, Simon C. 2020. Perspectives on quantum transduction. Quantum Science and Technology. 5(2), 020501.
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 9195 | OA
Lambert NJ, Rueda Sanchez AR, Sedlmeir F, Schwefel HGL. 2020. Coherent conversion between microwave and optical photons - An overview of physical implementations. Advanced Quantum Technologies. 3(1), 1900077.
[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. 252(3), 251–297.
[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. 34(02), 1798–1805.
[Preprint] View | DOI | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 9198 | OA
Shevchenko A, Mondelli M. 2020. Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. Proceedings of the 37th International Conference on Machine Learning. vol. 119, 8773–8784.
[Published Version] View | Files available | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 9202 | OA
Garcia Soto M, Prabhakar P. 2020. Hybridization for stability verification of nonlinear switched systems. 2020 IEEE Real-Time Systems Symposium. RTTS: Real-Time Systems Symposium, 244–256.
[Submitted Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed