Innovating Medical Image Analysis via Spatial Logics
- 9 October 2019
- book chapter
- other
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- VoxLogicA: A Spatial Model Checker for Declarative Image AnalysisPublished by Springer Science and Business Media LLC ,2019
- Spatial logics and model checking for medical imagingInternational Journal on Software Tools for Technology Transfer, 2019
- ESMRMB 2017, 34th Annual Scientific Meeting, Barcelona, ES, October 19–October 21: Abstracts, SaturdayMagnetic Resonance Materials in Physics, Biology and Medicine, 2017
- Monitoring mobile and spatially distributed cyber-physical systemsPublished by Association for Computing Machinery (ACM) ,2017
- From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical ImagingElectronic Proceedings in Theoretical Computer Science, 2016
- An Experimental Spatio-Temporal Model CheckerPublished by Springer Science and Business Media LLC ,2015
- Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location DataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2014
- Handbook of Spatial LogicsPublished by Springer Science and Business Media LLC ,2007
- Modal Logics of SpacePublished by Springer Science and Business Media LLC ,2007
- Twenty New Digital Brain Phantoms for Creation of Validation Image Data BasesIEEE Transactions on Medical Imaging, 2006