VoxLogicA UI：支持声明性医学图像分析的界面设计

本文报告了计算机科学硕士论文中的工作，聚焦于为 VoxLogicA（一种利用空间模型检查进行图像分析的工具，专注于神经影像）设计和构建用户友好界面的工作。该研究聚焦于解决现有工具过于复杂，导致医学专业人员和研究人员难以使用的难题。通过采用空间逻辑，旨在让这些强大的分析工具在实际临床环境中更加实用和可访问。主要目标是设计一个易于使用的现代 Web 界面，利用最新的 Web 技术（如 Svelte 和 Niivue）进行构建，并通过用户研究和真实案例分析进行效果测试。