Precise Parameter Synthesis for Stochastic Biochemical Systems View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2014

AUTHORS

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

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/minimised. We develop algorithms based on the computation of lower and upper bounds of the probability, in conjunction with refinement and sampling, which yield answers that are precise to within an arbitrarily small tolerance value. Our methods are efficient and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for two biologically motivated case studies, including the reliability analysis of a DNA walker. More... »

PAGES

86-98

Book

TITLE

Computational Methods in Systems Biology

ISBN

978-3-319-12981-5
978-3-319-12982-2

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-12982-2_7

DOI

http://dx.doi.org/10.1007/978-3-319-12982-2_7

DIMENSIONS

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


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/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0104", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Statistics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Faculty of Informatics, Masaryk University, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Department of Computer Science, University of Oxford, UK", 
            "Faculty of Informatics, Masaryk University, Czech Republic"
          ], 
          "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, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Department of Computer Science, University of 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, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Department of Computer Science, University of 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": "Department of Computer Science, University of Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Department of Computer Science, University of 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"
      }
    ], 
    "datePublished": "2014", 
    "datePublishedReg": "2014-01-01", 
    "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/minimised. We develop algorithms based on the computation of lower and upper bounds of the probability, in conjunction with refinement and sampling, which yield answers that are precise to within an arbitrarily small tolerance value. Our methods are efficient and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for two biologically motivated case studies, including the reliability analysis of a DNA walker.", 
    "editor": [
      {
        "familyName": "Mendes", 
        "givenName": "Pedro", 
        "type": "Person"
      }, 
      {
        "familyName": "Dada", 
        "givenName": "Joseph O.", 
        "type": "Person"
      }, 
      {
        "familyName": "Smallbone", 
        "givenName": "Kieran", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-12982-2_7", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-319-12981-5", 
        "978-3-319-12982-2"
      ], 
      "name": "Computational Methods in Systems Biology", 
      "type": "Book"
    }, 
    "keywords": [
      "stochastic biochemical networks", 
      "stochastic biochemical systems", 
      "Precise Parameter Synthesis", 
      "small tolerance value", 
      "motivated case study", 
      "biochemical networks", 
      "approximate technique", 
      "parameter synthesis", 
      "upper bounds", 
      "reliability analysis", 
      "biochemical systems", 
      "CSL property", 
      "quantitative properties", 
      "tolerance values", 
      "discretisation", 
      "probability", 
      "rate parameters", 
      "bounds", 
      "computation", 
      "algorithm", 
      "problem", 
      "network", 
      "case study", 
      "properties", 
      "parameters", 
      "system", 
      "refinement", 
      "sampling", 
      "Walker", 
      "technique", 
      "answers", 
      "DNA walker", 
      "usefulness", 
      "cases", 
      "conjunction", 
      "analysis", 
      "values", 
      "rate", 
      "study", 
      "synthesis", 
      "method", 
      "time-bounded CSL property"
    ], 
    "name": "Precise Parameter Synthesis for Stochastic Biochemical Systems", 
    "pagination": "86-98", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1033448179"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-12982-2_7"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-12982-2_7", 
      "https://app.dimensions.ai/details/publication/pub.1033448179"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T18:45", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_102.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-12982-2_7"
  }
]
 

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-319-12982-2_7'

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-319-12982-2_7'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-12982-2_7'

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-319-12982-2_7'


 

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

137 TRIPLES      23 PREDICATES      68 URIs      61 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-12982-2_7 schema:about anzsrc-for:01
2 anzsrc-for:0104
3 schema:author N584cffb4d17c4afbad7e31d6fbef52e0
4 schema:datePublished 2014
5 schema:datePublishedReg 2014-01-01
6 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/minimised. We develop algorithms based on the computation of lower and upper bounds of the probability, in conjunction with refinement and sampling, which yield answers that are precise to within an arbitrarily small tolerance value. Our methods are efficient and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for two biologically motivated case studies, including the reliability analysis of a DNA walker.
7 schema:editor N44cf7422068c4d73977b9f466c24e681
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf Nf8e9fa4702174dff8921585a18c9782d
12 schema:keywords CSL property
13 DNA walker
14 Precise Parameter Synthesis
15 Walker
16 algorithm
17 analysis
18 answers
19 approximate technique
20 biochemical networks
21 biochemical systems
22 bounds
23 case study
24 cases
25 computation
26 conjunction
27 discretisation
28 method
29 motivated case study
30 network
31 parameter synthesis
32 parameters
33 probability
34 problem
35 properties
36 quantitative properties
37 rate
38 rate parameters
39 refinement
40 reliability analysis
41 sampling
42 small tolerance value
43 stochastic biochemical networks
44 stochastic biochemical systems
45 study
46 synthesis
47 system
48 technique
49 time-bounded CSL property
50 tolerance values
51 upper bounds
52 usefulness
53 values
54 schema:name Precise Parameter Synthesis for Stochastic Biochemical Systems
55 schema:pagination 86-98
56 schema:productId N3133b1972efc4bb7a88d4849a2acde3b
57 Nc6fde8437f19492581dab566bf6b2503
58 schema:publisher N63684ea2f59c4e4b95ac45444282dc16
59 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033448179
60 https://doi.org/10.1007/978-3-319-12982-2_7
61 schema:sdDatePublished 2021-11-01T18:45
62 schema:sdLicense https://scigraph.springernature.com/explorer/license/
63 schema:sdPublisher Nc1a8920f3f3e49feb9692ecc86a5d823
64 schema:url https://doi.org/10.1007/978-3-319-12982-2_7
65 sgo:license sg:explorer/license/
66 sgo:sdDataset chapters
67 rdf:type schema:Chapter
68 N12d77500827a4ba0ae48a783c936ef61 schema:familyName Mendes
69 schema:givenName Pedro
70 rdf:type schema:Person
71 N2bbd8f280ec64ab9ad6a968671e2b2bf rdf:first sg:person.010040156213.45
72 rdf:rest Nfc15544074e344fd8b71a340c329b752
73 N3133b1972efc4bb7a88d4849a2acde3b schema:name dimensions_id
74 schema:value pub.1033448179
75 rdf:type schema:PropertyValue
76 N44cf7422068c4d73977b9f466c24e681 rdf:first N12d77500827a4ba0ae48a783c936ef61
77 rdf:rest Nab168373db4943bb80c8cac0397b6af2
78 N584cffb4d17c4afbad7e31d6fbef52e0 rdf:first sg:person.016652663056.36
79 rdf:rest N2bbd8f280ec64ab9ad6a968671e2b2bf
80 N6011c8704c8744cbb9a11c8bf9a254b6 schema:familyName Smallbone
81 schema:givenName Kieran
82 rdf:type schema:Person
83 N63684ea2f59c4e4b95ac45444282dc16 schema:name Springer Nature
84 rdf:type schema:Organisation
85 N83be7a77ee28432388d9496d3bb6256e schema:familyName Dada
86 schema:givenName Joseph O.
87 rdf:type schema:Person
88 Nab168373db4943bb80c8cac0397b6af2 rdf:first N83be7a77ee28432388d9496d3bb6256e
89 rdf:rest Nce820c39b7464065bc745c601efd820e
90 Nc1a8920f3f3e49feb9692ecc86a5d823 schema:name Springer Nature - SN SciGraph project
91 rdf:type schema:Organization
92 Nc6fde8437f19492581dab566bf6b2503 schema:name doi
93 schema:value 10.1007/978-3-319-12982-2_7
94 rdf:type schema:PropertyValue
95 Nce820c39b7464065bc745c601efd820e rdf:first N6011c8704c8744cbb9a11c8bf9a254b6
96 rdf:rest rdf:nil
97 Nd26295603fac4e649916b0e787539694 rdf:first sg:person.014036566653.01
98 rdf:rest rdf:nil
99 Nf8e9fa4702174dff8921585a18c9782d schema:isbn 978-3-319-12981-5
100 978-3-319-12982-2
101 schema:name Computational Methods in Systems Biology
102 rdf:type schema:Book
103 Nfc15544074e344fd8b71a340c329b752 rdf:first sg:person.011375012273.39
104 rdf:rest Nd26295603fac4e649916b0e787539694
105 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
106 schema:name Mathematical Sciences
107 rdf:type schema:DefinedTerm
108 anzsrc-for:0104 schema:inDefinedTermSet anzsrc-for:
109 schema:name Statistics
110 rdf:type schema:DefinedTerm
111 sg:person.010040156213.45 schema:affiliation grid-institutes:grid.4991.5
112 schema:familyName Dannenberg
113 schema:givenName Frits
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010040156213.45
115 rdf:type schema:Person
116 sg:person.011375012273.39 schema:affiliation grid-institutes:grid.4991.5
117 schema:familyName Kwiatkowska
118 schema:givenName Marta
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
120 rdf:type schema:Person
121 sg:person.014036566653.01 schema:affiliation grid-institutes:grid.4991.5
122 schema:familyName Paoletti
123 schema:givenName Nicola
124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014036566653.01
125 rdf:type schema:Person
126 sg:person.016652663056.36 schema:affiliation grid-institutes:grid.10267.32
127 schema:familyName Češka
128 schema:givenName Milan
129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016652663056.36
130 rdf:type schema:Person
131 grid-institutes:grid.10267.32 schema:alternateName Faculty of Informatics, Masaryk University, Czech Republic
132 schema:name Department of Computer Science, University of Oxford, UK
133 Faculty of Informatics, Masaryk University, Czech Republic
134 rdf:type schema:Organization
135 grid-institutes:grid.4991.5 schema:alternateName Department of Computer Science, University of Oxford, UK
136 schema:name Department of Computer Science, University of Oxford, UK
137 rdf:type schema:Organization
 




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


...