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, Francesco, et al. “A Sober Look at the Unsupervised Learning of Disentangled Representations and Their Evaluation.” Journal of Machine Learning Research, vol. 21, 209, MIT Press, 2020.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 9001 |
Barzanjeh, Shabir, et al. “Microwave Quantum Illumination with a Digital Phase-Conjugated Receiver.” IEEE National Radar Conference - Proceedings, vol. 2020, no. 9, 9266397, IEEE, 2020, doi:10.1109/RadarConf2043947.2020.9266397.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9007 |
Browning, Timothy D., and Will Sawin. “Free Rational Points on Smooth Hypersurfaces.” Commentarii Mathematici Helvetici, vol. 95, no. 4, European Mathematical Society, 2020, pp. 635–59, doi:10.4171/CMH/499.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9011 |
Kokoris Kogias, Eleftherios, et al. “CALYPSO: Private Data Management for Decentralized Ledgers.” Proceedings of the VLDB Endowment, vol. 14, no. 4, Association for Computing Machinery, 2020, pp. 586–99, doi:10.14778/3436905.3436917.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 9039 |
Fischer, Julian L., et al. “Convergence Rates of the Allen-Cahn Equation to Mean Curvature Flow: A Short Proof Based on Relative Entropies.” SIAM Journal on Mathematical Analysis, vol. 52, no. 6, Society for Industrial and Applied Mathematics, 2020, pp. 6222–33, doi:10.1137/20M1322182.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 9040 |
Alamdari, Par Alizadeh, et al. “Formal Methods with a Touch of Magic.” Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–47, doi: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, Paul, and Sylvia Cremer. “Parasites and Pathogens.” Encyclopedia of Social Insects, edited by C Starr, Springer Nature, 2020, doi:10.1007/978-3-319-90306-4_94-1.
View
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 9103 |
Gruenbacher, Sophie, et al. “Lagrangian Reachtubes: The next Generation.” Proceedings of the 59th IEEE Conference on Decision and Control, vol. 2020, IEEE, 2020, pp. 1556–63, doi:10.1109/CDC42340.2020.9304042.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9104 |
Bao, Zhigang, et al. “On the Support of the Free Additive Convolution.” Journal d’Analyse Mathematique, vol. 142, Springer Nature, 2020, pp. 323–48, doi:10.1007/s11854-020-0135-2.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9114 |
Hease, William J., et al. “Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State.” PRX Quantum, vol. 1, no. 2, 020315, American Physical Society, 2020, doi:10.1103/prxquantum.1.020315.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Book Chapter |
IST-REx-ID: 9123
Westram, Anja M., et al. “Inversions and Evolution.” ELS, Wiley, 2020, doi:10.1002/9780470015902.a0029007.
View
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 9156 |
Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Gaussian Curvature Derivative of a Space-Filling Diagram.” Computational and Mathematical Biophysics, vol. 8, no. 1, De Gruyter, 2020, pp. 74–88, doi:10.1515/cmb-2020-0101.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9157 |
Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Mean Curvature Derivative of a Space-Filling Diagram.” Computational and Mathematical Biophysics, vol. 8, no. 1, De Gruyter, 2020, pp. 51–67, doi:10.1515/cmb-2020-0100.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 9160 |
Semerádová, Hana, et al. “All Roads Lead to Auxin: Post-Translational Regulation of Auxin Transport by Multiple Hormonal Pathways.” Plant Communications, vol. 1, no. 3, 100048, Elsevier, 2020, doi: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, Nikolai, et al. “Perspectives on Quantum Transduction.” Quantum Science and Technology, vol. 5, no. 2, 020501, IOP Publishing, 2020, doi:10.1088/2058-9565/ab788a.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 9195 |
Lambert, Nicholas J., et al. “Coherent Conversion between Microwave and Optical Photons - An Overview of Physical Implementations.” Advanced Quantum Technologies, vol. 3, no. 1, 1900077, Wiley, 2020, doi:10.1002/qute.201900077.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 9196
Hensel, Sebastian, and Tommaso Rosati. “Modelled Distributions of Triebel–Lizorkin Type.” Studia Mathematica, vol. 252, no. 3, Instytut Matematyczny, 2020, pp. 251–97, doi:10.4064/sm180411-11-2.
[Preprint]
View
| DOI
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 9197
Avni, Guy, et al. “All-Pay Bidding Games on Graphs.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 02, Association for the Advancement of Artificial Intelligence, 2020, pp. 1798–805, doi:10.1609/aaai.v34i02.5546.
[Preprint]
View
| DOI
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 9198 |
Shevchenko, Alexander, and Marco Mondelli. “Landscape Connectivity and Dropout Stability of SGD Solutions for Over-Parameterized Neural Networks.” Proceedings of the 37th International Conference on Machine Learning, vol. 119, ML Research Press, 2020, pp. 8773–84.
[Published Version]
View
| Files available
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 9202 |
Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.” 2020 IEEE Real-Time Systems Symposium, IEEE, 2020, pp. 244–56, doi:10.1109/RTSS49844.2020.00031.
[Submitted Version]
View
| Files available
| DOI
| WoS