From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging
Recent research on formal verification for Collective Adaptive Systems (CAS) pushed advancements in spatial and spatio-temporal model checking, and as a side result provided novel image analysis methodologies, rooted in logical methods for topological spaces. Medical Imaging (MI) is a field where s...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2016-07-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1607.02235v1 |
| _version_ | 1819261491616940032 |
|---|---|
| author | Gina Belmonte Vincenzo Ciancia Diego Latella Mieke Massink |
| author_facet | Gina Belmonte Vincenzo Ciancia Diego Latella Mieke Massink |
| author_sort | Gina Belmonte |
| collection | DOAJ |
| description | Recent research on formal verification for Collective Adaptive Systems (CAS) pushed advancements in spatial and spatio-temporal model checking, and as a side result provided novel image analysis methodologies, rooted in logical methods for topological spaces. Medical Imaging (MI) is a field where such technologies show potential for ground-breaking innovation. In this position paper, we present a preliminary investigation centred on applications of spatial model checking to MI. The focus is shifted from pure logics to a mixture of logical, statistical and algorithmic approaches, driven by the logical nature intrinsic to the specification of the properties of interest in the field. As a result, novel operators are introduced, that could as well be brought back to the setting of CAS. |
| first_indexed | 2024-12-23T19:42:39Z |
| format | Article |
| id | doaj.art-1420478a0c3b4382ba5adc7c7f224e53 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-23T19:42:39Z |
| publishDate | 2016-07-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-1420478a0c3b4382ba5adc7c7f224e532022-12-21T17:33:38ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-07-01217Proc. FORECAST 2016819210.4204/EPTCS.217.10:5From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical ImagingGina Belmonte0Vincenzo Ciancia1Diego Latella2Mieke Massink3 Azienda Ospedaliera Universitaria Senese - Siena - Italy Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" - Consiglio Nazionale delle Ricerche - Pisa - Italy Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" - Consiglio Nazionale delle Ricerche - Pisa - Italy Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" - Consiglio Nazionale delle Ricerche - Pisa - Italy Recent research on formal verification for Collective Adaptive Systems (CAS) pushed advancements in spatial and spatio-temporal model checking, and as a side result provided novel image analysis methodologies, rooted in logical methods for topological spaces. Medical Imaging (MI) is a field where such technologies show potential for ground-breaking innovation. In this position paper, we present a preliminary investigation centred on applications of spatial model checking to MI. The focus is shifted from pure logics to a mixture of logical, statistical and algorithmic approaches, driven by the logical nature intrinsic to the specification of the properties of interest in the field. As a result, novel operators are introduced, that could as well be brought back to the setting of CAS.http://arxiv.org/pdf/1607.02235v1 |
| spellingShingle | Gina Belmonte Vincenzo Ciancia Diego Latella Mieke Massink From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging Electronic Proceedings in Theoretical Computer Science |
| title | From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging |
| title_full | From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging |
| title_fullStr | From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging |
| title_full_unstemmed | From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging |
| title_short | From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging |
| title_sort | from collective adaptive systems to human centric computation and back spatial model checking for medical imaging |
| url | http://arxiv.org/pdf/1607.02235v1 |
| work_keys_str_mv | AT ginabelmonte fromcollectiveadaptivesystemstohumancentriccomputationandbackspatialmodelcheckingformedicalimaging AT vincenzociancia fromcollectiveadaptivesystemstohumancentriccomputationandbackspatialmodelcheckingformedicalimaging AT diegolatella fromcollectiveadaptivesystemstohumancentriccomputationandbackspatialmodelcheckingformedicalimaging AT miekemassink fromcollectiveadaptivesystemstohumancentriccomputationandbackspatialmodelcheckingformedicalimaging |