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, Asaf, Matthew Alan Kwan, Bhargav Narayanan, Ashwin Sah, and Mehtaab Sawhney. “Friendly Bisections of Random Graphs.” Communications of the American Mathematical Society. American Mathematical Society, 2022. https://doi.org/10.1090/cams/13.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Book Chapter | IST-REx-ID: 17085 |
Floriach-Clark, Jordi, Han Tang, and Viola Willemsen. “Mosses: Accessible Systems for Plant Development Studies.” In Model Organisms in Plant Genetics, edited by Ibrokhim Y. Abdurakhmonov. Intech Open, 2022. https://doi.org/10.5772/intechopen.100535.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17086 |
Zhang, Yihan, and Nir Weinberger. “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, Elias, Sidak Pal Singh, and Dan-Adrian Alistarh. “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, Eldar, Daniel Campos, Tuan Nguyen, Elias Frantar, Mark Kurtz, Benjamin Fineran, Michael Goin, and Dan-Adrian Alistarh. “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, 4163–81. Association for Computational Linguistics, 2022. https://doi.org/10.18653/v1/2022.emnlp-main.279.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 17115 |
O’Brien, Roisin E., Jack Peter Kelly Bravo, Delisa Ramos, Grace N. Hibshman, Jacquelyn T. Wright, and David W. Taylor. “Modes of Inhibition Used by Phage Anti-CRISPRs to Evade Type I-C Cascade.” BioRxiv. Cold Spring Harbor Laboratory, 2022. https://doi.org/10.1101/2022.06.15.496202.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17116 |
Schwartz, Evan A., Jack Peter Kelly Bravo, Luis A. Macias, Caitlyn L. McCafferty, Tyler L. Dangerfield, Jada N. Walker, Jennifer S. Brodbelt, Peter C. Fineran, Robert D. Fagerlund, and David W. Taylor. “Assembly of Multi-Subunit Fusion Proteins into the RNA-Targeting Type III-D CRISPR-Cas Effector Complex.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2022.06.13.496011.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Preprint | IST-REx-ID: 17117 |
Bravo, Jack Peter Kelly, Thom Hallmark, Bronson Naegle, Chase L. Beisel, Ryan N. Jackson, and David W. Taylor. “Large-Scale Structural Rearrangements Unleash Indiscriminate Nuclease Activity of CRISPR-Cas12a2.” BioRxiv. Cold Spring Harbor Laboratory, 2022. https://doi.org/10.1101/2022.06.13.495754.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17157 |
Hausel, Tamás, and Kamil P Rychlewicz. “Spectrum of Equivariant Cohomology as a Fixed Point Scheme.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2212.11836.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17383
Ren, Yingying, Uday Kusupati, Julian Panetta, Florin Isvoranu, Davide Pellis, Tian Chen, and Mark Pauly. “Umbrella Meshes: Elastic Mechanisms for Freeform Shape Deployment.” ACM Transactions on Graphics. Association for Computing Machinery, 2022. https://doi.org/10.1145/3528223.3530089.
View
| DOI
2022 | Published | Journal Article | IST-REx-ID: 17501 |
Zhu, Fengmin, Michael Joachim Sammler, Rodolphe Lepigre, Derek Dreyer, and Deepak Garg. “BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3563345.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
Sammler, Michael Joachim, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell. “Islaris: Verification of Machine Code against Authoritative ISA Semantics.” In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 825–40. Association for Computing Machinery, 2022. https://doi.org/10.1145/3519939.3523434.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17503 |
Lepigre, Rodolphe, Michael Joachim Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, and Peter Sewell. “VIP: Verifying Real-World C Idioms with Integer-Pointer Casts.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3498681.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17504 |
Gäher, Lennard, Michael Joachim Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, and Derek Dreyer. “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3498689.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17526 |
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Black Hole Binaries.” Physical Review D. American Physical Society (APS), 2022. https://doi.org/10.1103/physrevd.105.103010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17536 |
Samsing, J., I. Bartos, D. J. D’Orazio, Zoltán Haiman, B. Kocsis, N. W. C. Leigh, B. Liu, M. E. Pessah, and H. Tagawa. “AGN as Potential Factories for Eccentric Black Hole Mergers.” Nature. Springer Science and Business Media LLC, 2022. https://doi.org/10.1038/s41586-021-04333-1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17547 |
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: Observing Black Hole Shadows via Light Curve Tomography.” Physical Review Letters. American Physical Society, 2022. https://doi.org/10.1103/physrevlett.128.191101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17553 |
Tiede, Christopher, Jonathan Zrake, Andrew MacFadyen, and Zoltán Haiman. “How Binaries Accrete: Hydrodynamic Simulations with Passive Tracer Particles.” The Astrophysical Journal. American Astronomical Society, 2022. https://doi.org/10.3847/1538-4357/ac6c2b.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17560 |
Hu, Haojie, Kohei Inayoshi, Zoltán Haiman, Wenxiu Li, Eliot Quataert, and Rolf Kuiper. “Supercritical Growth Pathway to Overmassive Black Holes at Cosmic Dawn: Coevolution with Massive Quasar Hosts.” The Astrophysical Journal. American Astronomical Society, 2022. https://doi.org/10.3847/1538-4357/ac7daa.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17561 |
Yang, Y., I. Bartos, G. Fragione, Zoltán Haiman, M. Kowalski, S. Márka, R. Perna, and H. Tagawa. “Tidal Disruption on Stellar-Mass Black Holes in Active Galactic Nuclei.” The Astrophysical Journal Letters. American Astronomical Society, 2022. https://doi.org/10.3847/2041-8213/ac7c0b.
[Published Version]
View
| DOI
| Download Published Version (ext.)