ŠAFRÁNEK, David. PC Member of SASB 2015 (The Sixth International Workshop on Static Analysis and Systems Biology (SASB 2015)). The Sixth International Workshop on Static Analysis and Systems Biology (SASB 2015), 2015.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name PC Member of SASB 2015
Authors ŠAFRÁNEK, David (203 Czech Republic, guarantor, belonging to the institution).
Edition 2015.
Publisher The Sixth International Workshop on Static Analysis and Systems Biology (SASB 2015)
Other information
Original language English
Type of outcome Membership in academic boards, specialist panels, and other similar bodies
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
WWW URL
RIV identification code RIV/00216224:14330/15:00084283
Organization unit Faculty of Informatics
Keywords in English systems biology; static analysis; formal methods
Tags International impact
Changed by Changed by: doc. RNDr. David Šafránek, Ph.D., učo 3159. Changed: 19/10/2015 12:21.
Abstract
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.
PrintDisplayed: 31/5/2024 03:11