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.
5872 Publications
2020 | Published | Journal Article | IST-REx-ID: 7509 |

From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture
H. Zhang, Advances in Mathematics 365 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Zhang, Advances in Mathematics 365 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8084 |

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
F. Lombardi, M. Gómez-Extremera, P. Bernaola-Galván, R. Vetrivelan, C.B. Saper, T.E. Scammell, P.C. Ivanov, Journal of Neuroscience 40 (2020) 171–190.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
F. Lombardi, M. Gómez-Extremera, P. Bernaola-Galván, R. Vetrivelan, C.B. Saper, T.E. Scammell, P.C. Ivanov, Journal of Neuroscience 40 (2020) 171–190.
2020 | Published | Journal Article | IST-REx-ID: 8199 |

Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps
T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8036 |

Magnetically powered metachronal waves induce locomotion in self-assemblies
Y. Collard, G.M. Grosjean, N. Vandewalle, Communications Physics 3 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
Y. Collard, G.M. Grosjean, N. Vandewalle, Communications Physics 3 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7236 |

Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair
C. Baskett, L. Schroeder, M.G. Weber, D.W. Schemske, Ecological Monographs 90 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
C. Baskett, L. Schroeder, M.G. Weber, D.W. Schemske, Ecological Monographs 90 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8769 |

Quantum impurity model for anyons
E. Yakaboylu, A. Ghazaryan, D. Lundholm, N. Rougerie, M. Lemeshko, R. Seiringer, Physical Review B 102 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
E. Yakaboylu, A. Ghazaryan, D. Lundholm, N. Rougerie, M. Lemeshko, R. Seiringer, Physical Review B 102 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 8533 |

Simplified game of life: Algorithms and complexity
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
Chatterjee, Krishnendu, Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science 170. 2020
2020 | Published | Journal Article | IST-REx-ID: 8789 |

Prioritised learning in snowdrift-type games
M. Kleshnina, S. Streipert, J. Filar, K. Chatterjee, Mathematics 8 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
M. Kleshnina, S. Streipert, J. Filar, K. Chatterjee, Mathematics 8 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 8750 |

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions
M. Forets, D. Freire, C. Schilling, in:, 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Forets, D. Freire, C. Schilling, in:, 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 8571 |

ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
2020 | Published | Journal Article | IST-REx-ID: 8127 |

Training deep neural density estimators to identify mechanistic models of neural dynamics
P.J. Gonçalves, J.-M. Lueckmann, M. Deistler, M. Nonnenmacher, K. Öcal, G. Bassetto, C. Chintaluri, W.F. Podlaski, S.A. Haddad, T.P. Vogels, D.S. Greenberg, J.H. Macke, ELife 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P.J. Gonçalves, J.-M. Lueckmann, M. Deistler, M. Nonnenmacher, K. Öcal, G. Bassetto, C. Chintaluri, W.F. Podlaski, S.A. Haddad, T.P. Vogels, D.S. Greenberg, J.H. Macke, ELife 9 (2020).
2020 | Published | Thesis | IST-REx-ID: 8390 |

Leveraging structure in Computer Vision tasks for flexible Deep Learning models
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
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, Institute of Science and Technology Austria, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 7936 |

Localizing grouped instances for efficient detection in low-resource scenarios
A. Royer, C. Lampert, in:, IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Royer, C. Lampert, in:, IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 7937 |

A flexible selection scheme for minimum-effort transfer learning
A. Royer, C. Lampert, in:, 2020 IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Royer, C. Lampert, in:, 2020 IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
2020 | Published | Book Chapter | IST-REx-ID: 8092 |

XGAN: Unsupervised image-to-image translation for many-to-many mappings
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.
2020 | Published | Journal Article | IST-REx-ID: 6944 |

KS(conf): A light-weight test if a multiclass classifier operates outside of its specifications
R. Sun, C. Lampert, International Journal of Computer Vision 128 (2020) 970–995.
[Published Version]
View
| Files available
| DOI
| WoS
R. Sun, C. Lampert, International Journal of Computer Vision 128 (2020) 970–995.
2020 | Published | Journal Article | IST-REx-ID: 8766
Making procedural water waves boundary-aware
S. Jeschke, C. Hafner, N. Chentanez, M. Macklin, M. Müller-Fischer, C. Wojtan, Computer Graphics Forum 39 (2020) 47–54.
View
| DOI
| WoS
S. Jeschke, C. Hafner, N. Chentanez, M. Macklin, M. Müller-Fischer, C. Wojtan, Computer Graphics Forum 39 (2020) 47–54.
2020 | Research Data | IST-REx-ID: 8761 |

Supplementary data for "Computational design of cold bent glass façades"
R. Guseinov, (2020).
[Published Version]
View
| Files available
| DOI
R. Guseinov, (2020).
2020 | Published | Thesis | IST-REx-ID: 8386 |

Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
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
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
2020 | Published | Journal Article | IST-REx-ID: 8562 |

Computational design of cold bent glass façades
K. Gavriil, R. Guseinov, J. Perez Rodriguez, D. Pellis, P.M. Henderson, F. Rist, H. Pottmann, B. Bickel, ACM Transactions on Graphics 39 (2020).
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Gavriil, R. Guseinov, J. Perez Rodriguez, D. Pellis, P.M. Henderson, F. Rist, H. Pottmann, B. Bickel, ACM Transactions on Graphics 39 (2020).