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.
6331 Publications
2021 |
Published |
Conference Paper |
IST-REx-ID: 10666 |
Lechner, Mathias, et al. “Adversarial Training Is Not Ready for Robot Learning.” 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–47, doi:10.1109/ICRA48506.2021.9561036.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9022 |
Cipolloni, Giorgio. Fluctuations in the Spectrum of Random Matrices. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9022.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | MS |
IST-REx-ID: 10422 |
Piankov, Anton. Towards Designer Materials Using Customizable Particle Shape. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10422.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10030 |
Portinale, Lorenzo. Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10030.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9733 |
Feliciangeli, Dario. The Polaron at Strong Coupling. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:9733.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 9225 |
Feliciangeli, Dario, et al. “Persistence of the Spectral Gap for the Landau–Pekar Equations.” Letters in Mathematical Physics, vol. 111, 19, Springer Nature, 2021, doi:10.1007/s11005-020-01350-5.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |
Draft |
Preprint |
IST-REx-ID: 9792 |
Feliciangeli, Dario, et al. “A Non-Commutative Entropic Optimal Transport Approach to Quantum Composite Systems at Positive Temperature.” ArXiv, 2106.11217, doi:10.48550/arXiv.2106.11217.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Draft |
Preprint |
IST-REx-ID: 9787 |
Feliciangeli, Dario, and Robert Seiringer. “The Strongly Coupled Polaron on the Torus: Quantum Corrections to the Pekar Asymptotics.” ArXiv, 2101.12566, doi:10.48550/arXiv.2101.12566.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Draft |
Preprint |
IST-REx-ID: 9791 |
Feliciangeli, Dario, et al. “The Effective Mass Problem for the Landau-Pekar Equations.” ArXiv, 2107.03720, doi:10.48550/arXiv.2107.03720.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 9987 |
Agarwal, Pratyush, et al. “Stateless Model Checking under a Reads-Value-from Equivalence.” 33rd International Conference on Computer-Aided Verification , vol. 12759, Springer Nature, 2021, pp. 341–66, doi:10.1007/978-3-030-81685-8_16.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10199 |
Toman, Viktor. Improved Verification Techniques for Concurrent Systems. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10199.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 10191 |
Bui, Truc Lam, et al. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164, Association for Computing Machinery, 2021, doi:10.1145/3485541.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10007 |
Hensel, Sebastian. Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10007.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10429 |
Nadiradze, Giorgi. On Achieving Scalability through Relaxation. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10429.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 10435 |
Nadiradze, Giorgi, et al. “Asynchronous Decentralized SGD with Quantized and Local Updates.” 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: 10432 |
Nadiradze, Giorgi, et al. “Elastic Consistency: A Practical Consistency Model for Distributed Stochastic Gradient Descent.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 10, 2021, pp. 9037–45.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Draft |
Preprint |
IST-REx-ID: 10013 |
Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” ArXiv, 2108.01733, doi:10.48550/arXiv.2108.01733.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9418 |
Phuong, Mary. Underspecification in Deep Learning. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9418.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9056 |
Osang, Georg F. Multi-Cover Persistence and Delaunay Mosaics. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9056.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 9416 |
Phuong, Mary, and Christoph Lampert. “The Inductive Bias of ReLU Networks on Orthogonally Separable Data.” 9th International Conference on Learning Representations, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)