High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2016-09-04

AUTHORS

Martin Demko , Nikola Beneš , Luboš Brim , Samuel Pastva , David Šafránek

ABSTRACT

Complex behaviour arising in biological systems is described by highly parameterised dynamical models. Most of the parameters are mutually dependent and therefore it is hard and computationally demanding to find admissible parameter values with respect to hypothesised constraints and wet-lab measurements. Recently, we have developed several high-performance techniques for parameter synthesis that are based on parallel coloured model checking. These methods allow to obtain parameter values that guarantee satisfaction of a given set of dynamical properties and parameter constraints. In this paper, we review the applicability of our techniques in the context of biological systems. In particular, we provide an extended analysis of a genetic switch controlling the regulation in mammalian cell cycle phase transition and a synthetic pathway for biodegradation of a toxic pollutant in E. coli. More... »

PAGES

82-97

Book

TITLE

Computational Methods in Systems Biology

ISBN

978-3-319-45176-3
978-3-319-45177-0

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-45177-0_6

DOI

http://dx.doi.org/10.1007/978-3-319-45177-0_6

DIMENSIONS

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


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/0102", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Applied Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory, 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, Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Demko", 
        "givenName": "Martin", 
        "id": "sg:person.016566512611.71", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566512611.71"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory, 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, 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, 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, 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, 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, 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, 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, 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": "2016-09-04", 
    "datePublishedReg": "2016-09-04", 
    "description": "Complex behaviour arising in biological systems is described by highly parameterised dynamical models. Most of the parameters are mutually dependent and therefore it is hard and computationally demanding to find admissible parameter values with respect to hypothesised constraints and wet-lab measurements. Recently, we have developed several high-performance techniques for parameter synthesis that are based on parallel coloured model checking. These methods allow to obtain parameter values that guarantee satisfaction of a given set of dynamical properties and parameter constraints. In this paper, we review the applicability of our techniques in the context of biological systems. In particular, we provide an extended analysis of a genetic switch controlling the regulation in mammalian cell cycle phase transition and a synthetic pathway for biodegradation of a toxic pollutant in E. coli.", 
    "editor": [
      {
        "familyName": "Bartocci", 
        "givenName": "Ezio", 
        "type": "Person"
      }, 
      {
        "familyName": "Lio", 
        "givenName": "Pietro", 
        "type": "Person"
      }, 
      {
        "familyName": "Paoletti", 
        "givenName": "Nicola", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-45177-0_6", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-45176-3", 
        "978-3-319-45177-0"
      ], 
      "name": "Computational Methods in Systems Biology", 
      "type": "Book"
    }, 
    "keywords": [
      "parameter synthesis", 
      "parameter values", 
      "admissible parameter values", 
      "dynamical model", 
      "dynamical properties", 
      "parameter constraints", 
      "phase transition", 
      "high-performance techniques", 
      "biological systems", 
      "complex behavior", 
      "constraints", 
      "biological models", 
      "model checking", 
      "model", 
      "extended analysis", 
      "system", 
      "parameters", 
      "technique", 
      "genetic switch", 
      "applicability", 
      "set", 
      "transition", 
      "cell cycle phase transition", 
      "properties", 
      "case study", 
      "values", 
      "respect", 
      "measurements", 
      "behavior", 
      "checking", 
      "switch", 
      "analysis", 
      "context", 
      "synthesis", 
      "study", 
      "pollutants", 
      "satisfaction", 
      "regulation", 
      "toxic pollutants", 
      "biodegradation", 
      "pathway", 
      "paper", 
      "synthetic pathway", 
      "method", 
      "coli"
    ], 
    "name": "High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study", 
    "pagination": "82-97", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1003714625"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-45177-0_6"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-45177-0_6", 
      "https://app.dimensions.ai/details/publication/pub.1003714625"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:47", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_336.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-45177-0_6"
  }
]
 

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-45177-0_6'

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-45177-0_6'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-45177-0_6'

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-45177-0_6'


 

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

143 TRIPLES      23 PREDICATES      70 URIs      63 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-45177-0_6 schema:about anzsrc-for:01
2 anzsrc-for:0102
3 schema:author N15842246fe964a21ab4387c484ffc8ff
4 schema:datePublished 2016-09-04
5 schema:datePublishedReg 2016-09-04
6 schema:description Complex behaviour arising in biological systems is described by highly parameterised dynamical models. Most of the parameters are mutually dependent and therefore it is hard and computationally demanding to find admissible parameter values with respect to hypothesised constraints and wet-lab measurements. Recently, we have developed several high-performance techniques for parameter synthesis that are based on parallel coloured model checking. These methods allow to obtain parameter values that guarantee satisfaction of a given set of dynamical properties and parameter constraints. In this paper, we review the applicability of our techniques in the context of biological systems. In particular, we provide an extended analysis of a genetic switch controlling the regulation in mammalian cell cycle phase transition and a synthetic pathway for biodegradation of a toxic pollutant in E. coli.
7 schema:editor Ncb7e51faed7145dea470c3b32dda75b0
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nef89337727fd4012b48a217cf0c8df17
12 schema:keywords admissible parameter values
13 analysis
14 applicability
15 behavior
16 biodegradation
17 biological models
18 biological systems
19 case study
20 cell cycle phase transition
21 checking
22 coli
23 complex behavior
24 constraints
25 context
26 dynamical model
27 dynamical properties
28 extended analysis
29 genetic switch
30 high-performance techniques
31 measurements
32 method
33 model
34 model checking
35 paper
36 parameter constraints
37 parameter synthesis
38 parameter values
39 parameters
40 pathway
41 phase transition
42 pollutants
43 properties
44 regulation
45 respect
46 satisfaction
47 set
48 study
49 switch
50 synthesis
51 synthetic pathway
52 system
53 technique
54 toxic pollutants
55 transition
56 values
57 schema:name High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
58 schema:pagination 82-97
59 schema:productId Ncfd5059392874b43add4afaac0860bd1
60 Nd0832c64939d442cb8424dc047483067
61 schema:publisher N09fe3b8471c24ef09f2db20d408af1ac
62 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003714625
63 https://doi.org/10.1007/978-3-319-45177-0_6
64 schema:sdDatePublished 2022-05-10T10:47
65 schema:sdLicense https://scigraph.springernature.com/explorer/license/
66 schema:sdPublisher N32f9a375600f4ed58c0e5baf9d02988a
67 schema:url https://doi.org/10.1007/978-3-319-45177-0_6
68 sgo:license sg:explorer/license/
69 sgo:sdDataset chapters
70 rdf:type schema:Chapter
71 N000be15452134ff0bc20c04a3d5d0245 rdf:first sg:person.014465763501.21
72 rdf:rest N5ce29c14673943b99092f4238efd2b3c
73 N09fe3b8471c24ef09f2db20d408af1ac schema:name Springer Nature
74 rdf:type schema:Organisation
75 N13bb664766ee42c18ab1e6a4e8294a8e rdf:first N50d2b3924e6f4e9094842487c28db13a
76 rdf:rest Nad84d89a14cb41fbadb54774de461561
77 N15842246fe964a21ab4387c484ffc8ff rdf:first sg:person.016566512611.71
78 rdf:rest N000be15452134ff0bc20c04a3d5d0245
79 N2757170d64d048e08afcf17bf0641eb6 schema:familyName Bartocci
80 schema:givenName Ezio
81 rdf:type schema:Person
82 N32f9a375600f4ed58c0e5baf9d02988a schema:name Springer Nature - SN SciGraph project
83 rdf:type schema:Organization
84 N4d75b59f3d1342ddbcd6baf21036599a rdf:first sg:person.016130263073.10
85 rdf:rest N63b628e7d28c4e89a2b565f3167a141a
86 N50d2b3924e6f4e9094842487c28db13a schema:familyName Lio
87 schema:givenName Pietro
88 rdf:type schema:Person
89 N5ce29c14673943b99092f4238efd2b3c rdf:first sg:person.0645117057.83
90 rdf:rest N4d75b59f3d1342ddbcd6baf21036599a
91 N63b628e7d28c4e89a2b565f3167a141a rdf:first sg:person.011410250615.43
92 rdf:rest rdf:nil
93 Nad84d89a14cb41fbadb54774de461561 rdf:first Nd79a02a0543643f599d3614a723e30f8
94 rdf:rest rdf:nil
95 Ncb7e51faed7145dea470c3b32dda75b0 rdf:first N2757170d64d048e08afcf17bf0641eb6
96 rdf:rest N13bb664766ee42c18ab1e6a4e8294a8e
97 Ncfd5059392874b43add4afaac0860bd1 schema:name doi
98 schema:value 10.1007/978-3-319-45177-0_6
99 rdf:type schema:PropertyValue
100 Nd0832c64939d442cb8424dc047483067 schema:name dimensions_id
101 schema:value pub.1003714625
102 rdf:type schema:PropertyValue
103 Nd79a02a0543643f599d3614a723e30f8 schema:familyName Paoletti
104 schema:givenName Nicola
105 rdf:type schema:Person
106 Nef89337727fd4012b48a217cf0c8df17 schema:isbn 978-3-319-45176-3
107 978-3-319-45177-0
108 schema:name Computational Methods in Systems Biology
109 rdf:type schema:Book
110 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
111 schema:name Mathematical Sciences
112 rdf:type schema:DefinedTerm
113 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
114 schema:name Applied Mathematics
115 rdf:type schema:DefinedTerm
116 sg:person.011410250615.43 schema:affiliation grid-institutes:grid.10267.32
117 schema:familyName Šafránek
118 schema:givenName David
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43
120 rdf:type schema:Person
121 sg:person.014465763501.21 schema:affiliation grid-institutes:grid.10267.32
122 schema:familyName Beneš
123 schema:givenName Nikola
124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014465763501.21
125 rdf:type schema:Person
126 sg:person.016130263073.10 schema:affiliation grid-institutes:grid.10267.32
127 schema:familyName Pastva
128 schema:givenName Samuel
129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016130263073.10
130 rdf:type schema:Person
131 sg:person.016566512611.71 schema:affiliation grid-institutes:grid.10267.32
132 schema:familyName Demko
133 schema:givenName Martin
134 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566512611.71
135 rdf:type schema:Person
136 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
137 schema:familyName Brim
138 schema:givenName Luboš
139 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
140 rdf:type schema:Person
141 grid-institutes:grid.10267.32 schema:alternateName Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
142 schema:name Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
143 rdf:type schema:Organization
 




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


...