Detailed Information on Publication Record
2017
Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems
PASTVA, SamuelBasic information
Original name
Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems
Name (in English)
Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems
Authors
Edition
YR-CONCUR, 2017
Other information
Type of outcome
Prezentace na konferencích
Confidentiality degree
není předmětem státního či obchodního tajemství
References:
Keywords in English
systems biology;terminal strongly connected components;parameterised graphs;biological models;parallel algorithms
Tags
International impact, Reviewed
Změněno: 26/10/2017 14:54, RNDr. Samuel Pastva, Ph.D.
V originále
Complex behaviour arising in biological systems is typically characterised by various kinds of attractors. An important problem of such analysis is to determine the attractors. Biological systems are usually described by highly parameterised dynamical models that can be represented as parameterised graphs typically constructed as discrete abstractions of continuous-time models. In such models, attractors are observed in the form of terminal strongly connected components (tSCCs). We introduce a novel method for detecting tSCCs in parameterised graphs. The method is supplied with a parallel algorithm and evaluated on several non-linear biological models.
In English
Complex behaviour arising in biological systems is typically characterised by various kinds of attractors. An important problem of such analysis is to determine the attractors. Biological systems are usually described by highly parameterised dynamical models that can be represented as parameterised graphs typically constructed as discrete abstractions of continuous-time models. In such models, attractors are observed in the form of terminal strongly connected components (tSCCs). We introduce a novel method for detecting tSCCs in parameterised graphs. The method is supplied with a parallel algorithm and evaluated on several non-linear biological models.
Links
| GA15-11089S, research and development project |
| ||
| LM2015055, research and development project |
|