Precise parameter synthesis for stochastic biochemical systems View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2016-03-28

AUTHORS

Milan Češka, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Luboš Brim

ABSTRACT

We consider the problem of synthesising rate parameters for stochastic biochemical networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of quantitative properties, the probability of satisfying the property is maximised or minimised. Our method is based on extending CSL model checking and standard uniformisation to parametric models, in order to compute safe bounds on the satisfaction probability of the property. We develop synthesis algorithms that yield answers that are precise to within an arbitrarily small tolerance value. The algorithms combine the computation of probability bounds with the refinement and sampling of the parameter space. Our methods are precise and efficient, and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for three biologically motivated case studies: infection control for a SIR epidemic model; reliability analysis of molecular computation by a DNA walker; and bistability in the gene regulation of the mammalian cell cycle. More... »

PAGES

589-623

References to SciGraph publications

  • 2007-01-01. Stochastic Model Checking in FORMAL METHODS FOR PERFORMANCE EVALUATION
  • 2014. Precise Parameter Synthesis for Stochastic Biochemical Systems in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2006. Model-Checking Markov Chains in the Presence of Uncertainties in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 1991-03. Contributions to the mathematical theory of epidemics—II. The problem of endemicity in BULLETIN OF MATHEMATICAL BIOLOGY
  • 2010. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems in COMPUTER AIDED VERIFICATION
  • 2012-01-22. A DNA-based molecular motor that can navigate a network of tracks in NATURE NANOTECHNOLOGY
  • 2007-01-01. Three-Valued Abstraction for Continuous-Time Markov Chains in COMPUTER AIDED VERIFICATION
  • 2015-07-16. Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks in COMPUTER AIDED VERIFICATION
  • 2013. Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking in COMPUTER AIDED VERIFICATION
  • 2013. Learning and Designing Stochastic Processes from Logical Constraints in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2013. Computing Cumulative Rewards Using Fast Adaptive Uniformisation in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2011. Parameter Identification for Markov Models of Biochemical Reactions in COMPUTER AIDED VERIFICATION
  • 2013. A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2012. Parameter Identification and Model Ranking of Thomas Networks in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 1996. Verifying continuous time Markov chains in COMPUTER AIDED VERIFICATION
  • 2011. PRISM 4.0: Verification of Probabilistic Real-Time Systems in COMPUTER AIDED VERIFICATION
  • 2014-06-07. DNA walker circuits: computational potential, design, and verification in NATURAL COMPUTING
  • 2010-04-07. Probabilistic reachability for parametric Markov models in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2014. Analyzing and Synthesizing Genomic Logic Functions in COMPUTER AIDED VERIFICATION
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s00236-016-0265-2

    DOI

    http://dx.doi.org/10.1007/s00236-016-0265-2

    DIMENSIONS

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


    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/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/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"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0804", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Data Format", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK", 
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Faculty of Information Technology, Brno University of Technology, Bo\u017eet\u011bchova 1/2, 612 66, Brno, Czech Republic", 
                "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "\u010ce\u0161ka", 
            "givenName": "Milan", 
            "id": "sg:person.016652663056.36", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016652663056.36"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK", 
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Dannenberg", 
            "givenName": "Frits", 
            "id": "sg:person.010040156213.45", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010040156213.45"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK", 
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Paoletti", 
            "givenName": "Nicola", 
            "id": "sg:person.014036566653.01", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014036566653.01"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK", 
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Kwiatkowska", 
            "givenName": "Marta", 
            "id": "sg:person.011375012273.39", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic", 
              "id": "http://www.grid.ac/institutes/grid.10267.32", 
              "name": [
                "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"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/bf02464424", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027081890", 
              "https://doi.org/10.1007/bf02464424"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-40708-6_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028536457", 
              "https://doi.org/10.1007/978-3-642-40708-6_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-08867-9_23", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045849965", 
              "https://doi.org/10.1007/978-3-319-08867-9_23"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-33636-2_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025438943", 
              "https://doi.org/10.1007/978-3-642-33636-2_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s11047-014-9426-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017889113", 
              "https://doi.org/10.1007/s11047-014-9426-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-40708-6_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018230964", 
              "https://doi.org/10.1007/978-3-642-40708-6_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11691372_26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040209951", 
              "https://doi.org/10.1007/11691372_26"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-12982-2_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033448179", 
              "https://doi.org/10.1007/978-3-319-12982-2_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-21690-4_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044474057", 
              "https://doi.org/10.1007/978-3-319-21690-4_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10009-010-0146-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008242412", 
              "https://doi.org/10.1007/s10009-010-0146-x"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-14295-6_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026773598", 
              "https://doi.org/10.1007/978-3-642-14295-6_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-40196-1_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046413628", 
              "https://doi.org/10.1007/978-3-642-40196-1_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-22110-1_47", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027900693", 
              "https://doi.org/10.1007/978-3-642-22110-1_47"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-72522-0_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012626164", 
              "https://doi.org/10.1007/978-3-540-72522-0_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-39799-8_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029550810", 
              "https://doi.org/10.1007/978-3-642-39799-8_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-61474-5_75", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046684867", 
              "https://doi.org/10.1007/3-540-61474-5_75"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-73368-3_37", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042148706", 
              "https://doi.org/10.1007/978-3-540-73368-3_37"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-22110-1_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000524815", 
              "https://doi.org/10.1007/978-3-642-22110-1_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1038/nnano.2011.253", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016540652", 
              "https://doi.org/10.1038/nnano.2011.253"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2016-03-28", 
        "datePublishedReg": "2016-03-28", 
        "description": "We consider the problem of synthesising rate parameters for stochastic biochemical networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of quantitative properties, the probability of satisfying the property is maximised or minimised. Our method is based on extending CSL model checking and standard uniformisation to parametric models, in order to compute safe bounds on the satisfaction probability of the property. We develop synthesis algorithms that yield answers that are precise to within an arbitrarily small tolerance value. The algorithms combine the computation of probability bounds with the refinement and sampling of the parameter space. Our methods are precise and efficient, and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for three biologically motivated case studies: infection control for a SIR epidemic model; reliability analysis of molecular computation by a DNA walker; and bistability in the gene regulation of the mammalian cell cycle.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s00236-016-0265-2", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.6898892", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": [
          {
            "id": "sg:journal.1133515", 
            "issn": [
              "0001-5903", 
              "1432-0525"
            ], 
            "name": "Acta Informatica", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "6", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "54"
          }
        ], 
        "keywords": [
          "stochastic biochemical networks", 
          "stochastic biochemical systems", 
          "Precise Parameter Synthesis", 
          "CSL model checking", 
          "small tolerance value", 
          "SIR epidemic model", 
          "probability bounds", 
          "biochemical networks", 
          "epidemic model", 
          "approximate technique", 
          "parameter synthesis", 
          "satisfaction probability", 
          "parametric model", 
          "biochemical systems", 
          "reliability analysis", 
          "parameter space", 
          "CSL property", 
          "quantitative properties", 
          "bounds", 
          "computation", 
          "synthesis algorithm", 
          "safe bounds", 
          "algorithm", 
          "tolerance values", 
          "discretisation", 
          "probability", 
          "uniformisation", 
          "rate parameters", 
          "model checking", 
          "model", 
          "problem", 
          "space", 
          "molecular computation", 
          "mammalian cell cycle", 
          "network", 
          "case study", 
          "properties", 
          "bistability", 
          "parameters", 
          "system", 
          "refinement", 
          "sampling", 
          "Walker", 
          "control", 
          "technique", 
          "answers", 
          "order", 
          "checking", 
          "usefulness", 
          "DNA walker", 
          "cases", 
          "analysis", 
          "values", 
          "gene regulation", 
          "cycle", 
          "rate", 
          "study", 
          "synthesis", 
          "regulation", 
          "cell cycle", 
          "infection control", 
          "method", 
          "time-bounded CSL property", 
          "standard uniformisation", 
          "yield answers"
        ], 
        "name": "Precise parameter synthesis for stochastic biochemical systems", 
        "pagination": "589-623", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1034626612"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s00236-016-0265-2"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s00236-016-0265-2", 
          "https://app.dimensions.ai/details/publication/pub.1034626612"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2021-12-01T19:35", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/article/article_691.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s00236-016-0265-2"
      }
    ]
     

    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/s00236-016-0265-2'

    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/s00236-016-0265-2'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00236-016-0265-2'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00236-016-0265-2'


     

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

    241 TRIPLES      22 PREDICATES      111 URIs      82 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s00236-016-0265-2 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 anzsrc-for:0803
    4 anzsrc-for:0804
    5 schema:author N673fc0c5d5d1414499993a4b93f6bd21
    6 schema:citation sg:pub.10.1007/11691372_26
    7 sg:pub.10.1007/3-540-61474-5_75
    8 sg:pub.10.1007/978-3-319-08867-9_23
    9 sg:pub.10.1007/978-3-319-12982-2_7
    10 sg:pub.10.1007/978-3-319-21690-4_12
    11 sg:pub.10.1007/978-3-540-72522-0_6
    12 sg:pub.10.1007/978-3-540-73368-3_37
    13 sg:pub.10.1007/978-3-642-14295-6_17
    14 sg:pub.10.1007/978-3-642-22110-1_47
    15 sg:pub.10.1007/978-3-642-22110-1_8
    16 sg:pub.10.1007/978-3-642-33636-2_13
    17 sg:pub.10.1007/978-3-642-39799-8_7
    18 sg:pub.10.1007/978-3-642-40196-1_7
    19 sg:pub.10.1007/978-3-642-40708-6_13
    20 sg:pub.10.1007/978-3-642-40708-6_4
    21 sg:pub.10.1007/bf02464424
    22 sg:pub.10.1007/s10009-010-0146-x
    23 sg:pub.10.1007/s11047-014-9426-9
    24 sg:pub.10.1038/nnano.2011.253
    25 schema:datePublished 2016-03-28
    26 schema:datePublishedReg 2016-03-28
    27 schema:description We consider the problem of synthesising rate parameters for stochastic biochemical networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of quantitative properties, the probability of satisfying the property is maximised or minimised. Our method is based on extending CSL model checking and standard uniformisation to parametric models, in order to compute safe bounds on the satisfaction probability of the property. We develop synthesis algorithms that yield answers that are precise to within an arbitrarily small tolerance value. The algorithms combine the computation of probability bounds with the refinement and sampling of the parameter space. Our methods are precise and efficient, and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for three biologically motivated case studies: infection control for a SIR epidemic model; reliability analysis of molecular computation by a DNA walker; and bistability in the gene regulation of the mammalian cell cycle.
    28 schema:genre article
    29 schema:inLanguage en
    30 schema:isAccessibleForFree false
    31 schema:isPartOf N8a05282829c040d9be9570b6e9050d42
    32 Nc29e3a993f8d4436aae07b5fb23291c8
    33 sg:journal.1133515
    34 schema:keywords CSL model checking
    35 CSL property
    36 DNA walker
    37 Precise Parameter Synthesis
    38 SIR epidemic model
    39 Walker
    40 algorithm
    41 analysis
    42 answers
    43 approximate technique
    44 biochemical networks
    45 biochemical systems
    46 bistability
    47 bounds
    48 case study
    49 cases
    50 cell cycle
    51 checking
    52 computation
    53 control
    54 cycle
    55 discretisation
    56 epidemic model
    57 gene regulation
    58 infection control
    59 mammalian cell cycle
    60 method
    61 model
    62 model checking
    63 molecular computation
    64 network
    65 order
    66 parameter space
    67 parameter synthesis
    68 parameters
    69 parametric model
    70 probability
    71 probability bounds
    72 problem
    73 properties
    74 quantitative properties
    75 rate
    76 rate parameters
    77 refinement
    78 regulation
    79 reliability analysis
    80 safe bounds
    81 sampling
    82 satisfaction probability
    83 small tolerance value
    84 space
    85 standard uniformisation
    86 stochastic biochemical networks
    87 stochastic biochemical systems
    88 study
    89 synthesis
    90 synthesis algorithm
    91 system
    92 technique
    93 time-bounded CSL property
    94 tolerance values
    95 uniformisation
    96 usefulness
    97 values
    98 yield answers
    99 schema:name Precise parameter synthesis for stochastic biochemical systems
    100 schema:pagination 589-623
    101 schema:productId N956862ecc429463fadc18db09170568d
    102 Nf3de6520bc35495281b7f326be1bd96d
    103 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034626612
    104 https://doi.org/10.1007/s00236-016-0265-2
    105 schema:sdDatePublished 2021-12-01T19:35
    106 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    107 schema:sdPublisher Nb67ce883604b467abf3b20ea508d6364
    108 schema:url https://doi.org/10.1007/s00236-016-0265-2
    109 sgo:license sg:explorer/license/
    110 sgo:sdDataset articles
    111 rdf:type schema:ScholarlyArticle
    112 N00fced239bd44ec19cf3dbc595756546 rdf:first sg:person.0645117057.83
    113 rdf:rest rdf:nil
    114 N673fc0c5d5d1414499993a4b93f6bd21 rdf:first sg:person.016652663056.36
    115 rdf:rest N69976c9364fa491f8dfadb5931e98e4e
    116 N69976c9364fa491f8dfadb5931e98e4e rdf:first sg:person.010040156213.45
    117 rdf:rest Ncffa288a2f1547c0b353a94b8835fee6
    118 N84023727ad61413c8830667cadb296ab rdf:first sg:person.011375012273.39
    119 rdf:rest N00fced239bd44ec19cf3dbc595756546
    120 N8a05282829c040d9be9570b6e9050d42 schema:issueNumber 6
    121 rdf:type schema:PublicationIssue
    122 N956862ecc429463fadc18db09170568d schema:name doi
    123 schema:value 10.1007/s00236-016-0265-2
    124 rdf:type schema:PropertyValue
    125 Nb67ce883604b467abf3b20ea508d6364 schema:name Springer Nature - SN SciGraph project
    126 rdf:type schema:Organization
    127 Nc29e3a993f8d4436aae07b5fb23291c8 schema:volumeNumber 54
    128 rdf:type schema:PublicationVolume
    129 Ncffa288a2f1547c0b353a94b8835fee6 rdf:first sg:person.014036566653.01
    130 rdf:rest N84023727ad61413c8830667cadb296ab
    131 Nf3de6520bc35495281b7f326be1bd96d schema:name dimensions_id
    132 schema:value pub.1034626612
    133 rdf:type schema:PropertyValue
    134 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    135 schema:name Information and Computing Sciences
    136 rdf:type schema:DefinedTerm
    137 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    138 schema:name Computation Theory and Mathematics
    139 rdf:type schema:DefinedTerm
    140 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    141 schema:name Computer Software
    142 rdf:type schema:DefinedTerm
    143 anzsrc-for:0804 schema:inDefinedTermSet anzsrc-for:
    144 schema:name Data Format
    145 rdf:type schema:DefinedTerm
    146 sg:grant.6898892 http://pending.schema.org/fundedItem sg:pub.10.1007/s00236-016-0265-2
    147 rdf:type schema:MonetaryGrant
    148 sg:journal.1133515 schema:issn 0001-5903
    149 1432-0525
    150 schema:name Acta Informatica
    151 schema:publisher Springer Nature
    152 rdf:type schema:Periodical
    153 sg:person.010040156213.45 schema:affiliation grid-institutes:grid.4991.5
    154 schema:familyName Dannenberg
    155 schema:givenName Frits
    156 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010040156213.45
    157 rdf:type schema:Person
    158 sg:person.011375012273.39 schema:affiliation grid-institutes:grid.4991.5
    159 schema:familyName Kwiatkowska
    160 schema:givenName Marta
    161 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
    162 rdf:type schema:Person
    163 sg:person.014036566653.01 schema:affiliation grid-institutes:grid.4991.5
    164 schema:familyName Paoletti
    165 schema:givenName Nicola
    166 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014036566653.01
    167 rdf:type schema:Person
    168 sg:person.016652663056.36 schema:affiliation grid-institutes:grid.4991.5
    169 schema:familyName Češka
    170 schema:givenName Milan
    171 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016652663056.36
    172 rdf:type schema:Person
    173 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
    174 schema:familyName Brim
    175 schema:givenName Luboš
    176 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
    177 rdf:type schema:Person
    178 sg:pub.10.1007/11691372_26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040209951
    179 https://doi.org/10.1007/11691372_26
    180 rdf:type schema:CreativeWork
    181 sg:pub.10.1007/3-540-61474-5_75 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046684867
    182 https://doi.org/10.1007/3-540-61474-5_75
    183 rdf:type schema:CreativeWork
    184 sg:pub.10.1007/978-3-319-08867-9_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045849965
    185 https://doi.org/10.1007/978-3-319-08867-9_23
    186 rdf:type schema:CreativeWork
    187 sg:pub.10.1007/978-3-319-12982-2_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033448179
    188 https://doi.org/10.1007/978-3-319-12982-2_7
    189 rdf:type schema:CreativeWork
    190 sg:pub.10.1007/978-3-319-21690-4_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044474057
    191 https://doi.org/10.1007/978-3-319-21690-4_12
    192 rdf:type schema:CreativeWork
    193 sg:pub.10.1007/978-3-540-72522-0_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012626164
    194 https://doi.org/10.1007/978-3-540-72522-0_6
    195 rdf:type schema:CreativeWork
    196 sg:pub.10.1007/978-3-540-73368-3_37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042148706
    197 https://doi.org/10.1007/978-3-540-73368-3_37
    198 rdf:type schema:CreativeWork
    199 sg:pub.10.1007/978-3-642-14295-6_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026773598
    200 https://doi.org/10.1007/978-3-642-14295-6_17
    201 rdf:type schema:CreativeWork
    202 sg:pub.10.1007/978-3-642-22110-1_47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027900693
    203 https://doi.org/10.1007/978-3-642-22110-1_47
    204 rdf:type schema:CreativeWork
    205 sg:pub.10.1007/978-3-642-22110-1_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000524815
    206 https://doi.org/10.1007/978-3-642-22110-1_8
    207 rdf:type schema:CreativeWork
    208 sg:pub.10.1007/978-3-642-33636-2_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025438943
    209 https://doi.org/10.1007/978-3-642-33636-2_13
    210 rdf:type schema:CreativeWork
    211 sg:pub.10.1007/978-3-642-39799-8_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029550810
    212 https://doi.org/10.1007/978-3-642-39799-8_7
    213 rdf:type schema:CreativeWork
    214 sg:pub.10.1007/978-3-642-40196-1_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046413628
    215 https://doi.org/10.1007/978-3-642-40196-1_7
    216 rdf:type schema:CreativeWork
    217 sg:pub.10.1007/978-3-642-40708-6_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018230964
    218 https://doi.org/10.1007/978-3-642-40708-6_13
    219 rdf:type schema:CreativeWork
    220 sg:pub.10.1007/978-3-642-40708-6_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028536457
    221 https://doi.org/10.1007/978-3-642-40708-6_4
    222 rdf:type schema:CreativeWork
    223 sg:pub.10.1007/bf02464424 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027081890
    224 https://doi.org/10.1007/bf02464424
    225 rdf:type schema:CreativeWork
    226 sg:pub.10.1007/s10009-010-0146-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1008242412
    227 https://doi.org/10.1007/s10009-010-0146-x
    228 rdf:type schema:CreativeWork
    229 sg:pub.10.1007/s11047-014-9426-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017889113
    230 https://doi.org/10.1007/s11047-014-9426-9
    231 rdf:type schema:CreativeWork
    232 sg:pub.10.1038/nnano.2011.253 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016540652
    233 https://doi.org/10.1038/nnano.2011.253
    234 rdf:type schema:CreativeWork
    235 grid-institutes:grid.10267.32 schema:alternateName Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
    236 schema:name Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
    237 rdf:type schema:Organization
    238 grid-institutes:grid.4991.5 schema:alternateName Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK
    239 schema:name Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK
    240 Faculty of Information Technology, Brno University of Technology, Božetěchova 1/2, 612 66, Brno, Czech Republic
    241 rdf:type schema:Organization
     




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


    ...