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, Robert F., 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, e12280, Wiley, 2022, doi:10.1002/dad2.12280.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17077 |
Ferber, Asaf, et al. “Friendly Bisections of Random Graphs.” Communications of the American Mathematical Society, vol. 2, no. 10, American Mathematical Society, 2022, pp. 380–416, doi:10.1090/cams/13.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17086 |
Zhang, Yihan, and Nir Weinberger. “Mean Estimation in High-Dimensional Binary Markov Gaussian Mixture Models.” 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: 17088 |
Kurtic, Eldar, et al. “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, Association for Computational Linguistics, 2022, pp. 4163–81, doi: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., et al. “Modes of Inhibition Used by Phage Anti-CRISPRs to Evade Type I-C Cascade.” BioRxiv, Cold Spring Harbor Laboratory, 2022, doi:10.1101/2022.06.15.496202.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17116 |
Schwartz, Evan A., et al. “Assembly of Multi-Subunit Fusion Proteins into the RNA-Targeting Type III-D CRISPR-Cas Effector Complex.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2022.06.13.496011.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Preprint | IST-REx-ID: 17117 |
Bravo, Jack Peter Kelly, et al. “Large-Scale Structural Rearrangements Unleash Indiscriminate Nuclease Activity of CRISPR-Cas12a2.” BioRxiv, Cold Spring Harbor Laboratory, 2022, doi:10.1101/2022.06.13.495754.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17501 |
Zhu, Fengmin, et al. “BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs.” Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2, Association for Computing Machinery, 2022, pp. 1613–38, doi:10.1145/3563345.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
Sammler, Michael Joachim, et al. “Islaris: Verification of Machine Code against Authoritative ISA Semantics.” Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 825–40, doi:10.1145/3519939.3523434.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17503 |
Lepigre, Rodolphe, et al. “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, 2022, pp. 1–32, doi:10.1145/3498681.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17504 |
Gäher, Lennard, 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, 2022, pp. 1–31, doi: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, vol. 105, no. 10, 103010, American Physical Society (APS), 2022, doi:10.1103/physrevd.105.103010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17536 |
Samsing, J., et al. “AGN as Potential Factories for Eccentric Black Hole Mergers.” Nature, vol. 603, no. 7900, Springer Science and Business Media LLC, 2022, pp. 237–40, doi: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, vol. 128, no. 19, 191101, American Physical Society, 2022, doi:10.1103/physrevlett.128.191101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17553 |
Tiede, Christopher, et al. “How Binaries Accrete: Hydrodynamic Simulations with Passive Tracer Particles.” The Astrophysical Journal, vol. 932, no. 1, 24, American Astronomical Society, 2022, doi:10.3847/1538-4357/ac6c2b.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17560 |
Hu, Haojie, et al. “Supercritical Growth Pathway to Overmassive Black Holes at Cosmic Dawn: Coevolution with Massive Quasar Hosts.” The Astrophysical Journal, vol. 935, no. 2, 140, American Astronomical Society, 2022, doi:10.3847/1538-4357/ac7daa.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17561 |
Yang, Y., et al. “Tidal Disruption on Stellar-Mass Black Holes in Active Galactic Nuclei.” The Astrophysical Journal Letters, vol. 933, no. 2, L28, American Astronomical Society, 2022, doi:10.3847/2041-8213/ac7c0b.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17562 |
Lu, Tianhuan, et al. “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, 2022, pp. 1518–28, doi:10.1093/mnras/stac161.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17563 |
Sabyr, Alina, et al. “Cosmological Constraints from Weak Lensing Peaks: Can Halo Models Accurately Predict Peak Counts?” Physical Review D, vol. 105, no. 2, 023505, American Physical Society, 2022, doi:10.1103/physrevd.105.023505.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17568 |
Tagawa, Hiromichi, et al. “Can Stellar-Mass Black Hole Growth Disrupt Disks of Active Galactic Nuclei? The Role of Mechanical Feedback.” The Astrophysical Journal, vol. 927, no. 1, 41, American Astronomical Society, 2022, doi:10.3847/1538-4357/ac45f8.
[Published Version]
View
| DOI
| Download Published Version (ext.)