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.
4960 Publications
2020 | Conference Paper | IST-REx-ID: 8722 | 
Li S, Tal Ben-Nun TB-N, Girolamo SD, Alistarh D-A, Hoefler T. Taming unbalanced training workloads in deep learning with partial collective operations. In: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2020:45-61. doi:10.1145/3332466.3374528
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8744 |
Schulte L, Mao J, Reitz J, et al. Cysteine oxidation and disulfide formation in the ribosomal exit tunnel. Nature Communications. 2020;11. doi:10.1038/s41467-020-19372-x
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8747
Zhang Y, Liu Y, Calcabrini M, et al. Bismuth telluride-copper telluride nanocomposites from heterostructured building blocks. Journal of Materials Chemistry C. 2020;8(40):14092-14099. doi:10.1039/D0TC02182B
View
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8767 |
Kaveh K, McAvoy A, Chatterjee K, Nowak MA. The Moran process on 2-chromatic graphs. PLOS Computational Biology. 2020;16(11). doi:10.1371/journal.pcbi.1008402
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8750 |
Forets M, Freire D, Schilling C. Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. In: 18th ACM-IEEE International Conference on Formal Methods and Models for System Design. IEEE; 2020. doi:10.1109/MEMOCODE51338.2020.9314994
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv