Toward Modelling and Analysis of Transient and Sustained
Behaviour of Signalling Pathways

D 2016

Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways

HAJNAL, Matej, David ŠAFRÁNEK, Martin DEMKO, Samuel PASTVA, Pavel KREJČÍ et. al.

Basic information

Original name

Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways

Authors

HAJNAL, Matej (703 Slovakia, belonging to the institution), David ŠAFRÁNEK (203 Czech Republic, guarantor, belonging to the institution), Martin DEMKO (703 Slovakia, belonging to the institution), Samuel PASTVA (703 Slovakia, belonging to the institution), Pavel KREJČÍ (203 Czech Republic, belonging to the institution) and Luboš BRIM (203 Czech Republic, belonging to the institution)

Edition

LNBI 9957. Neuveden, Hybrid Systems Biology. HSB 2016, p. 57-66, 10 pp. 2016

Publisher

Springer International Publishing

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

printed version "print"

Impact factor

Impact factor: 0.402 in 2005

RIV identification code

RIV/00216224:14330/16:00088117

Organization unit

Faculty of Informatics

ISBN

978-3-319-47150-1

ISSN

DOI

http://dx.doi.org/10.1007/978-3-319-47151-8_4

UT WoS

000389928100004

Keywords in English

signalling pathways; systems biology; parameter synthesis; dynamical systems; parameter estimation

Abstract

V originále

Signalling pathways provide a complex cellular information processing machinery that evaluates particular input stimuli and transfers them into the genome by means of regulation of specific genes expression. In this short paper, we provide a preliminary study targeting minimal models representing the topology of main signalling mechanisms. A special emphasis is given to distinguishing between monotonous (sustained) and non-monotonous (transient) time-course behaviour. A set of minimal parametrised ODE models is formulated and analysed in a workflow based on formal methods.

Links

GA15-11089S, research and development project

Name: Získávání parametrů biologických modelů pomocí techniky ověřování modelů

Investor: Czech Science Foundation

LM2015055, research and development project

Name: Centrum pro systémovou biologii (Acronym: C4SYS)

Investor: Ministry of Education, Youth and Sports of the CR

MUNI/A/0945/2015, interní kód MU

Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V.

Investor: Masaryk University, Category A

Citovat

HAJNAL, Matej, David ŠAFRÁNEK, Martin DEMKO, Samuel PASTVA, Pavel KREJČÍ and Luboš BRIM. Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. In Eugenio Cinquemani. Hybrid Systems Biology. HSB 2016. LNBI 9957. Neuveden: Springer International Publishing, 2016, p. 57-66. ISBN 978-3-319-47150-1. Available from: https://dx.doi.org/10.1007/978-3-319-47151-8_4.

@inproceedings{1353254,
   author = {Hajnal, Matej and Šafránek, David and Demko, Martin and Pastva, Samuel and Krejčí, Pavel and Brim, Luboš},
   address = {Neuveden},
   booktitle = {Hybrid Systems Biology. HSB 2016},
   doi = {http://dx.doi.org/10.1007/978-3-319-47151-8_4},
   edition = {LNBI 9957},
   editor = {Eugenio Cinquemani},
   keywords = {signalling pathways; systems biology; parameter synthesis; dynamical systems; parameter estimation},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Neuveden},
   isbn = {978-3-319-47150-1},
   pages = {57-66},
   publisher = {Springer International Publishing},
   title = {Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways},
   year = {2016}
}

TY  - JOUR
ID  - 1353254
AU  - Hajnal, Matej - Šafránek, David - Demko, Martin - Pastva, Samuel - Krejčí, Pavel - Brim, Luboš
PY  - 2016
TI  - Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
PB  - Springer International Publishing
CY  - Neuveden
SN  - 9783319471501
KW  - signalling pathways
KW  - systems biology
KW  - parameter synthesis
KW  - dynamical systems
KW  - parameter estimation
N2  - Signalling pathways provide a complex cellular information processing machinery that evaluates particular input stimuli and transfers them into the genome by means of regulation of specific genes expression. In this short paper, we provide a preliminary study targeting minimal models representing the topology of main signalling mechanisms. A special emphasis is given to distinguishing between monotonous (sustained) and non-monotonous (transient) time-course behaviour. A set of minimal parametrised ODE models is formulated and analysed in a workflow based on formal methods.
ER  -

HAJNAL, Matej, David ŠAFRÁNEK, Martin DEMKO, Samuel PASTVA, Pavel KREJČÍ and Luboš BRIM. Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. In Eugenio Cinquemani. \textit{Hybrid Systems Biology. HSB 2016}. LNBI 9957. Neuveden: Springer International Publishing, 2016, p.~57-66. ISBN~978-3-319-47150-1. Available from: https://dx.doi.org/10.1007/978-3-319-47151-8\_{}4.

Detailed Information on Publication Record