Estimace parametrů v diskrétních biologických modelech – Mgr. Adam Streck
Mgr. Adam Streck
Bachelor's thesis
Estimace parametrů v diskrétních biologických modelech
Parameter estimation for discrete biological models
Abstract:
Cílem bakalářské práce je poskytnou novou metodu pro automatizované prozkoumávání diskrétních biologických modelů, jejichž vlastnosti nejsou zcela specifikovány. Poskytujeme modelovací metody a algoritmy které umožňují provedení takzvané sytnézy parametrů, tedy procesu, který poskytne autorovi modelu takové hranice pro neznámé části daného modelu, že model vykazuje chování které jeho modelář požaduje …moreAbstract:
The aim of the bachelor work is to provide a new method for automated examination of discrete biological models whose behaviour is not completely specified. We provide modeling methods and algorithms that allow execution of so-called parameter synthesis, i.e., process that provides an author of a partially unknown model with boundaries for the unknown parts of the model so it exhibits behaviour the …more
Language used: English
Date on which the thesis was submitted / produced: 4. 1. 2011
Identifier:
https://is.muni.cz/th/vh511/
Thesis defence
- Date of defence: 1. 2. 2011
- Supervisor: RNDr. David Šafránek, Ph.D.
- Reader: RNDr. Mgr. Jana Dražanová
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Informatics
Theses on a related topic
-
Applying AI methods to the inference of gene regulatory networks in neural differentiation
Ondrej Kužlík -
Web editor of large gene regulatory networks in AEON
Norbert Husarčík -
Partial Order Reduction in Parallel Model Checking
Petr Ročkai -
Designing Data-Parallel Graph Algorithms for Model Checking
Milan Češka -
GPU Accelerated Enumerative Model Checking
Milan Češka -
LLVM Transformations for Model Checking
Vladimír Štill -
Parallel Breadth-First Search in LTL Model-Checking
Jiří Barnat -
Model Checking Software
Petr Ročkai