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.

7668 Publications


2022 | Published | Journal Article | IST-REx-ID: 17066 | OA
A caspase–RhoGEF axis contributes to the cell size threshold for apoptotic death in developing Caenorhabditis elegans
A. Sethi, H. Wei, N. Mishra, I. Segos, E.J. Lambie, E. Zanin, B. Conradt, PLOS Biology 20 (2022).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 17067 | OA
Doublecortin mutation leads to persistent defects in the Golgi apparatus and mitochondria in adult hippocampal pyramidal cells
M.A. Stouffer, R. Khalaf-Nazzal, C. Cifuentes-Diaz, G. Albertini, E. Bandet, G. Grannec, V. Lavilla, J.-F. Deleuze, R. Olaso, M. Nosten-Bertrand, F. Francis, Neurobiology of Disease 168 (2022).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 17068 | OA
TOPLESS promotes plant immunity by repressing auxin signaling and is targeted by the fungal effector Naked1
F. Navarrete, M.C. Gallei, A.E. Kornienko, I. Saado, M. Khan, K.-S. Chia, M.A. Darino, J. Bindics, A. Djamei, Plant Communications 3 (2022).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 17069 | OA
RALF peptide signaling controls the polytubey block in Arabidopsis
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 17070 | OA
Inducing spin-order with an impurity: phase diagram of the magnetic Bose polaron
S.I. Mistakidis, G. Koutentakis, F. Grusdt, P. Schmelcher, H.R. Sadeghpour, New Journal of Physics 24 (2022).
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 17072 | OA
Protein chain collapse modulation and folding stimulation by GroEL-ES
M.M. Naqvi, M. Avellaneda Sarrió, A. Roth, E.J. Koers, A. Roland, V. Sunderlikova, G. Kramer, H.S. Rye, S.J. Tans, Science Advances 8 (2022).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 17076 | OA
Genome‐ and epigenome‐wide studies of plasma protein biomarkers for Alzheimer's disease implicate TBCA and TREM2 in disease risk
R.F. Hillary, D.A. Gadd, D.L. McCartney, L. Shi, A. Campbell, R.M. Walker, C.W. Ritchie, I.J. Deary, K.L. Evans, A.J. Nevado‐Holgado, C. Hayward, D.J. Porteous, A.M. McIntosh, S. Lovestone, M.R. Robinson, R.E. Marioni, Alzheimer’s & Dementia: Diagnosis, Assessment & Disease Monitoring 14 (2022).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 17077 | OA
Friendly bisections of random graphs
A. Ferber, M.A. Kwan, B. Narayanan, A. Sah, M. Sawhney, Communications of the American Mathematical Society 2 (2022) 380–416.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 17084 | OA
Hardness of token swapping on trees
O. Aichholzer, E.D. Demaine, M. Korman, A. Lubiw, J. Lynch, Z. Masárová, M. Rudoy, V. Vassilevska Williams, N. Wein, in:, 30th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Book Chapter | IST-REx-ID: 17085 | OA
Mosses: Accessible Systems for Plant Development Studies
J. Floriach-Clark, H. Tang, V. Willemsen, in:, I.Y. Abdurakhmonov (Ed.), Model Organisms in Plant Genetics, IntechOpen, 2022.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Conference Paper | IST-REx-ID: 17086 | OA
Mean estimation in high-dimensional binary Markov Gaussian mixture models
Y. Zhang, N. Weinberger, in:, 36th Conference on Neural Information Processing Systems, ML Research Press, 2022.
[Published Version] View | Files available | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 17087 | OA
Optimal brain compression: A framework for accurate post-training quantization and pruning
E. Frantar, S.P. Singh, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, ML Research Press, 2022.
[Submitted Version] View | Files available | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 17088 | OA
The optimal BERT surgeon: Scalable and accurate second-order pruning for large language models
E. Kurtic, D. Campos, T. Nguyen, E. Frantar, M. Kurtz, B. Fineran, M. Goin, D.-A. Alistarh, in:, Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, Association for Computational Linguistics, 2022, pp. 4163–4181.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Preprint | IST-REx-ID: 17115 | OA
Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade
R.E. O’Brien, J.P.K. Bravo, D. Ramos, G.N. Hibshman, J.T. Wright, D.W. Taylor, BioRxiv (2022).
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Submitted | Preprint | IST-REx-ID: 17116 | OA
Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex
E.A. Schwartz, J.P.K. Bravo, L.A. Macias, C.L. McCafferty, T.L. Dangerfield, J.N. Walker, J.S. Brodbelt, P.C. Fineran, R.D. Fagerlund, D.W. Taylor, BioRxiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Published | Preprint | IST-REx-ID: 17117 | OA
Large-scale structural rearrangements unleash indiscriminate nuclease activity of CRISPR-Cas12a2
J.P.K. Bravo, T. Hallmark, B. Naegle, C.L. Beisel, R.N. Jackson, D.W. Taylor, BioRxiv (2022).
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Draft | Preprint | IST-REx-ID: 17157 | OA
Spectrum of equivariant cohomology as a fixed point scheme
T. Hausel, K.P. Rychlewicz, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 17501 | OA
BFF: Foundational and automated verification of bitfield-manipulating programs
F. Zhu, M.J. Sammler, R. Lepigre, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 6 (2022) 1613–1638.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Conference Paper | IST-REx-ID: 17502 | OA
Islaris: Verification of machine code against authoritative ISA semantics
M.J. Sammler, A. Hammond, R. Lepigre, B. Campbell, J. Pichon-Pharabod, D. Dreyer, D. Garg, P. Sewell, in:, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 825–840.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17503 | OA
VIP: Verifying real-world C idioms with integer-pointer casts
R. Lepigre, M.J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, P. Sewell, Proceedings of the ACM on Programming Languages 6 (2022) 1–32.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed