People filter results

Verified self-explaining computation

Jan Stolarek and James Cheney. Verified self-explaining computation. In Proceedings of the 13th International Conference on Mathematics of Program Construction (MPC 2019), p. 76–102, 2019.

The Repertoire of Serous Ovarian Cancer Non-genetic Heterogeneity Revealed by Single-Cell Sequencing of Normal Fallopian Tube Epithelial Cells

The inter-differentiation between cell states promotes cancer cell survival under stress and fosters non-genetic...

Hu, Z., Artibani, M., Alsaadi, A., Wietek, N., et. al, The Repertoire of Serous Ovarian Cancer Non-genetic Heterogeneity Revealed by Single-Cell Sequencing of Normal Fallopian Tube Epithelial Cells, Cancer Cell, Volume 37, Issue 2, 2020, Pages 226-242.e7, ISSN 1535-6108,https://doi.org/10.1016/j.ccell.2020.01.003.