AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2020-07-14

AUTHORS

Nikola Beneš , Luboš Brim , Jakub Kadlecaj , Samuel Pastva , David Šafránek

ABSTRACT

Boolean networks (BNs) provide an effective modelling tool for various phenomena from science and engineering. Any long-term behaviour of a BN eventually converges to a so-called attractor. Depending on various logical parameters, the structure and quality of attractors can undergo a significant change, known as a bifurcation. We present a tool for analysing bifurcations in asynchronous parametrised Boolean networks. To fight the state-space and parameter-space explosion problem the tool uses a parallel semi-symbolic algorithm. More... »

PAGES

569-581

Book

TITLE

Computer Aided Verification

ISBN

978-3-030-53287-1
978-3-030-53288-8

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-030-53288-8_28

DOI

http://dx.doi.org/10.1007/978-3-030-53288-8_28

DIMENSIONS

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


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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, 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": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, 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": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kadlecaj", 
        "givenName": "Jakub", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, 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": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, 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": "2020-07-14", 
    "datePublishedReg": "2020-07-14", 
    "description": "Boolean networks (BNs) provide an effective modelling tool for various phenomena from science and engineering. Any long-term behaviour of a\u00a0BN eventually converges to a so-called attractor. Depending on various logical parameters, the structure and quality of attractors can undergo a significant change, known as a\u00a0bifurcation. We present a\u00a0tool for analysing bifurcations in asynchronous parametrised Boolean networks. To fight the state-space and parameter-space explosion problem the tool uses a parallel semi-symbolic algorithm.", 
    "editor": [
      {
        "familyName": "Lahiri", 
        "givenName": "Shuvendu K.", 
        "type": "Person"
      }, 
      {
        "familyName": "Wang", 
        "givenName": "Chao", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-030-53288-8_28", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-030-53287-1", 
        "978-3-030-53288-8"
      ], 
      "name": "Computer Aided Verification", 
      "type": "Book"
    }, 
    "keywords": [
      "Boolean networks", 
      "effective modelling tool", 
      "bifurcation analysis", 
      "attractors", 
      "modelling tools", 
      "explosion problem", 
      "long-term behavior", 
      "bifurcation", 
      "logical parameters", 
      "network", 
      "algorithm", 
      "problem", 
      "parameters", 
      "tool", 
      "phenomenon", 
      "structure", 
      "engineering", 
      "behavior", 
      "science", 
      "analysis", 
      "quality", 
      "changes", 
      "significant changes"
    ], 
    "name": "AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks", 
    "pagination": "569-581", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1129384094"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-030-53288-8_28"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-030-53288-8_28", 
      "https://app.dimensions.ai/details/publication/pub.1129384094"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:49", 
    "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_64.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-030-53288-8_28"
  }
]
 

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-030-53288-8_28'

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-030-53288-8_28'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-53288-8_28'

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-030-53288-8_28'


 

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

115 TRIPLES      23 PREDICATES      48 URIs      41 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-030-53288-8_28 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nd89f0464e5354a7db637d1fe31a377b5
4 schema:datePublished 2020-07-14
5 schema:datePublishedReg 2020-07-14
6 schema:description Boolean networks (BNs) provide an effective modelling tool for various phenomena from science and engineering. Any long-term behaviour of a BN eventually converges to a so-called attractor. Depending on various logical parameters, the structure and quality of attractors can undergo a significant change, known as a bifurcation. We present a tool for analysing bifurcations in asynchronous parametrised Boolean networks. To fight the state-space and parameter-space explosion problem the tool uses a parallel semi-symbolic algorithm.
7 schema:editor N9f155e4001484e4592632417e54cc852
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf Nc5cabf3efb3d4166be844c3181285abe
12 schema:keywords Boolean networks
13 algorithm
14 analysis
15 attractors
16 behavior
17 bifurcation
18 bifurcation analysis
19 changes
20 effective modelling tool
21 engineering
22 explosion problem
23 logical parameters
24 long-term behavior
25 modelling tools
26 network
27 parameters
28 phenomenon
29 problem
30 quality
31 science
32 significant changes
33 structure
34 tool
35 schema:name AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
36 schema:pagination 569-581
37 schema:productId N93208636c29b40208efe1fe70a8a7596
38 Nf36478b2e56c461988356b6e1a8ae849
39 schema:publisher N1876c625f1b6493194388938884de5f6
40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1129384094
41 https://doi.org/10.1007/978-3-030-53288-8_28
42 schema:sdDatePublished 2022-05-20T07:49
43 schema:sdLicense https://scigraph.springernature.com/explorer/license/
44 schema:sdPublisher Naa0de36a5c5f4beebfe7574b92fce814
45 schema:url https://doi.org/10.1007/978-3-030-53288-8_28
46 sgo:license sg:explorer/license/
47 sgo:sdDataset chapters
48 rdf:type schema:Chapter
49 N1876c625f1b6493194388938884de5f6 schema:name Springer Nature
50 rdf:type schema:Organisation
51 N3d9c4bd227394d8abe8273112c9d9543 schema:familyName Lahiri
52 schema:givenName Shuvendu K.
53 rdf:type schema:Person
54 N4be9b2337ace4b02aaa7d3d8b2d7a7ee schema:familyName Wang
55 schema:givenName Chao
56 rdf:type schema:Person
57 N54a8ae78e5d04f91b4bfbe295d5166ba rdf:first sg:person.016130263073.10
58 rdf:rest N990d1004e98947518881d0f912d8597d
59 N653396186fa64242ac2a23558b9facda rdf:first Nac050ebd33644434acefc8b8128a394c
60 rdf:rest N54a8ae78e5d04f91b4bfbe295d5166ba
61 N93208636c29b40208efe1fe70a8a7596 schema:name doi
62 schema:value 10.1007/978-3-030-53288-8_28
63 rdf:type schema:PropertyValue
64 N990d1004e98947518881d0f912d8597d rdf:first sg:person.011410250615.43
65 rdf:rest rdf:nil
66 N9f155e4001484e4592632417e54cc852 rdf:first N3d9c4bd227394d8abe8273112c9d9543
67 rdf:rest Nb5996192b4b74ab7af26e0434bb18c82
68 Naa0de36a5c5f4beebfe7574b92fce814 schema:name Springer Nature - SN SciGraph project
69 rdf:type schema:Organization
70 Nac050ebd33644434acefc8b8128a394c schema:affiliation grid-institutes:grid.10267.32
71 schema:familyName Kadlecaj
72 schema:givenName Jakub
73 rdf:type schema:Person
74 Nb5996192b4b74ab7af26e0434bb18c82 rdf:first N4be9b2337ace4b02aaa7d3d8b2d7a7ee
75 rdf:rest rdf:nil
76 Nc5cabf3efb3d4166be844c3181285abe schema:isbn 978-3-030-53287-1
77 978-3-030-53288-8
78 schema:name Computer Aided Verification
79 rdf:type schema:Book
80 Nd89f0464e5354a7db637d1fe31a377b5 rdf:first sg:person.014465763501.21
81 rdf:rest Nf0b1d02027f64dd48afbf58f49b4177c
82 Nf0b1d02027f64dd48afbf58f49b4177c rdf:first sg:person.0645117057.83
83 rdf:rest N653396186fa64242ac2a23558b9facda
84 Nf36478b2e56c461988356b6e1a8ae849 schema:name dimensions_id
85 schema:value pub.1129384094
86 rdf:type schema:PropertyValue
87 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
88 schema:name Information and Computing Sciences
89 rdf:type schema:DefinedTerm
90 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
91 schema:name Computation Theory and Mathematics
92 rdf:type schema:DefinedTerm
93 sg:person.011410250615.43 schema:affiliation grid-institutes:grid.10267.32
94 schema:familyName Šafránek
95 schema:givenName David
96 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43
97 rdf:type schema:Person
98 sg:person.014465763501.21 schema:affiliation grid-institutes:grid.10267.32
99 schema:familyName Beneš
100 schema:givenName Nikola
101 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014465763501.21
102 rdf:type schema:Person
103 sg:person.016130263073.10 schema:affiliation grid-institutes:grid.10267.32
104 schema:familyName Pastva
105 schema:givenName Samuel
106 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016130263073.10
107 rdf:type schema:Person
108 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
109 schema:familyName Brim
110 schema:givenName Luboš
111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
112 rdf:type schema:Person
113 grid-institutes:grid.10267.32 schema:alternateName Faculty of Informatics, Masaryk University, Brno, Czech Republic
114 schema:name Faculty of Informatics, Masaryk University, Brno, Czech Republic
115 rdf:type schema:Organization
 




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


...