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.
633 Publications
2022 | Published | Journal Article | IST-REx-ID: 17076 | 
Hillary, R. F., Gadd, D. A., McCartney, D. L., Shi, L., Campbell, A., Walker, R. M., … Marioni, R. E. (2022). Genome‐ and epigenome‐wide studies of plasma protein biomarkers for Alzheimer’s disease implicate TBCA and TREM2 in disease risk. Alzheimer’s & Dementia: Diagnosis, Assessment & Disease Monitoring. Wiley. https://doi.org/10.1002/dad2.12280
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17077 |
Ferber, A., Kwan, M. A., Narayanan, B., Sah, A., & Sawhney, M. (2022). Friendly bisections of random graphs. Communications of the American Mathematical Society. American Mathematical Society. https://doi.org/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. (2022). Mosses: Accessible Systems for Plant Development Studies. In I. Y. Abdurakhmonov (Ed.), Model Organisms in Plant Genetics. Intech Open. https://doi.org/10.5772/intechopen.100535
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17086 |
Zhang, Y., & Weinberger, N. (2022). Mean estimation in high-dimensional binary Markov Gaussian mixture models. In 36th Conference on Neural Information Processing Systems (Vol. 35). New Orleans, LA, United States: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17087 |
Frantar, E., Singh, S. P., & Alistarh, D.-A. (2022). Optimal brain compression: A framework for accurate post-training quantization and pruning. In 36th Conference on Neural Information Processing Systems (Vol. 35). New Orleans, LA, United States: ML Research Press.
[Submitted Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17088 |
Kurtic, E., Campos, D., Nguyen, T., Frantar, E., Kurtz, M., Fineran, B., … Alistarh, D.-A. (2022). 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 (pp. 4163–4181). Abu Dhabi, United Arab Emirates: Association for Computational Linguistics. 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, R. E., Bravo, J. P. K., Ramos, D., Hibshman, G. N., Wright, J. T., & Taylor, D. W. (2022). Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2022.06.15.496202
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17116 |
Schwartz, E. A., Bravo, J. P. K., Macias, L. A., McCafferty, C. L., Dangerfield, T. L., Walker, J. N., … Taylor, D. W. (n.d.). Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2022.06.13.496011
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Preprint | IST-REx-ID: 17117 |
Bravo, J. P. K., Hallmark, T., Naegle, B., Beisel, C. L., Jackson, R. N., & Taylor, D. W. (2022). Large-scale structural rearrangements unleash indiscriminate nuclease activity of CRISPR-Cas12a2. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2022.06.13.495754
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17157 |
Hausel, T., & Rychlewicz, K. P. (n.d.). Spectrum of equivariant cohomology as a fixed point scheme. arXiv. 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, Y., Kusupati, U., Panetta, J., Isvoranu, F., Pellis, D., Chen, T., & Pauly, M. (2022). Umbrella meshes: Elastic mechanisms for freeform shape deployment. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3528223.3530089
View
| DOI
2022 | Published | Journal Article | IST-REx-ID: 17501 |
Zhu, F., Sammler, M. J., Lepigre, R., Dreyer, D., & Garg, D. (2022). BFF: Foundational and automated verification of bitfield-manipulating programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3563345
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
Sammler, M. J., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J., Dreyer, D., … Sewell, P. (2022). Islaris: Verification of machine code against authoritative ISA semantics. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 825–840). San Diego, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3519939.3523434
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17503 |
Lepigre, R., Sammler, M. J., Memarian, K., Krebbers, R., Dreyer, D., & Sewell, P. (2022). VIP: Verifying real-world C idioms with integer-pointer casts. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3498681
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17504 |
Gäher, L., Sammler, M. J., Spies, S., Jung, R., Dang, H.-H., Krebbers, R., … Dreyer, D. (2022). Simuliris: A separation logic framework for verifying concurrent program optimizations. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3498689
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17526 |
Davelaar, J., & Haiman, Z. (2022). Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries. Physical Review D. American Physical Society (APS). 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., Bartos, I., D’Orazio, D. J., Haiman, Z., Kocsis, B., Leigh, N. W. C., … Tagawa, H. (2022). AGN as potential factories for eccentric black hole mergers. Nature. Springer Science and Business Media LLC. 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, J., & Haiman, Z. (2022). Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography. Physical Review Letters. American Physical Society. https://doi.org/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. (2022). How binaries accrete: Hydrodynamic simulations with passive tracer particles. The Astrophysical Journal. American Astronomical Society. 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, H., Inayoshi, K., Haiman, Z., Li, W., Quataert, E., & Kuiper, R. (2022). Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ac7daa
[Published Version]
View
| DOI
| Download Published Version (ext.)