A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-10-31

AUTHORS

Jeremy Pitt , Kristina Milanovic , Alexander Coupland , Tim Allan , Alun Davies , Tristan Lane , Anna Maria Malagoni , Ankur Thapar , Joseph Shalhoub

ABSTRACT

Vascular surgeons have recognised that the condition of many patients presenting with intermittent claudication and peripheral arterial disease is better treated by physical exercise rather than endovascular or surgical intervention. Such exercise causes pain, though, before and until the health improvements are realised. Therefore, patients experiencing pain tend to stop doing that which causes it, unless they are supervised performing the necessary exercise programmes. However, supervised exercise is an extremely costly and time-consuming use of medical resources. To overcome this series of problems, we propose to develop and deploy a healthcare application which provides patient exercise programmes that are both centrally organised and remotely supervised by a health practitioner, and self-organized and self-supervised by the patients themselves. This demands that two dimensions of adaptation should be addressed: adaptation prompted by the health practitioner as the patient group improves and meets programme targets; and adaptation prompted from within the patient group enabling them to manage their own community effectively and sustainably. This position paper explores this application from the perspective of engineering a collective adaptive system for a mobile healthcare application, providing both remote- and self-supervised exercise. This requires, on the one hand, converging recent technological advances in sensors and mobile devices, audio and video connectivity, and social computing; with, on the other hand, innovative value-sensitive and user-centric design methodologies, together with formal methods for interaction and interface design and specification. The ultimate ambition is to create a ‘win-win-win’ situation in which the benefits of exercise as a treatment, the reduced costs of supervision, and the pro-social incentives to perform the exercise are all derived from computer-supported self-organised collective action. More... »

PAGES

63-78

References to SciGraph publications

  • 2014. Experiments with Social Capital in Multi-agent Systems in PRIMA 2014: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS
  • 2008. Social Norms in THE NEW PALGRAVE DICTIONARY OF ECONOMICS
  • 1986-03. A logic-based calculus of events in NEW GENERATION COMPUTING
  • 2014. An Agent-Based Serious Game for Decentralised Community Energy Systems in PRIMA 2014: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS
  • Book

    TITLE

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    ISBN

    978-3-030-03423-8
    978-3-030-03424-5

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_5

    DOI

    http://dx.doi.org/10.1007/978-3-030-03424-5_5

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1107922879


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Artificial Intelligence and Image Processing", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Imperial College London", 
              "id": "https://www.grid.ac/institutes/grid.7445.2", 
              "name": [
                "Department of Electrical and Electronic Engineering, Imperial College London, London, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Pitt", 
            "givenName": "Jeremy", 
            "id": "sg:person.013733323742.24", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013733323742.24"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Imperial College London", 
              "id": "https://www.grid.ac/institutes/grid.7445.2", 
              "name": [
                "Department of Electrical and Electronic Engineering, Imperial College London, London, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Milanovic", 
            "givenName": "Kristina", 
            "id": "sg:person.012104372024.08", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012104372024.08"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Imperial College London", 
              "id": "https://www.grid.ac/institutes/grid.7445.2", 
              "name": [
                "Department of Surgery and Cancer, Imperial College London, London, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Coupland", 
            "givenName": "Alexander", 
            "id": "sg:person.015216035373.32", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015216035373.32"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "National Health Service", 
              "id": "https://www.grid.ac/institutes/grid.451052.7", 
              "name": [
                "NHS Digital/Royal College of Art, London, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Allan", 
            "givenName": "Tim", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Imperial College London", 
              "id": "https://www.grid.ac/institutes/grid.7445.2", 
              "name": [
                "Department of Surgery and Cancer, Imperial College London, London, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Davies", 
            "givenName": "Alun", 
            "id": "sg:person.01214661172.16", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01214661172.16"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Imperial College London", 
              "id": "https://www.grid.ac/institutes/grid.7445.2", 
              "name": [
                "Department of Surgery and Cancer, Imperial College London, London, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Lane", 
            "givenName": "Tristan", 
            "id": "sg:person.016202126212.22", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016202126212.22"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Imperial College London", 
              "id": "https://www.grid.ac/institutes/grid.7445.2", 
              "name": [
                "Department of Surgery and Cancer, Imperial College London, London, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Malagoni", 
            "givenName": "Anna Maria", 
            "id": "sg:person.0735757543.59", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0735757543.59"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Imperial College London", 
              "id": "https://www.grid.ac/institutes/grid.7445.2", 
              "name": [
                "Department of Surgery and Cancer, Imperial College London, London, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Thapar", 
            "givenName": "Ankur", 
            "id": "sg:person.0635605541.58", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0635605541.58"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Imperial College London", 
              "id": "https://www.grid.ac/institutes/grid.7445.2", 
              "name": [
                "Department of Surgery and Cancer, Imperial College London, London, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Shalhoub", 
            "givenName": "Joseph", 
            "id": "sg:person.0622531462.40", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0622531462.40"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1109/mts.2012.2225459", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001923241"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ijhcs.2008.08.002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003882616"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1057/978-1-349-95121-5_2338-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005485744", 
              "https://doi.org/10.1057/978-1-349-95121-5_2338-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf03037383", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009771608", 
              "https://doi.org/10.1007/bf03037383"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf03037383", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009771608", 
              "https://doi.org/10.1007/bf03037383"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/9780470281819.ch4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017228385"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ejvs.2003.09.012", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017957918"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-13191-7_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019899039", 
              "https://doi.org/10.1007/978-3-319-13191-7_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1111/1468-0297.00077", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021058370"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/mts.2014.2301884", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038249139"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jvs.2014.12.009", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039063344"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-13191-7_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041739311", 
              "https://doi.org/10.1007/978-3-319-13191-7_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/jigpal/4.3.427", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059797450"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2196/jmir.5927", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1069286507"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jvs.2017.02.014", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1084093744"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jvs.2017.02.014", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1084093744"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1080/19186444.2010.11658229", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1092986709"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icac.2015.62", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093491437"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sasow.2015.7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094490461"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/fas-w.2016.20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095209108"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511807763", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098695330"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3173574.3174240", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1103568935"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3173574.3174240", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1103568935"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/mts.2018.2857639", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1106840208"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-10-31", 
        "datePublishedReg": "2018-10-31", 
        "description": "Vascular surgeons have recognised that the condition of many patients presenting with intermittent claudication and peripheral arterial disease is better treated by physical exercise rather than endovascular or surgical intervention. Such exercise causes pain, though, before and until the health improvements are realised. Therefore, patients experiencing pain tend to stop doing that which causes it, unless they are supervised performing the necessary exercise programmes. However, supervised exercise is an extremely costly and time-consuming use of medical resources. To overcome this series of problems, we propose to develop and deploy a healthcare application which provides patient exercise programmes that are both centrally organised and remotely supervised by a health practitioner, and self-organized and self-supervised by the patients themselves. This demands that two dimensions of adaptation should be addressed: adaptation prompted by the health practitioner as the patient group improves and meets programme targets; and adaptation prompted from within the patient group enabling them to manage their own community effectively and sustainably. This position paper explores this application from the perspective of engineering a collective adaptive system for a mobile healthcare application, providing both remote- and self-supervised exercise. This requires, on the one hand, converging recent technological advances in sensors and mobile devices, audio and video connectivity, and social computing; with, on the other hand, innovative value-sensitive and user-centric design methodologies, together with formal methods for interaction and interface design and specification. The ultimate ambition is to create a \u2018win-win-win\u2019 situation in which the benefits of exercise as a treatment, the reduced costs of supervision, and the pro-social incentives to perform the exercise are all derived from computer-supported self-organised collective action.", 
        "editor": [
          {
            "familyName": "Margaria", 
            "givenName": "Tiziana", 
            "type": "Person"
          }, 
          {
            "familyName": "Steffen", 
            "givenName": "Bernhard", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-030-03424-5_5", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-030-03423-8", 
            "978-3-030-03424-5"
          ], 
          "name": "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems", 
          "type": "Book"
        }, 
        "name": "A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication", 
        "pagination": "63-78", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-030-03424-5_5"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "e1130e171812268e97d6d7af6e0270e1004a8a654059eb59abc6b13e159634ae"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1107922879"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-030-03424-5_5", 
          "https://app.dimensions.ai/details/publication/pub.1107922879"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T04:41", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000322_0000000322/records_65020_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-030-03424-5_5"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_5'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_5'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_5'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_5'


     

    This table displays all metadata directly associated to this object as RDF triples.

    196 TRIPLES      23 PREDICATES      47 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-030-03424-5_5 schema:about anzsrc-for:08
    2 anzsrc-for:0801
    3 schema:author N2133dad78a1f435192d0886e8c04cc6c
    4 schema:citation sg:pub.10.1007/978-3-319-13191-7_2
    5 sg:pub.10.1007/978-3-319-13191-7_20
    6 sg:pub.10.1007/bf03037383
    7 sg:pub.10.1057/978-1-349-95121-5_2338-1
    8 https://doi.org/10.1002/9780470281819.ch4
    9 https://doi.org/10.1016/j.ejvs.2003.09.012
    10 https://doi.org/10.1016/j.ijhcs.2008.08.002
    11 https://doi.org/10.1016/j.jvs.2014.12.009
    12 https://doi.org/10.1016/j.jvs.2017.02.014
    13 https://doi.org/10.1017/cbo9780511807763
    14 https://doi.org/10.1080/19186444.2010.11658229
    15 https://doi.org/10.1093/jigpal/4.3.427
    16 https://doi.org/10.1109/fas-w.2016.20
    17 https://doi.org/10.1109/icac.2015.62
    18 https://doi.org/10.1109/mts.2012.2225459
    19 https://doi.org/10.1109/mts.2014.2301884
    20 https://doi.org/10.1109/mts.2018.2857639
    21 https://doi.org/10.1109/sasow.2015.7
    22 https://doi.org/10.1111/1468-0297.00077
    23 https://doi.org/10.1145/3173574.3174240
    24 https://doi.org/10.2196/jmir.5927
    25 schema:datePublished 2018-10-31
    26 schema:datePublishedReg 2018-10-31
    27 schema:description Vascular surgeons have recognised that the condition of many patients presenting with intermittent claudication and peripheral arterial disease is better treated by physical exercise rather than endovascular or surgical intervention. Such exercise causes pain, though, before and until the health improvements are realised. Therefore, patients experiencing pain tend to stop doing that which causes it, unless they are supervised performing the necessary exercise programmes. However, supervised exercise is an extremely costly and time-consuming use of medical resources. To overcome this series of problems, we propose to develop and deploy a healthcare application which provides patient exercise programmes that are both centrally organised and remotely supervised by a health practitioner, and self-organized and self-supervised by the patients themselves. This demands that two dimensions of adaptation should be addressed: adaptation prompted by the health practitioner as the patient group improves and meets programme targets; and adaptation prompted from within the patient group enabling them to manage their own community effectively and sustainably. This position paper explores this application from the perspective of engineering a collective adaptive system for a mobile healthcare application, providing both remote- and self-supervised exercise. This requires, on the one hand, converging recent technological advances in sensors and mobile devices, audio and video connectivity, and social computing; with, on the other hand, innovative value-sensitive and user-centric design methodologies, together with formal methods for interaction and interface design and specification. The ultimate ambition is to create a ‘win-win-win’ situation in which the benefits of exercise as a treatment, the reduced costs of supervision, and the pro-social incentives to perform the exercise are all derived from computer-supported self-organised collective action.
    28 schema:editor N090d4aab096d442d9f091c5cf169755e
    29 schema:genre chapter
    30 schema:inLanguage en
    31 schema:isAccessibleForFree false
    32 schema:isPartOf Na8250eba1ee74f2781a35146c645cd9a
    33 schema:name A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication
    34 schema:pagination 63-78
    35 schema:productId N139bbb79aeb143779db89d68694e1240
    36 N1bef2baeb35b4f68a3fda45131364d8b
    37 Nb49beba8573f494a9d300d323c84c44b
    38 schema:publisher N936ac061c7554facbcf6078ca05e326c
    39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922879
    40 https://doi.org/10.1007/978-3-030-03424-5_5
    41 schema:sdDatePublished 2019-04-16T04:41
    42 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    43 schema:sdPublisher N56cf6be53ffd48ca8c0c3d3354364fdd
    44 schema:url https://link.springer.com/10.1007%2F978-3-030-03424-5_5
    45 sgo:license sg:explorer/license/
    46 sgo:sdDataset chapters
    47 rdf:type schema:Chapter
    48 N090d4aab096d442d9f091c5cf169755e rdf:first N20e6022d45d843c6adcc95fee2d096e2
    49 rdf:rest N92799f9bfded4bef8f6e255abf5de4dc
    50 N0f60a28b50a24e08acc6c42899308983 rdf:first sg:person.0735757543.59
    51 rdf:rest N4e0c244828714cf0b2f8ec3bcec3f87d
    52 N139bbb79aeb143779db89d68694e1240 schema:name dimensions_id
    53 schema:value pub.1107922879
    54 rdf:type schema:PropertyValue
    55 N1bef2baeb35b4f68a3fda45131364d8b schema:name doi
    56 schema:value 10.1007/978-3-030-03424-5_5
    57 rdf:type schema:PropertyValue
    58 N20e6022d45d843c6adcc95fee2d096e2 schema:familyName Margaria
    59 schema:givenName Tiziana
    60 rdf:type schema:Person
    61 N2133dad78a1f435192d0886e8c04cc6c rdf:first sg:person.013733323742.24
    62 rdf:rest N4a3c269dd8ea4dbeb6cf2127564a2b0d
    63 N4a3c269dd8ea4dbeb6cf2127564a2b0d rdf:first sg:person.012104372024.08
    64 rdf:rest Ne0f762624dbc454d99b01ec54b04dbcf
    65 N4e0c244828714cf0b2f8ec3bcec3f87d rdf:first sg:person.0635605541.58
    66 rdf:rest Nfc3dce2a5f66460e9b17752cda860d43
    67 N4f4c8934757f41b2acfb04ca4d3919a2 rdf:first sg:person.016202126212.22
    68 rdf:rest N0f60a28b50a24e08acc6c42899308983
    69 N56cf6be53ffd48ca8c0c3d3354364fdd schema:name Springer Nature - SN SciGraph project
    70 rdf:type schema:Organization
    71 N69f293401b56412b83cd4804462168d2 schema:familyName Steffen
    72 schema:givenName Bernhard
    73 rdf:type schema:Person
    74 N8d570b39760c4934941f2f6424bcf742 rdf:first sg:person.01214661172.16
    75 rdf:rest N4f4c8934757f41b2acfb04ca4d3919a2
    76 N92799f9bfded4bef8f6e255abf5de4dc rdf:first N69f293401b56412b83cd4804462168d2
    77 rdf:rest rdf:nil
    78 N936ac061c7554facbcf6078ca05e326c schema:location Cham
    79 schema:name Springer International Publishing
    80 rdf:type schema:Organisation
    81 N948c3e1e7bc646faa02af4c08e392a50 rdf:first Nd2833b3594944a76ac0554dd152ef134
    82 rdf:rest N8d570b39760c4934941f2f6424bcf742
    83 Na8250eba1ee74f2781a35146c645cd9a schema:isbn 978-3-030-03423-8
    84 978-3-030-03424-5
    85 schema:name Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    86 rdf:type schema:Book
    87 Nb49beba8573f494a9d300d323c84c44b schema:name readcube_id
    88 schema:value e1130e171812268e97d6d7af6e0270e1004a8a654059eb59abc6b13e159634ae
    89 rdf:type schema:PropertyValue
    90 Nd2833b3594944a76ac0554dd152ef134 schema:affiliation https://www.grid.ac/institutes/grid.451052.7
    91 schema:familyName Allan
    92 schema:givenName Tim
    93 rdf:type schema:Person
    94 Ne0f762624dbc454d99b01ec54b04dbcf rdf:first sg:person.015216035373.32
    95 rdf:rest N948c3e1e7bc646faa02af4c08e392a50
    96 Nfc3dce2a5f66460e9b17752cda860d43 rdf:first sg:person.0622531462.40
    97 rdf:rest rdf:nil
    98 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    99 schema:name Information and Computing Sciences
    100 rdf:type schema:DefinedTerm
    101 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
    102 schema:name Artificial Intelligence and Image Processing
    103 rdf:type schema:DefinedTerm
    104 sg:person.012104372024.08 schema:affiliation https://www.grid.ac/institutes/grid.7445.2
    105 schema:familyName Milanovic
    106 schema:givenName Kristina
    107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012104372024.08
    108 rdf:type schema:Person
    109 sg:person.01214661172.16 schema:affiliation https://www.grid.ac/institutes/grid.7445.2
    110 schema:familyName Davies
    111 schema:givenName Alun
    112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01214661172.16
    113 rdf:type schema:Person
    114 sg:person.013733323742.24 schema:affiliation https://www.grid.ac/institutes/grid.7445.2
    115 schema:familyName Pitt
    116 schema:givenName Jeremy
    117 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013733323742.24
    118 rdf:type schema:Person
    119 sg:person.015216035373.32 schema:affiliation https://www.grid.ac/institutes/grid.7445.2
    120 schema:familyName Coupland
    121 schema:givenName Alexander
    122 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015216035373.32
    123 rdf:type schema:Person
    124 sg:person.016202126212.22 schema:affiliation https://www.grid.ac/institutes/grid.7445.2
    125 schema:familyName Lane
    126 schema:givenName Tristan
    127 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016202126212.22
    128 rdf:type schema:Person
    129 sg:person.0622531462.40 schema:affiliation https://www.grid.ac/institutes/grid.7445.2
    130 schema:familyName Shalhoub
    131 schema:givenName Joseph
    132 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0622531462.40
    133 rdf:type schema:Person
    134 sg:person.0635605541.58 schema:affiliation https://www.grid.ac/institutes/grid.7445.2
    135 schema:familyName Thapar
    136 schema:givenName Ankur
    137 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0635605541.58
    138 rdf:type schema:Person
    139 sg:person.0735757543.59 schema:affiliation https://www.grid.ac/institutes/grid.7445.2
    140 schema:familyName Malagoni
    141 schema:givenName Anna Maria
    142 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0735757543.59
    143 rdf:type schema:Person
    144 sg:pub.10.1007/978-3-319-13191-7_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041739311
    145 https://doi.org/10.1007/978-3-319-13191-7_2
    146 rdf:type schema:CreativeWork
    147 sg:pub.10.1007/978-3-319-13191-7_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019899039
    148 https://doi.org/10.1007/978-3-319-13191-7_20
    149 rdf:type schema:CreativeWork
    150 sg:pub.10.1007/bf03037383 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009771608
    151 https://doi.org/10.1007/bf03037383
    152 rdf:type schema:CreativeWork
    153 sg:pub.10.1057/978-1-349-95121-5_2338-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005485744
    154 https://doi.org/10.1057/978-1-349-95121-5_2338-1
    155 rdf:type schema:CreativeWork
    156 https://doi.org/10.1002/9780470281819.ch4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017228385
    157 rdf:type schema:CreativeWork
    158 https://doi.org/10.1016/j.ejvs.2003.09.012 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017957918
    159 rdf:type schema:CreativeWork
    160 https://doi.org/10.1016/j.ijhcs.2008.08.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003882616
    161 rdf:type schema:CreativeWork
    162 https://doi.org/10.1016/j.jvs.2014.12.009 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039063344
    163 rdf:type schema:CreativeWork
    164 https://doi.org/10.1016/j.jvs.2017.02.014 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084093744
    165 rdf:type schema:CreativeWork
    166 https://doi.org/10.1017/cbo9780511807763 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098695330
    167 rdf:type schema:CreativeWork
    168 https://doi.org/10.1080/19186444.2010.11658229 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092986709
    169 rdf:type schema:CreativeWork
    170 https://doi.org/10.1093/jigpal/4.3.427 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059797450
    171 rdf:type schema:CreativeWork
    172 https://doi.org/10.1109/fas-w.2016.20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095209108
    173 rdf:type schema:CreativeWork
    174 https://doi.org/10.1109/icac.2015.62 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093491437
    175 rdf:type schema:CreativeWork
    176 https://doi.org/10.1109/mts.2012.2225459 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001923241
    177 rdf:type schema:CreativeWork
    178 https://doi.org/10.1109/mts.2014.2301884 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038249139
    179 rdf:type schema:CreativeWork
    180 https://doi.org/10.1109/mts.2018.2857639 schema:sameAs https://app.dimensions.ai/details/publication/pub.1106840208
    181 rdf:type schema:CreativeWork
    182 https://doi.org/10.1109/sasow.2015.7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094490461
    183 rdf:type schema:CreativeWork
    184 https://doi.org/10.1111/1468-0297.00077 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021058370
    185 rdf:type schema:CreativeWork
    186 https://doi.org/10.1145/3173574.3174240 schema:sameAs https://app.dimensions.ai/details/publication/pub.1103568935
    187 rdf:type schema:CreativeWork
    188 https://doi.org/10.2196/jmir.5927 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069286507
    189 rdf:type schema:CreativeWork
    190 https://www.grid.ac/institutes/grid.451052.7 schema:alternateName National Health Service
    191 schema:name NHS Digital/Royal College of Art, London, UK
    192 rdf:type schema:Organization
    193 https://www.grid.ac/institutes/grid.7445.2 schema:alternateName Imperial College London
    194 schema:name Department of Electrical and Electronic Engineering, Imperial College London, London, UK
    195 Department of Surgery and Cancer, Imperial College London, London, UK
    196 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...