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.
5871 Publications
2021 | Published | Journal Article | IST-REx-ID: 14889 |

Leopold, Nikolai K, David Johannes Mitrouskas, Simone Anna Elvira Rademacher, Benjamin Schlein, and Robert Seiringer. “Landau–Pekar Equations and Quantum Fluctuations for the Dynamics of a Strongly Coupled Polaron.” Pure and Applied Analysis. Mathematical Sciences Publishers, 2021. https://doi.org/10.2140/paa.2021.3.653.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9318 |

Bossmann, Lea, Sören P Petrat, and Robert Seiringer. “Asymptotic Expansion of Low-Energy Excitations for Weakly Interacting Bosons.” Forum of Mathematics, Sigma. Cambridge University Press, 2021. https://doi.org/10.1017/fms.2021.22.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10134 |

Suzuki, Fumika, Mikhail Lemeshko, Wojciech H. Zurek, and Roman V. Krems. “Anderson Localization of Composite Particles.” Physical Review Letters. American Physical Society , 2021. https://doi.org/10.1103/physrevlett.127.160602.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9770 |

Volosniev, Artem, Hen Alpern, Yossi Paltiel, Oded Millo, Mikhail Lemeshko, and Areg Ghazaryan. “Interplay between Friction and Spin-Orbit Coupling as a Source of Spin Polarization.” Physical Review B. American Physical Society, 2021. https://doi.org/10.1103/physrevb.104.024430.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10402 |

Ucar, Mehmet C, Dmitrii Kamenev, Kazunori Sunadome, Dominik C Fachet, Francois Lallemend, Igor Adameyko, Saida Hadjab, and Edouard B Hannezo. “Theory of Branching Morphogenesis by Local Interactions and Global Guidance.” Nature Communications. Springer Nature, 2021. https://doi.org/10.1038/s41467-021-27135-5.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Research Data Reference | IST-REx-ID: 13058 |

Ucar, Mehmet C. “Source Data for the Manuscript ‘Theory of Branching Morphogenesis by Local Interactions and Global Guidance.’” Zenodo, 2021. https://doi.org/10.5281/ZENODO.5257160.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 13147 |

Alimisis, Foivos, Communication-efficient distributed optimization with quantized preconditioners. Proceedings of the 38th International Conference on Machine Learning 139. 2021
[Published Version]
View
| Files available
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 11436 |

Kungurtsev, Vyacheslav, Malcolm Egan, Bapi Chatterjee, and Dan-Adrian Alistarh. “Asynchronous Optimization Methods for Efficient Training of Deep Neural Networks with Guarantees.” In 35th AAAI Conference on Artificial Intelligence, AAAI 2021, 35:8209–16. AAAI Press, 2021.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10435 |

Nadiradze, Giorgi, Amirmojtaba Sabour, Peter Davies, Shigang Li, and Dan-Adrian Alistarh. “Asynchronous Decentralized SGD with Quantized and Local Updates.” In 35th Conference on Neural Information Processing Systems. Neural Information Processing Systems Foundation, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 11452 |

Alimisis, Foivos, Peter Davies, Bart Vandereycken, and Dan-Adrian Alistarh. “Distributed Principal Component Analysis with Limited Communication.” In Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, 4:2823–34. Neural Information Processing Systems Foundation, 2021.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2021 | Submitted | Preprint | IST-REx-ID: 10912 |

Lombardi, Fabrizio, Selver Pepic, Oren Shriki, Gašper Tkačik, and Daniele De Martino. “Quantifying the Coexistence of Neuronal Oscillations and Avalanches.” arXiv, n.d. https://doi.org/10.48550/ARXIV.2108.06686.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10432 |

Nadiradze, Giorgi, Ilia Markov, Bapi Chatterjee, Vyacheslav Kungurtsev, and Dan-Adrian Alistarh. “Elastic Consistency: A Practical Consistency Model for Distributed Stochastic Gradient Descent.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:9037–45, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9200 |

Garcia Soto, Miriam, Synthesis of hybrid automata with affine dynamics from time-series data. HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. 2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10206 |

Lukina, Anna, Christian Schilling, and Thomas A Henzinger. “Into the Unknown: Active Monitoring of Neural Networks.” In 21st International Conference on Runtime Verification, 12974:42–61. Cham: Springer Nature, 2021. https://doi.org/10.1007/978-3-030-88494-9_3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Technical Report | IST-REx-ID: 9946 |

Mühlböck, Fabian, and Thomas A Henzinger. Differential Monitoring. IST Austria, 2021. https://doi.org/10.15479/AT:ISTA:9946.
[Published Version]
View
| Files available
| DOI
2021 | Submitted | Preprint | IST-REx-ID: 9281 |

Dubach, Guillaume, and Fabian Mühlböck. “Formal Verification of Zagier’s One-Sentence Proof.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2103.11389.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10327 |

Li, Mengyao, Yu Liu, Yu Zhang, Xu Han, Ke Xiao, Mehran Nabahat, Jordi Arbiol, Jordi Llorca, Maria Ibáñez, and Andreu Cabot. “PbS–Pb–CuxS Composites for Thermoelectric Application.” ACS Applied Materials and Interfaces. American Chemical Society , 2021. https://doi.org/10.1021/acsami.1c15609.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 9441 |

Boissonnat, Jean-Daniel, Siargey Kachanovich, and Mathijs Wintraecken. “Tracing Isomanifolds in Rd in Time Polynomial in d Using Coxeter-Freudenthal-Kuhn Triangulations.” In 37th International Symposium on Computational Geometry (SoCG 2021), 189:17:1-17:16. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.SoCG.2021.17.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 8253 |

Zenke, Friedemann, and Tim P Vogels. “The Remarkable Robustness of Surrogate Gradient Learning for Instilling Complex Function in Spiking Neural Networks.” Neural Computation. MIT Press, 2021. https://doi.org/10.1162/neco_a_01367.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9410 |

Lagator, Mato, Hildegard Uecker, and Paul Neve. “Adaptation at Different Points along Antibiotic Concentration Gradients.” Biology Letters. Royal Society of London, 2021. https://doi.org/10.1098/rsbl.2020.0913.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC