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 N6cdda72c14114a56868db27ac550db12
    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 N9e4d71f00a314e4bb590dae942f45c30
    29 schema:genre chapter
    30 schema:inLanguage en
    31 schema:isAccessibleForFree false
    32 schema:isPartOf N9733efef70f0435ea51e2a13bb3cee8e
    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 N408bfc8a9342428397dff61d96ce0666
    36 Nac88e2fe089349239bea83d0d4bd078b
    37 Nca57d6569c5d4dcf827fdea6d1ca9cfd
    38 schema:publisher Nb1d8920d285c4481b244b2e05f04dc60
    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 Nce8c4d74095a4ecaad7def7f1e9263b3
    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 N084c2a85e34d4ed4a2b70d7a51be5774 rdf:first sg:person.015216035373.32
    49 rdf:rest N2edb6c2b02164655a839379c469211f5
    50 N17820421d03f4364acbba04ac4f1a572 rdf:first Na44068d4664b42bb9390cfe59aa07052
    51 rdf:rest rdf:nil
    52 N2abbca86f9054fe8b054d90c32d2546f schema:familyName Margaria
    53 schema:givenName Tiziana
    54 rdf:type schema:Person
    55 N2edb6c2b02164655a839379c469211f5 rdf:first Nfbb1f829829c4a94bd9229875808d2aa
    56 rdf:rest Nf266f23e17db46219049804afb2ee333
    57 N408bfc8a9342428397dff61d96ce0666 schema:name dimensions_id
    58 schema:value pub.1107922879
    59 rdf:type schema:PropertyValue
    60 N4e65a86db8e64d13a2cb89837f48fe0a rdf:first sg:person.012104372024.08
    61 rdf:rest N084c2a85e34d4ed4a2b70d7a51be5774
    62 N6cdda72c14114a56868db27ac550db12 rdf:first sg:person.013733323742.24
    63 rdf:rest N4e65a86db8e64d13a2cb89837f48fe0a
    64 N87e73581b88044ebbf6253ccb5ba7166 rdf:first sg:person.0735757543.59
    65 rdf:rest Nc29ded4df6a14cacbcbd061bd08d741e
    66 N928ce0589dce4628b3c347125c64f854 rdf:first sg:person.0622531462.40
    67 rdf:rest rdf:nil
    68 N9733efef70f0435ea51e2a13bb3cee8e schema:isbn 978-3-030-03423-8
    69 978-3-030-03424-5
    70 schema:name Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    71 rdf:type schema:Book
    72 N9e4d71f00a314e4bb590dae942f45c30 rdf:first N2abbca86f9054fe8b054d90c32d2546f
    73 rdf:rest N17820421d03f4364acbba04ac4f1a572
    74 Na44068d4664b42bb9390cfe59aa07052 schema:familyName Steffen
    75 schema:givenName Bernhard
    76 rdf:type schema:Person
    77 Nac88e2fe089349239bea83d0d4bd078b schema:name readcube_id
    78 schema:value e1130e171812268e97d6d7af6e0270e1004a8a654059eb59abc6b13e159634ae
    79 rdf:type schema:PropertyValue
    80 Nad9488e2d6514fec8603c611396b6237 rdf:first sg:person.016202126212.22
    81 rdf:rest N87e73581b88044ebbf6253ccb5ba7166
    82 Nb1d8920d285c4481b244b2e05f04dc60 schema:location Cham
    83 schema:name Springer International Publishing
    84 rdf:type schema:Organisation
    85 Nc29ded4df6a14cacbcbd061bd08d741e rdf:first sg:person.0635605541.58
    86 rdf:rest N928ce0589dce4628b3c347125c64f854
    87 Nca57d6569c5d4dcf827fdea6d1ca9cfd schema:name doi
    88 schema:value 10.1007/978-3-030-03424-5_5
    89 rdf:type schema:PropertyValue
    90 Nce8c4d74095a4ecaad7def7f1e9263b3 schema:name Springer Nature - SN SciGraph project
    91 rdf:type schema:Organization
    92 Nf266f23e17db46219049804afb2ee333 rdf:first sg:person.01214661172.16
    93 rdf:rest Nad9488e2d6514fec8603c611396b6237
    94 Nfbb1f829829c4a94bd9229875808d2aa schema:affiliation https://www.grid.ac/institutes/grid.451052.7
    95 schema:familyName Allan
    96 schema:givenName Tim
    97 rdf:type schema:Person
    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)


    ...