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.
633 Publications
2022 | Published | Journal Article | IST-REx-ID: 17069
Zhong S, Li L, Wang Z, Ge Z, Li Q, Bleckmann A, Wang J, Song Z, Shi Y, Liu T, Li L, Zhou H, Wang Y, Zhang L, Wu H-M, Lai L, Gu H, Dong J, Cheung AY, Dresselhaus T, Qu L-J. 2022. RALF peptide signaling controls the polytubey block in Arabidopsis. Science. 375(6578), 290–296.
View
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17070 | 
Mistakidis SI, Koutentakis G, Grusdt F, Schmelcher P, Sadeghpour HR. 2022. Inducing spin-order with an impurity: phase diagram of the magnetic Bose polaron. New Journal of Physics. 24(8), 083030.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17071
Mosalaganti S, Obarska-Kosinska A, Siggel M, Taniguchi R, Turoňová B, Zimmerli CE, Buczak K, Schmidt F, Margiotta E, Mackmull M-T, Hagen WJH, Hummer G, Kosinski J, Beck M. 2022. AI-based structure prediction empowers integrative structural analysis of human nuclear pores. Science. 376(6598), abm9506.
View
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17072 |
Naqvi MM, Avellaneda Sarrió M, Roth A, Koers EJ, Roland A, Sunderlikova V, Kramer G, Rye HS, Tans SJ. 2022. Protein chain collapse modulation and folding stimulation by GroEL-ES. Science Advances. 8(9), eabl6293.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
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 | Book Chapter | IST-REx-ID: 17085 |
Floriach-Clark J, Tang H, Willemsen V. 2022.Mosses: Accessible Systems for Plant Development Studies. In: Model Organisms in Plant Genetics. .
[Published Version]
View
| DOI
| Download Published Version (ext.)
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: 17087 |
Frantar E, Singh SP, Alistarh D-A. 2022. Optimal brain compression: A framework for accurate post-training quantization and pruning. 36th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, NeurIPS, vol. 35.
[Submitted 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 | Submitted | Preprint | IST-REx-ID: 17157 |
Hausel T, Rychlewicz KP. Spectrum of equivariant cohomology as a fixed point scheme. arXiv, 2212.11836.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
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.)