King's College School

Forschungsprojekte

• Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic None of the first-order modal logics between $\mathsf{K}$ and $\mathsf{S5}$ under the constant domain semanti…
• Hyperspectral abdominal laparoscopy with real-time quantitative tissue oxygenation imaging: a live porcine study Background Ischaemia is a critical complication, and can result in poor surgical outcomes. While intra-operat…