Ontology type: schema:Chapter
2015-09-02
AUTHORSLuboš Brim , Milan Češka , Martin Demko , Samuel Pastva , David Šafránek
ABSTRACTWe propose a new distributed-memory parallel algorithm for parameter synthesis from CTL hypotheses. The algorithm colours the state space transitions by different parameterisations and extends CTL model checking to identify the maximal set of parameters that guarantee the satisfaction of the given CTL property. We experimentally confirm good scalability of our approach and demonstrate its applicability in the case study of a genetic switch controlling decisions in the cell cycle. More... »
PAGES251-263
Computational Methods in Systems Biology
ISBN
978-3-319-23400-7
978-3-319-23401-4
http://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_21
DOIhttp://dx.doi.org/10.1007/978-3-319-23401-4_21
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1084713708
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"
}
],
"author": [
{
"affiliation": {
"alternateName": "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 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\u00a068a, 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\u00a068a, 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\u00a068a, 602 00, Brno, 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": "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 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\u00a068a, 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\u00a068a, 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\u00a068a, 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\u00a068a, 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\u00a068a, 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": "2015-09-02",
"datePublishedReg": "2015-09-02",
"description": "We propose a new distributed-memory parallel algorithm for parameter synthesis from CTL hypotheses. The algorithm colours the state space transitions by different parameterisations and extends CTL model checking to identify the maximal set of parameters that guarantee the satisfaction of the given CTL property. We experimentally confirm good scalability of our approach and demonstrate its applicability in the case study of a genetic switch controlling decisions in the cell\u00a0cycle.",
"editor": [
{
"familyName": "Roux",
"givenName": "Olivier",
"type": "Person"
},
{
"familyName": "Bourdon",
"givenName": "J\u00e9r\u00e9mie",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-319-23401-4_21",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-319-23400-7",
"978-3-319-23401-4"
],
"name": "Computational Methods in Systems Biology",
"type": "Book"
},
"keywords": [
"distributed-memory parallel algorithm",
"CTL model checking",
"parallel algorithm",
"parameter synthesis",
"state space transitions",
"good scalability",
"model checking",
"CTL model",
"CTL properties",
"algorithm",
"maximal set",
"scalability",
"case study",
"checking",
"set",
"applicability",
"decisions",
"model",
"space transition",
"parameterisation",
"satisfaction",
"switch",
"different parameterisations",
"parameters",
"cycle",
"transition",
"properties",
"approach",
"study",
"genetic switch",
"synthesis",
"hypothesis",
"cells"
],
"name": "Parameter Synthesis by Parallel Coloured CTL Model Checking",
"pagination": "251-263",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1084713708"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-319-23401-4_21"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-319-23401-4_21",
"https://app.dimensions.ai/details/publication/pub.1084713708"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-10T10:39",
"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_170.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-319-23401-4_21"
}
]Download the RDF metadata as: json-ld nt turtle xml License info
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-23401-4_21'
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-23401-4_21'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_21'
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-23401-4_21'
This table displays all metadata directly associated to this object as RDF triples.
126 TRIPLES
23 PREDICATES
58 URIs
51 LITERALS
7 BLANK NODES