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 | 
Hillary RF, Gadd DA, McCartney DL, Shi L, Campbell A, Walker RM, Ritchie CW, Deary IJ, Evans KL, Nevado‐Holgado AJ, Hayward C, Porteous DJ, McIntosh AM, Lovestone S, Robinson MR, Marioni RE. 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. 14(1), e12280.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17077 |
Ferber A, Kwan MA, Narayanan B, Sah A, Sawhney M. 2022. Friendly bisections of random graphs. Communications of the American Mathematical Society. 2(10), 380–416.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17086 |
Zhang Y, Weinberger N. 2022. Mean estimation in high-dimensional binary Markov Gaussian mixture models. 36th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, NeurIPS, vol. 35.
[Published 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, Goin M, Alistarh D-A. 2022. The optimal BERT surgeon: Scalable and accurate second-order pruning for large language models. Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing. EMNLP: Conference on Empirical Methods in Natural Language Processing, 4163–4181.
[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. 2022. Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade. bioRxiv, 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, McCafferty CL, Dangerfield TL, Walker JN, Brodbelt JS, Fineran PC, Fagerlund RD, Taylor DW. Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex. bioRxiv, 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. 2022. Large-scale structural rearrangements unleash indiscriminate nuclease activity of CRISPR-Cas12a2. bioRxiv, 10.1101/2022.06.13.495754.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17501 |
Zhu F, Sammler MJ, Lepigre R, Dreyer D, Garg D. 2022. BFF: Foundational and automated verification of bitfield-manipulating programs. Proceedings of the ACM on Programming Languages. 6(OOPSLA2), 1613–1638.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
Sammler MJ, Hammond A, Lepigre R, Campbell B, Pichon-Pharabod J, Dreyer D, Garg D, Sewell P. 2022. Islaris: Verification of machine code against authoritative ISA semantics. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Conference on Programming Language Design and Implementation, 825–840.
[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. 2022. VIP: Verifying real-world C idioms with integer-pointer casts. Proceedings of the ACM on Programming Languages. 6(POPL), 1–32.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17504 |
Gäher L, Sammler MJ, Spies S, Jung R, Dang H-H, Krebbers R, Kang J, Dreyer D. 2022. Simuliris: A separation logic framework for verifying concurrent program optimizations. Proceedings of the ACM on Programming Languages. 6(POPL), 1–31.
[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. 105(10), 103010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17536 |
Samsing J, Bartos I, D’Orazio DJ, Haiman Z, Kocsis B, Leigh NWC, Liu B, Pessah ME, Tagawa H. 2022. AGN as potential factories for eccentric black hole mergers. Nature. 603(7900), 237–240.
[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. 128(19), 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. 932(1), 24.
[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. 935(2), 140.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17561 |
Yang Y, Bartos I, Fragione G, Haiman Z, Kowalski M, Márka S, Perna R, Tagawa H. 2022. Tidal disruption on stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. 933(2), L28.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17562 |
Lu T, Haiman Z, Zorrilla Matilla JM. 2022. Simultaneously constraining cosmology and baryonic physics via deep learning from weak lensing. Monthly Notices of the Royal Astronomical Society. 511(1), 1518–1528.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17563 |
Sabyr A, Haiman Z, Matilla JMZ, Lu T. 2022. Cosmological constraints from weak lensing peaks: Can halo models accurately predict peak counts? Physical Review D. 105(2), 023505.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17568 |
Tagawa H, Kimura SS, Haiman Z, Perna R, Tanaka H, Bartos I. 2022. Can stellar-mass black hole growth disrupt disks of active galactic nuclei? The role of mechanical feedback. The Astrophysical Journal. 927(1), 41.
[Published Version]
View
| DOI
| Download Published Version (ext.)