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.
9828 Publications
2022 | Published | Journal Article | IST-REx-ID: 17077 | 
Ferber A, Kwan MA, Narayanan B, Sah A, Sawhney M. Friendly bisections of random graphs. Communications of the American Mathematical Society. 2022;2(10):380-416. doi:10.1090/cams/13
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Book Chapter | IST-REx-ID: 17085 |
Floriach-Clark J, Tang H, Willemsen V. Mosses: Accessible Systems for Plant Development Studies. In: Abdurakhmonov IY, ed. Model Organisms in Plant Genetics. Intech Open; 2022. doi:10.5772/intechopen.100535
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17086 |
Zhang Y, Weinberger N. Mean estimation in high-dimensional binary Markov Gaussian mixture models. In: 36th Conference on Neural Information Processing Systems. Vol 35. ML Research Press; 2022.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17087 |
Frantar E, Singh SP, Alistarh D-A. Optimal brain compression: A framework for accurate post-training quantization and pruning. In: 36th Conference on Neural Information Processing Systems. Vol 35. ML Research Press; 2022.
[Submitted Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17088 |
Kurtic E, Campos D, Nguyen T, et al. The optimal BERT surgeon: Scalable and accurate second-order pruning for large language models. In: Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics; 2022:4163-4181. doi:10.18653/v1/2022.emnlp-main.279
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 17115 |
O’Brien RE, Bravo JPK, Ramos D, Hibshman GN, Wright JT, Taylor DW. Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade. bioRxiv. 2022. doi:10.1101/2022.06.15.496202
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17116 |
Schwartz EA, Bravo JPK, Macias LA, et al. Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex. bioRxiv. doi:10.1101/2022.06.13.496011
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Preprint | IST-REx-ID: 17117 |
Bravo JPK, Hallmark T, Naegle B, Beisel CL, Jackson RN, Taylor DW. Large-scale structural rearrangements unleash indiscriminate nuclease activity of CRISPR-Cas12a2. bioRxiv. 2022. doi:10.1101/2022.06.13.495754
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17157 |
Hausel T, Rychlewicz KP. Spectrum of equivariant cohomology as a fixed point scheme. arXiv. doi:10.48550/arXiv.2212.11836
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17383
Ren Y, Kusupati U, Panetta J, et al. Umbrella meshes: Elastic mechanisms for freeform shape deployment. ACM Transactions on Graphics. 2022;41(4):1-15. doi:10.1145/3528223.3530089
View
| DOI
2022 | Published | Journal Article | IST-REx-ID: 17501 |
Zhu F, Sammler MJ, Lepigre R, Dreyer D, Garg D. BFF: Foundational and automated verification of bitfield-manipulating programs. Proceedings of the ACM on Programming Languages. 2022;6(OOPSLA2):1613-1638. doi:10.1145/3563345
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
Sammler MJ, Hammond A, Lepigre R, et al. Islaris: Verification of machine code against authoritative ISA semantics. In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2022:825-840. doi:10.1145/3519939.3523434
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17503 |
Lepigre R, Sammler MJ, Memarian K, Krebbers R, Dreyer D, Sewell P. VIP: Verifying real-world C idioms with integer-pointer casts. Proceedings of the ACM on Programming Languages. 2022;6(POPL):1-32. doi:10.1145/3498681
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17504 |
Gäher L, Sammler MJ, Spies S, et al. Simuliris: A separation logic framework for verifying concurrent program optimizations. Proceedings of the ACM on Programming Languages. 2022;6(POPL):1-31. doi:10.1145/3498689
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17526 |
Davelaar J, Haiman Z. Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries. Physical Review D. 2022;105(10). doi:10.1103/physrevd.105.103010
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17536 |
Samsing J, Bartos I, D’Orazio DJ, et al. AGN as potential factories for eccentric black hole mergers. Nature. 2022;603(7900):237-240. doi:10.1038/s41586-021-04333-1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17547 |
Davelaar J, Haiman Z. Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography. Physical Review Letters. 2022;128(19). doi:10.1103/physrevlett.128.191101
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17553 |
Tiede C, Zrake J, MacFadyen A, Haiman Z. How binaries accrete: Hydrodynamic simulations with passive tracer particles. The Astrophysical Journal. 2022;932(1). doi:10.3847/1538-4357/ac6c2b
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17560 |
Hu H, Inayoshi K, Haiman Z, Li W, Quataert E, Kuiper R. Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts. The Astrophysical Journal. 2022;935(2). doi:10.3847/1538-4357/ac7daa
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17561 |
Yang Y, Bartos I, Fragione G, et al. Tidal disruption on stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. 2022;933(2). doi:10.3847/2041-8213/ac7c0b
[Published Version]
View
| DOI
| Download Published Version (ext.)