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.
5870 Publications
2020 | Published | Journal Article | IST-REx-ID: 7509 | 
H. Zhang, “From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture,” Advances in Mathematics, vol. 365. Elsevier, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8084 |
F. Lombardi et al., “Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake,” Journal of Neuroscience, vol. 40, no. 1. Society for Neuroscience, pp. 171–190, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8199 |
T. Gulden, E. Berg, M. S. Rudner, and N. Lindner, “Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps,” SciPost Physics, vol. 9. SciPost Foundation, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8036 |
Y. Collard, G. M. Grosjean, and N. Vandewalle, “Magnetically powered metachronal waves induce locomotion in self-assemblies,” Communications Physics, vol. 3. Springer Nature, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7236 |
C. Baskett, L. Schroeder, M. G. Weber, and D. W. Schemske, “Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair,” Ecological Monographs, vol. 90, no. 1. Wiley, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8769 |
E. Yakaboylu, A. Ghazaryan, D. Lundholm, N. Rougerie, M. Lemeshko, and R. Seiringer, “Quantum impurity model for anyons,” Physical Review B, vol. 102, no. 14. American Physical Society, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8533 |
Chatterjee, Krishnendu, Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science 170. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8789 |
M. Kleshnina, S. Streipert, J. Filar, and K. Chatterjee, “Prioritised learning in snowdrift-type games,” Mathematics, vol. 8, no. 11. MDPI, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8750 |
M. Forets, D. Freire, and C. Schilling, “Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions,” in 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Conference, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8571 |
L. Geretti et al., “ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, 2020, vol. 74, pp. 49–75.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8127 |
P. J. Gonçalves et al., “Training deep neural density estimators to identify mechanistic models of neural dynamics,” eLife, vol. 9. eLife Sciences Publications, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Thesis | IST-REx-ID: 8390 |
A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep Learning models,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7936 |
A. Royer and C. Lampert, “Localizing grouped instances for efficient detection in low-resource scenarios,” in IEEE Winter Conference on Applications of Computer Vision, Snowmass Village, CO, United States, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7937 |
A. Royer and C. Lampert, “A flexible selection scheme for minimum-effort transfer learning,” in 2020 IEEE Winter Conference on Applications of Computer Vision, Snowmass Village, CO, United States, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Book Chapter | IST-REx-ID: 8092 |
A. Royer et al., “XGAN: Unsupervised image-to-image translation for many-to-many mappings,” in Domain Adaptation for Visual Understanding, R. Singh, M. Vatsa, V. M. Patel, and N. Ratha, Eds. Springer Nature, 2020, pp. 33–49.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6944 |
R. Sun and C. Lampert, “KS(conf): A light-weight test if a multiclass classifier operates outside of its specifications,” International Journal of Computer Vision, vol. 128, no. 4. Springer Nature, pp. 970–995, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Research Data | IST-REx-ID: 8761 |
R. Guseinov, “Supplementary data for ‘Computational design of cold bent glass façades.’” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8386 |
R. Zhang, “Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8562 |
K. Gavriil et al., “Computational design of cold bent glass façades,” ACM Transactions on Graphics, vol. 39, no. 6. Association for Computing Machinery, 2020.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv