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.
7091 Publications
2022 | Published | Journal Article | IST-REx-ID: 17076 | 
R. F. Hillary et al., “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, vol. 14, no. 1. Wiley, 2022.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17077 |
A. Ferber, M. A. Kwan, B. Narayanan, A. Sah, and M. Sawhney, “Friendly bisections of random graphs,” Communications of the American Mathematical Society, vol. 2, no. 10. American Mathematical Society, pp. 380–416, 2022.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17086 |
Y. Zhang and N. Weinberger, “Mean estimation in high-dimensional binary Markov Gaussian mixture models,” in 36th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2022, vol. 35.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17088 |
E. Kurtic 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, Abu Dhabi, United Arab Emirates, 2022, pp. 4163–4181.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 17115 |
R. E. O’Brien, J. P. K. Bravo, D. Ramos, G. N. Hibshman, J. T. Wright, and D. W. Taylor, “Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade,” bioRxiv. Cold Spring Harbor Laboratory, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17116 |
E. A. Schwartz et al., “Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Preprint | IST-REx-ID: 17117 |
J. P. K. Bravo, T. Hallmark, B. Naegle, C. L. Beisel, R. N. Jackson, and D. W. Taylor, “Large-scale structural rearrangements unleash indiscriminate nuclease activity of CRISPR-Cas12a2,” bioRxiv. Cold Spring Harbor Laboratory, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17501 |
F. Zhu, M. J. Sammler, R. Lepigre, D. Dreyer, and D. Garg, “BFF: Foundational and automated verification of bitfield-manipulating programs,” Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2. Association for Computing Machinery, pp. 1613–1638, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
M. J. Sammler 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, San Diego, CA, United States, 2022, pp. 825–840.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17503 |
R. Lepigre, M. J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, and P. Sewell, “VIP: Verifying real-world C idioms with integer-pointer casts,” Proceedings of the ACM on Programming Languages, vol. 6, no. POPL. Association for Computing Machinery, pp. 1–32, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17504 |
L. Gäher et al., “Simuliris: A separation logic framework for verifying concurrent program optimizations,” Proceedings of the ACM on Programming Languages, vol. 6, no. POPL. Association for Computing Machinery, pp. 1–31, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17526 |
J. Davelaar and Z. Haiman, “Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries,” Physical Review D, vol. 105, no. 10. American Physical Society (APS), 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17536 |
J. Samsing et al., “AGN as potential factories for eccentric black hole mergers,” Nature, vol. 603, no. 7900. Springer Science and Business Media LLC, pp. 237–240, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17547 |
J. Davelaar and Z. Haiman, “Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography,” Physical Review Letters, vol. 128, no. 19. American Physical Society, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17553 |
C. Tiede, J. Zrake, A. MacFadyen, and Z. Haiman, “How binaries accrete: Hydrodynamic simulations with passive tracer particles,” The Astrophysical Journal, vol. 932, no. 1. American Astronomical Society, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17560 |
H. Hu, K. Inayoshi, Z. Haiman, W. Li, E. Quataert, and R. Kuiper, “Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts,” The Astrophysical Journal, vol. 935, no. 2. American Astronomical Society, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17561 |
Y. Yang et al., “Tidal disruption on stellar-mass black holes in active galactic nuclei,” The Astrophysical Journal Letters, vol. 933, no. 2. American Astronomical Society, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17562 |
T. Lu, Z. Haiman, and J. M. Zorrilla Matilla, “Simultaneously constraining cosmology and baryonic physics via deep learning from weak lensing,” Monthly Notices of the Royal Astronomical Society, vol. 511, no. 1. Oxford University Press, pp. 1518–1528, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17563 |
A. Sabyr, Z. Haiman, J. M. Z. Matilla, and T. Lu, “Cosmological constraints from weak lensing peaks: Can halo models accurately predict peak counts?,” Physical Review D, vol. 105, no. 2. American Physical Society, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17568 |
H. Tagawa, S. S. Kimura, Z. Haiman, R. Perna, H. Tanaka, and I. Bartos, “Can stellar-mass black hole growth disrupt disks of active galactic nuclei? The role of mechanical feedback,” The Astrophysical Journal, vol. 927, no. 1. American Astronomical Society, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)