{"data":{"id":"10.48550/arxiv.1607.02235","type":"dois","attributes":{"doi":"10.48550/arxiv.1607.02235","prefix":"10.48550","suffix":"arxiv.1607.02235","identifiers":[{"identifier":"1607.02235","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"1607.02235"}],"creators":[{"name":"Belmonte, Gina","nameType":"Personal","givenName":"Gina","familyName":"Belmonte","affiliation":["Azienda Ospedaliera Universitaria Senese"],"nameIdentifiers":[]},{"name":"Ciancia, Vincenzo","nameType":"Personal","givenName":"Vincenzo","familyName":"Ciancia","affiliation":["Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", Consiglio Nazionale delle Ricerche"],"nameIdentifiers":[]},{"name":"Latella, Diego","nameType":"Personal","givenName":"Diego","familyName":"Latella","affiliation":["Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", Consiglio Nazionale delle Ricerche"],"nameIdentifiers":[]},{"name":"Massink, Mieke","nameType":"Personal","givenName":"Mieke","familyName":"Massink","affiliation":["Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", Consiglio Nazionale delle Ricerche"],"nameIdentifiers":[]}],"titles":[{"title":"From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging"}],"publisher":"arXiv","container":{},"publicationYear":2016,"subjects":[{"lang":"en","subject":"Logic in Computer Science (cs.LO)","subjectScheme":"arXiv"},{"lang":"en","subject":"Computer Vision and Pattern Recognition (cs.CV)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"D.2.4 model checking; F.4.1 modal logic; J.3 medical information systems","subjectScheme":"ACM"}],"contributors":[],"dates":[{"date":"2016-07-08T05:37:08Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2016-07-11T00:04:47Z","dateType":"Updated","dateInformation":"v1"},{"date":"2016-07","dateType":"Available","dateInformation":"v1"},{"date":"2016","dateType":"Issued"}],"language":null,"types":{"ris":"RPRT","bibtex":"article","citeproc":"article-journal","schemaOrg":"ScholarlyArticle","resourceType":"Article","resourceTypeGeneral":"Text"},"relatedIdentifiers":[{"relationType":"IsVersionOf","relatedIdentifier":"10.4204/eptcs.217.10","relatedIdentifierType":"DOI"}],"relatedItems":[],"sizes":[],"formats":[],"version":"1","rightsList":[{"rights":"arXiv.org perpetual, non-exclusive license","rightsUri":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/"}],"descriptions":[{"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.","descriptionType":"Abstract"},{"description":"In Proceedings FORECAST 2016, arXiv:1607.02001","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4xNjA3LjAyMjM1PC9pZGVudGlmaWVyPgogIDxhbHRlcm5hdGVJZGVudGlmaWVycz4KICAgIDxhbHRlcm5hdGVJZGVudGlmaWVyIGFsdGVybmF0ZUlkZW50aWZpZXJUeXBlPSJhclhpdiI+MTYwNy4wMjIzNTwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5CZWxtb250ZSwgR2luYTwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+R2luYTwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5CZWxtb250ZTwvZmFtaWx5TmFtZT4KICAgICAgPGFmZmlsaWF0aW9uPkF6aWVuZGEgT3NwZWRhbGllcmEgVW5pdmVyc2l0YXJpYSBTZW5lc2U8L2FmZmlsaWF0aW9uPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPkNpYW5jaWEsIFZpbmNlbnpvPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5WaW5jZW56bzwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5DaWFuY2lhPC9mYW1pbHlOYW1lPgogICAgICA8YWZmaWxpYXRpb24+SXN0aXR1dG8gZGkgU2NpZW56YSBlIFRlY25vbG9naWUgZGVsbCdJbmZvcm1hemlvbmUgIkEuIEZhZWRvIiwgQ29uc2lnbGlvIE5hemlvbmFsZSBkZWxsZSBSaWNlcmNoZTwvYWZmaWxpYXRpb24+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+TGF0ZWxsYSwgRGllZ288L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkRpZWdvPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkxhdGVsbGE8L2ZhbWlseU5hbWU+CiAgICAgIDxhZmZpbGlhdGlvbj5Jc3RpdHV0byBkaSBTY2llbnphIGUgVGVjbm9sb2dpZSBkZWxsJ0luZm9ybWF6aW9uZSAiQS4gRmFlZG8iLCBDb25zaWdsaW8gTmF6aW9uYWxlIGRlbGxlIFJpY2VyY2hlPC9hZmZpbGlhdGlvbj4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5NYXNzaW5rLCBNaWVrZTwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+TWlla2U8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+TWFzc2luazwvZmFtaWx5TmFtZT4KICAgICAgPGFmZmlsaWF0aW9uPklzdGl0dXRvIGRpIFNjaWVuemEgZSBUZWNub2xvZ2llIGRlbGwnSW5mb3JtYXppb25lICJBLiBGYWVkbyIsIENvbnNpZ2xpbyBOYXppb25hbGUgZGVsbGUgUmljZXJjaGU8L2FmZmlsaWF0aW9uPgogICAgPC9jcmVhdG9yPgogIDwvY3JlYXRvcnM+CiAgPHRpdGxlcz4KICAgIDx0aXRsZT5Gcm9tIENvbGxlY3RpdmUgQWRhcHRpdmUgU3lzdGVtcyB0byBIdW1hbiBDZW50cmljIENvbXB1dGF0aW9uIGFuZCBCYWNrOiBTcGF0aWFsIE1vZGVsIENoZWNraW5nIGZvciBNZWRpY2FsIEltYWdpbmc8L3RpdGxlPgogIDwvdGl0bGVzPgogIDxwdWJsaXNoZXI+YXJYaXY8L3B1Ymxpc2hlcj4KICA8cHVibGljYXRpb25ZZWFyPjIwMTY8L3B1YmxpY2F0aW9uWWVhcj4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5Mb2dpYyBpbiBDb21wdXRlciBTY2llbmNlIChjcy5MTyk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5Db21wdXRlciBWaXNpb24gYW5kIFBhdHRlcm4gUmVjb2duaXRpb24gKGNzLkNWKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHN1YmplY3RTY2hlbWU9IkZpZWxkcyBvZiBTY2llbmNlIGFuZCBUZWNobm9sb2d5IChGT1MpIj5GT1M6IENvbXB1dGVyIGFuZCBpbmZvcm1hdGlvbiBzY2llbmNlczwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iQUNNIj5ELjIuNCBtb2RlbCBjaGVja2luZzsgRi40LjEgbW9kYWwgbG9naWM7IEouMyBtZWRpY2FsIGluZm9ybWF0aW9uIHN5c3RlbXM8L3N1YmplY3Q+CiAgPC9zdWJqZWN0cz4KICA8ZGF0ZXM+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iU3VibWl0dGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDE2LTA3LTA4VDA1OjM3OjA4WjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJVcGRhdGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDE2LTA3LTExVDAwOjA0OjQ3WjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJBdmFpbGFibGUiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMTYtMDc8L2RhdGU+CiAgPC9kYXRlcz4KICA8cmVzb3VyY2VUeXBlIHJlc291cmNlVHlwZUdlbmVyYWw9IlRleHQiPkFydGljbGU8L3Jlc291cmNlVHlwZT4KICA8cmVsYXRlZElkZW50aWZpZXJzPgogICAgPHJlbGF0ZWRJZGVudGlmaWVyIHJlbGF0ZWRJZGVudGlmaWVyVHlwZT0iRE9JIiByZWxhdGlvblR5cGU9IklzVmVyc2lvbk9mIj4xMC40MjA0L0VQVENTLjIxNy4xMDwvcmVsYXRlZElkZW50aWZpZXI+CiAgPC9yZWxhdGVkSWRlbnRpZmllcnM+CiAgPHZlcnNpb24+MTwvdmVyc2lvbj4KICA8cmlnaHRzTGlzdD4KICAgIDxyaWdodHMgcmlnaHRzVVJJPSJodHRwOi8vYXJ4aXYub3JnL2xpY2Vuc2VzL25vbmV4Y2x1c2l2ZS1kaXN0cmliLzEuMC8iPmFyWGl2Lm9yZyBwZXJwZXR1YWwsIG5vbi1leGNsdXNpdmUgbGljZW5zZTwvcmlnaHRzPgogIDwvcmlnaHRzTGlzdD4KICA8ZGVzY3JpcHRpb25zPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iQWJzdHJhY3QiPlJlY2VudCByZXNlYXJjaCBvbiBmb3JtYWwgdmVyaWZpY2F0aW9uIGZvciBDb2xsZWN0aXZlIEFkYXB0aXZlIFN5c3RlbXMgKENBUykgcHVzaGVkIGFkdmFuY2VtZW50cyBpbiBzcGF0aWFsIGFuZCBzcGF0aW8tdGVtcG9yYWwgbW9kZWwgY2hlY2tpbmcsIGFuZCBhcyBhIHNpZGUgcmVzdWx0ICBwcm92aWRlZCBub3ZlbCBpbWFnZSBhbmFseXNpcyBtZXRob2RvbG9naWVzLCByb290ZWQgaW4gbG9naWNhbCBtZXRob2RzIGZvciB0b3BvbG9naWNhbCBzcGFjZXMuIE1lZGljYWwgSW1hZ2luZyAoTUkpIGlzIGEgZmllbGQgd2hlcmUgc3VjaCB0ZWNobm9sb2dpZXMgc2hvdyBwb3RlbnRpYWwgZm9yIGdyb3VuZC1icmVha2luZyBpbm5vdmF0aW9uLiBJbiB0aGlzIHBvc2l0aW9uIHBhcGVyLCB3ZSBwcmVzZW50IGEgcHJlbGltaW5hcnkgaW52ZXN0aWdhdGlvbiBjZW50cmVkIG9uIGFwcGxpY2F0aW9ucyBvZiBzcGF0aWFsIG1vZGVsIGNoZWNraW5nIHRvIE1JLiBUaGUgZm9jdXMgaXMgc2hpZnRlZCBmcm9tIHB1cmUgbG9naWNzIHRvIGEgbWl4dHVyZSBvZiBsb2dpY2FsLCBzdGF0aXN0aWNhbCBhbmQgYWxnb3JpdGhtaWMgYXBwcm9hY2hlcywgZHJpdmVuIGJ5IHRoZSBsb2dpY2FsIG5hdHVyZSBpbnRyaW5zaWMgdG8gdGhlIHNwZWNpZmljYXRpb24gb2YgdGhlIHByb3BlcnRpZXMgb2YgaW50ZXJlc3QgaW4gdGhlIGZpZWxkLiBBcyBhIHJlc3VsdCwgbm92ZWwgb3BlcmF0b3JzIGFyZSBpbnRyb2R1Y2VkLCB0aGF0IGNvdWxkIGFzIHdlbGwgYmUgYnJvdWdodCBiYWNrIHRvIHRoZSBzZXR0aW5nIG9mIENBUy48L2Rlc2NyaXB0aW9uPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iT3RoZXIiPkluIFByb2NlZWRpbmdzIEZPUkVDQVNUIDIwMTYsIGFyWGl2OjE2MDcuMDIwMDE8L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgo8L3Jlc291cmNlPg==","url":"https://arxiv.org/abs/1607.02235","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-05T18:54:22.000Z","registered":"2022-03-05T18:54:24.000Z","published":"2016","updated":"2022-03-05T18:54:24.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.1607.02235","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}