Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4967 Publications
2021 |
Published |
Journal Article |
IST-REx-ID: 10674 |
Aghajohari M, Avni G, Henzinger TA. Determinacy in discrete-bidding infinite-duration games. Logical Methods in Computer Science. 2021;17(1):10:1-10:23. doi:10.23638/LMCS-17(1:10)2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10688 |
Kragl B, Qadeer S. The Civl verifier. In: Ruzica P, Whalen MW, eds. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. Vol 2. TU Wien Academic Press; 2021:143–152. doi:10.34727/2021/isbn.978-3-85448-046-4_23
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 10694 |
Avni G, Jecker IR, Zikelic D. Infinite-duration all-pay bidding games. In: Marx D, ed. Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2021:617-636. doi:10.1137/1.9781611976465.38
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10711 |
Autissier P, Bonolis D, Lamzouri Y. The distribution of the maximum of partial sums of Kloosterman sums and other trace functions. Compositio Mathematica. 2021;157(7):1610-1651. doi:10.1112/s0010437x21007351
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10738 |
Leopold NK, Rademacher SAE, Schlein B, Seiringer R. The Landau–Pekar equations: Adiabatic theorem and accuracy. Analysis and PDE. 2021;14(7):2079-2100. doi:10.2140/APDE.2021.14.2079
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Submitted |
Preprint |
IST-REx-ID: 10762 |
Rzadkowski W, Lemeshko M, Mentink JH. Artificial neural network states for non-additive systems. arXiv. doi:10.48550/arXiv.2105.15193
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Submitted |
Preprint |
IST-REx-ID: 10803 |
Konstantinov NH, Lampert C. Fairness through regularization for learning to rank. arXiv. doi:10.48550/arXiv.2102.05996
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10806 |
Calcabrini M, Van den Eynden D, Sanchez Ribot S, et al. Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate. JACS Au. 2021;1(11):1898-1903. doi:10.1021/jacsau.1c00349
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 10809
Liu Y, Ibáñez M. Tidying up the mess. Science. 2021;371(6530):678-679. doi:10.1126/science.abg0886
View
| DOI
| WoS
| PubMed | Europe PMC
2021 |
Published |
Journal Article |
IST-REx-ID: 10816 |
Guzmán J, Schlögl A, Espinoza Martinez C, Zhang X, Suter B, Jonas PM. How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network. Nature Computational Science. 2021;1(12):830-842. doi:10.1038/s43588-021-00157-1
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2021 |
Published |
Journal Article |
IST-REx-ID: 9408 |
Feng X, Liu J, Wang H, et al. Computational design of skinned Quad-Robots. IEEE Transactions on Visualization and Computer Graphics. 2021;27(6). doi:10.1109/TVCG.2019.2957218
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |
Published |
Journal Article |
IST-REx-ID: 9410 |
Lagator M, Uecker H, Neve P. Adaptation at different points along antibiotic concentration gradients. Biology letters. 2021;17(5). doi:10.1098/rsbl.2020.0913
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |
Published |
Journal Article |
IST-REx-ID: 9411 |
Sukhov A, Hubert M, Grosjean GM, et al. Regimes of motion of magnetocapillary swimmers. European Physical Journal E. 2021;44(4). doi:10.1140/epje/s10189-021-00065-2
[Published Version]
View
| Files available
| DOI
| WoS
2021 |
Published |
Journal Article |
IST-REx-ID: 9412 |
Cipolloni G, Erdös L, Schröder DJ. Fluctuation around the circular law for random matrices with real entries. Electronic Journal of Probability. 2021;26. doi:10.1214/21-EJP591
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 9414 |
Ishihara K, Decker F, Dos Santos Caldas PR, et al. Spatial variation of microtubule depolymerization in large asters. Molecular Biology of the Cell. 2021;32(9):869-879. doi:10.1091/MBC.E20-11-0723
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2021 |
Published |
Conference Paper |
IST-REx-ID: 9416 |
Phuong M, Lampert C. The inductive bias of ReLU networks on orthogonally separable data. In: 9th International Conference on Learning Representations. ; 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9418 |
Phuong M. Underspecification in deep learning. 2021. doi:10.15479/AT:ISTA:9418
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 9428 |
Serbyn M, Abanin DA, Papić Z. Quantum many-body scars and weak breaking of ergodicity. Nature Physics. 2021;17(6):675–685. doi:10.1038/s41567-021-01230-2
[Preprint]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 9429 |
Morandell J, Schwarz LA, Basilico B, et al. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-23123-x
[Published Version]
View
| Files available
| DOI
| WoS
2021 |
Published |
Journal Article |
IST-REx-ID: 9431 |
Obr M, Ricana CL, Nikulin N, et al. Structure of the mature Rous sarcoma virus lattice reveals a role for IP6 in the formation of the capsid hexamer. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-23506-0
[Published Version]
View
| Files available
| DOI
| WoS