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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bene\u0161", 
        "givenName": "Nikola", 
        "id": "sg:person.014465763501.21", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014465763501.21"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Brim", 
        "givenName": "Lubo\u0161", 
        "id": "sg:person.0645117057.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Pastva", 
        "givenName": "Samuel", 
        "id": "sg:person.016130263073.10", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016130263073.10"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u0160afr\u00e1nek", 
        "givenName": "David", 
        "id": "sg:person.011410250615.43", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2019-06-12", 
    "datePublishedReg": "2019-06-12", 
    "description": "Formal verification techniques together with other computer science formal methods have been recently tailored for applications to biological and biomedical systems. In contrast to traditional simulation-based approaches, model Model checking\u00a0opens an entirely novel way of viewing and analysing the dynamics of such systems. In particular, it can help in system identification and parameter Parameter synthesis, in comparison of models with respect to a\u00a0priori given desired properties, in robustness analysis of systems, in relating models to experimental data, or in globally analysing the bifurcations of systems behaviour with respect to changes in parameters. In this review, we briefly describe the state-of-the-art methods and techniques employing model Model checking, as one of the most prominent verification techniques, to the analysis of biomedical systems. We demonstrate some of the advantages of using the model Model checking\u00a0method by presenting a\u00a0brief account of the technique itself followed by examples of the application of formal methods based on model Model checking\u00a0to three areas related to the analysis of biomedical systems: verification of biological hypotheses, parameters synthesis, and bifurcation analysis. Finally, we discuss several case studies that show how fruitfully the methods can be utilised within the computational systems biology and biomedicine domain.", 
    "editor": [
      {
        "familyName": "Li\u00f2", 
        "givenName": "Pietro", 
        "type": "Person"
      }, 
      {
        "familyName": "Zuliani", 
        "givenName": "Paolo", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-030-17297-8_1", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-030-17296-1", 
        "978-3-030-17297-8"
      ], 
      "name": "Automated Reasoning for Systems Biology and Medicine", 
      "type": "Book"
    }, 
    "keywords": [
      "formal methods", 
      "model checking approaches", 
      "computational systems biology", 
      "biomedical systems", 
      "parameter synthesis", 
      "formal verification", 
      "verification techniques", 
      "model checking", 
      "biomedicine domain", 
      "art methods", 
      "simulation-based approach", 
      "model model", 
      "system behavior", 
      "such systems", 
      "novel way", 
      "verification", 
      "system identification", 
      "systems biology", 
      "robustness analysis", 
      "biological hypotheses", 
      "checking", 
      "case study", 
      "system", 
      "applications", 
      "technique", 
      "model", 
      "method", 
      "comparison of models", 
      "bifurcation analysis", 
      "advantages", 
      "domain", 
      "biological systems", 
      "way", 
      "example", 
      "experimental data", 
      "data", 
      "analysis", 
      "respect", 
      "bifurcation", 
      "identification", 
      "state", 
      "brief account", 
      "account", 
      "dynamics", 
      "parameters", 
      "area", 
      "approach", 
      "behavior", 
      "comparison", 
      "properties", 
      "biology", 
      "review", 
      "study", 
      "contrast", 
      "changes", 
      "hypothesis", 
      "synthesis"
    ], 
    "name": "Model Checking Approach to the Analysis of Biological Systems", 
    "pagination": "3-35", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1117043758"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-030-17297-8_1"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-030-17297-8_1", 
      "https://app.dimensions.ai/details/publication/pub.1117043758"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:42", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_154.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-030-17297-8_1"
  }
]

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

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

151 TRIPLES      23 PREDICATES      84 URIs      75 LITERALS      7 BLANK NODES