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 SI, Koutentakis G, Grusdt F, Schmelcher P, Sadeghpour HR. Inducing spin-order with an impurity: phase diagram of the magnetic Bose polaron. New Journal of Physics. 2022;24(8). doi:10.1088/1367-2630/ac836c
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17071
Mosalaganti S, Obarska-Kosinska A, Siggel M, et al. AI-based structure prediction empowers integrative structural analysis of human nuclear pores. Science. 2022;376(6598). doi:10.1126/science.abm9506
View
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17072 |
Naqvi MM, Avellaneda Sarrió M, Roth A, et al. Protein chain collapse modulation and folding stimulation by GroEL-ES. Science Advances. 2022;8(9). doi:10.1126/sciadv.abl6293
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Book Chapter | IST-REx-ID: 17075
Palacín M, Bröer S, Novarino G. Amino Acid Transport Defects. In: Blau N, Vici CD, Ferreira CR, Vianey-Saban C, van Karnebeek CDM, eds. Physician’s Guide to the Diagnosis, Treatment, and Follow-Up of Inherited Metabolic Diseases. 2nd ed. Cham: Springer Nature; 2022:291-312. doi:10.1007/978-3-030-67727-5_18
View
| DOI
2022 | Published | Journal Article | IST-REx-ID: 17076 |
Hillary RF, Gadd DA, McCartney DL, 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. 2022;14(1). doi:10.1002/dad2.12280
[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. Friendly bisections of random graphs. Communications of the American Mathematical Society. 2022;2(10):380-416. doi:10.1090/cams/13
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17084 |
Aichholzer O, Demaine ED, Korman M, et al. Hardness of token swapping on trees. In: 30th Annual European Symposium on Algorithms. Vol 244. 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 J, Tang H, Willemsen V. Mosses: Accessible Systems for Plant Development Studies. In: Abdurakhmonov IY, ed. Model Organisms in Plant Genetics. 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 Y, Weinberger N. Mean estimation in high-dimensional binary Markov Gaussian mixture models. In: 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 E, Singh SP, Alistarh D-A. Optimal brain compression: A framework for accurate post-training quantization and pruning. In: 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 E, Campos D, Nguyen T, 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. Association for Computational Linguistics; 2022:4163-4181. doi:10.18653/v1/2022.emnlp-main.279
[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. Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade. bioRxiv. 2022. doi: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, et al. Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex. bioRxiv. doi: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. Large-scale structural rearrangements unleash indiscriminate nuclease activity of CRISPR-Cas12a2. bioRxiv. 2022. doi:10.1101/2022.06.13.495754
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17383
Ren Y, Kusupati U, Panetta J, et al. Umbrella meshes: Elastic mechanisms for freeform shape deployment. ACM Transactions on Graphics. 2022;41(4):1-15. doi:10.1145/3528223.3530089
View
| DOI
2022 | Published | Journal Article | IST-REx-ID: 17501 |
Zhu F, Sammler MJ, Lepigre R, Dreyer D, Garg D. BFF: Foundational and automated verification of bitfield-manipulating programs. Proceedings of the ACM on Programming Languages. 2022;6(OOPSLA2):1613-1638. doi:10.1145/3563345
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
Sammler MJ, Hammond A, Lepigre R, 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. Association for Computing Machinery; 2022:825-840. doi:10.1145/3519939.3523434
[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. VIP: Verifying real-world C idioms with integer-pointer casts. Proceedings of the ACM on Programming Languages. 2022;6(POPL):1-32. doi:10.1145/3498681
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17504 |
Gäher L, Sammler MJ, Spies S, et al. Simuliris: A separation logic framework for verifying concurrent program optimizations. Proceedings of the ACM on Programming Languages. 2022;6(POPL):1-31. doi:10.1145/3498689
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17526 |
Davelaar J, Haiman Z. Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries. Physical Review D. 2022;105(10). doi:10.1103/physrevd.105.103010
[Published Version]
View
| DOI
| Download Published Version (ext.)