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.
6978 Publications
2021 |Published| Conference Paper | IST-REx-ID: 9823 | 
Alistarh D-A, Ellen F, Rybicki J. Wait-free approximate agreement on graphs. In: Structural Information and Communication Complexity. Vol 12810. Springer Nature; 2021:87-105. doi:10.1007/978-3-030-79527-6_6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 9824
Čomić L, Zrour R, Largeteau-Skapin G, Biswas R, Andres E. Body centered cubic grid - coordinate system and discrete analytical plane definition. In: Discrete Geometry and Mathematical Morphology. Vol 12708. Springer Nature; 2021:152-163. doi:10.1007/978-3-030-76657-3_10
View
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 12767 |
Bansal S, Chatterjee K, Vardi MY. On satisficing in quantitative games. In: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 12651. Springer Nature; 2021:20-37. doi:10.1007/978-3-030-72016-2
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10011 |
Hensel S, Laux T. A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness. arXiv. doi:10.48550/arXiv.2109.04233
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10579 |
Kavcic B, Tkačik G. Token-driven totally asymmetric simple exclusion process. arXiv. doi:10.48550/arXiv.2112.13558
[Preprint]
View
| 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| Conference Abstract | IST-REx-ID: 12909 |
Schlögl A, Elefante S, Hornoiu A, Stadlbauer S. Managing software on a heterogenous HPC cluster. In: ASHPC21 – Austrian-Slovenian HPC Meeting 2021. University of Ljubljana; 2021:5. doi:10.3359/2021hpc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 11458 |
Peste E-A, Iofinova EB, Vladu A, Alistarh D-A. AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In: 35th Conference on Neural Information Processing Systems. Vol 34. Curran Associates; 2021:8557-8570.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10585 |
Brooks M, Lemeshko M, Lundholm D, Yakaboylu E. Emergence of anyons on the two-sphere in molecular impurities. Atoms. 2021;9(4). doi:10.3390/atoms9040106
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 13147 |
Alimisis F, Davies P, Alistarh D-A. Communication-efficient distributed optimization with quantized preconditioners. In: Proceedings of the 38th International Conference on Machine Learning. Vol 139. ML Research Press; 2021:196-206.
[Published Version]
View
| Files available
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10665 |
Henzinger TA, Lechner M, Zikelic D. Scalable verification of quantized neural networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:3787-3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10667 |
Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. Infinite time horizon safety of Bayesian neural networks. In: 35th Conference on Neural Information Processing Systems. ; 2021. doi:10.48550/arXiv.2111.03165
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Research Data Reference | IST-REx-ID: 13068 |
Randriamanantsoa S, Papargyriou A, Maurer C, et al. Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids. 2021. doi:10.5281/ZENODO.5148117
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 7551 |
Fredes Tolorza FA, Silva Sifuentes MA, Koppensteiner P, Kobayashi K, Jösch MA, Shigemoto R. Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation. Current Biology. 2021;31(1):P25-38.E5. doi:10.1016/j.cub.2020.09.074
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8373 |
Pitrik J, Virosztek D. A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means. Linear Algebra and its Applications. 2021;609:203-217. doi:10.1016/j.laa.2020.09.007
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8317 |
Aichholzer O, Akitaya HA, Cheung KC, et al. Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. 2021;93. doi:10.1016/j.comgeo.2020.101700
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 7685 |
Boccato C. The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime. Reviews in Mathematical Physics. 2021;33(1). doi:10.1142/S0129055X20600065
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8582 |
Li H, von Wangenheim D, Zhang X, et al. Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana. New Phytologist. 2021;229(1):351-369. doi:10.1111/nph.16887
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8546 |
Zhang T, Liu T, Mora N, et al. Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum. Cell Reports. 2021;35(10). doi:10.1016/j.celrep.2021.109208
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8603 |
Frank R, Seiringer R. Quantum corrections to the Pekar asymptotics of a strongly coupled polaron. Communications on Pure and Applied Mathematics. 2021;74(3):544-588. doi:10.1002/cpa.21944
[Published Version]
View
| Files available
| DOI
| WoS