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.
10506 Publications
2022 | Published | Journal Article | IST-REx-ID: 17070 | 
Mistakidis, S. I., et al. “Inducing Spin-Order with an Impurity: Phase Diagram of the Magnetic Bose Polaron.” New Journal of Physics, vol. 24, no. 8, 083030, IOP Publishing, 2022, doi:10.1088/1367-2630/ac836c.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17071
Mosalaganti, Shyamal, et al. “AI-Based Structure Prediction Empowers Integrative Structural Analysis of Human Nuclear Pores.” Science, vol. 376, no. 6598, abm9506, American Association for the Advancement of Science, 2022, doi:10.1126/science.abm9506.
View
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17072 |
Naqvi, Mohsin M., et al. “Protein Chain Collapse Modulation and Folding Stimulation by GroEL-ES.” Science Advances, vol. 8, no. 9, eabl6293, American Association for the Advancement of Science, 2022, doi:10.1126/sciadv.abl6293.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Book Chapter | IST-REx-ID: 17075
Palacín, Manuel, et al. “Amino Acid Transport Defects.” Physician’s Guide to the Diagnosis, Treatment, and Follow-Up of Inherited Metabolic Diseases, edited by Nenad Blau et al., 2nd ed., Springer Nature, 2022, pp. 291–312, doi:10.1007/978-3-030-67727-5_18.
View
| DOI
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: 17084 |
Aichholzer, Oswin, et al. “Hardness of Token Swapping on Trees.” 30th Annual European Symposium on Algorithms, vol. 244, 3, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.ESA.2022.3.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Book Chapter | IST-REx-ID: 17085 |
Floriach-Clark, Jordi, et al. “Mosses: Accessible Systems for Plant Development Studies.” Model Organisms in Plant Genetics, edited by Ibrokhim Y. Abdurakhmonov, Intech Open, 2022, doi: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.” 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, et al. “Optimal Brain Compression: A Framework for Accurate Post-Training Quantization and Pruning.” 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, 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: 17383
Ren, Yingying, et al. “Umbrella Meshes: Elastic Mechanisms for Freeform Shape Deployment.” ACM Transactions on Graphics, vol. 41, no. 4, Association for Computing Machinery, 2022, pp. 1–15, doi:10.1145/3528223.3530089.
View
| DOI
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.)