PC Member of SASB 2015

ŠAFRÁNEK, David. PC Member of SASB 2015. The Sixth International Workshop on Static Analysis and Systems Biology (SASB 2015), 2015.

Základní údaje

Originální název

PC Member of SASB 2015

Autoři

ŠAFRÁNEK, David (203 Česká republika, garant, domácí)

Vydání

2015

Nakladatel

The Sixth International Workshop on Static Analysis and Systems Biology (SASB 2015)

---

Další údaje

Jazyk

angličtina

Typ výsledku

Členství ve věd. radách, odb. grémiích, expert. komisích apod.

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

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

Odkazy

URL

Kód RIV

RIV/00216224:14330/15:00084283

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

systems biology; static analysis; formal methods

Příznaky

Mezinárodní význam

---

Anotace

V originále

SASB aims at promoting discussions and collaborations between biologists (modelers), computer scientists and applied-mathematicians interested in designing or using methods to reduce the complexity of modeling, simulating or analyzing biological systems. Static analysis refers to a wide range of techniques for characterizing and identifying important features from a model without its exhaustive execution. Static analysis is used for helping the design of models, the test of models against experimental data, and the prediction of behaviors. Static analysis may involve, for instance, modeling paradigms, such as rule-based modeling, that ease the characterization of the behaviors of a model; abstractions that prevent a full exploration of the potential concrete behaviors; algebraic representations and transformations that ease the computation of various properties; model reductions, that decrease the dimension of a model while preserving important behaviors; characterization of dynamical properties with respect to the topology of the model; etc.