Efektivní identifikace parametrů genových regulačních sítí – Bc. Adam Streck
Bc. Adam Streck
Master's thesis
Efektivní identifikace parametrů genových regulačních sítí
Efficient parameter identification for gene regulatory networks
Abstract:
Účelem závěrečné práce je rozšířit předchozí výzkum provedený v laboratoři Sybila a publikovaný v článku "On Parameter Synthesis by Parallel Model Checking" [TCBB, vol.9, 2011]. Hlavním cílem výzkumu se stalo vytvoření algoritmů pro účinnou formální analýzu genových regulačních sítí (GRN) reprezentovaných pomocí diskrétního formalismu parametrizovaných Thomových sítí. V této práci by student měl uvést …moreAbstract:
The objective of the thesis is to extend the research previously conducted in the Sybila laboratory and published in the paper "On Parameter Synthesis by Parallel Model Checking" [TCBB, vol.9, 2011]. Main goal of the research is development of algorithms for efficient formal analysis of gene regulatory networks (GRN) represented by means of a discrete formalism of parametrized Thomas networks. In the …more
Language used: English
Date on which the thesis was submitted / produced: 7. 1. 2013
Identifier:
https://is.muni.cz/th/ioau1/
Thesis defence
- Date of defence: 14. 2. 2013
- Supervisor: RNDr. David Šafránek, Ph.D.
- Reader: RNDr. Milan Češka, Ph.D.
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 InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems
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 -
Formal Analysis of Rule-Based Models in Systems Biology
Matej Troják -
Formal representation of graphical models of biological systems
Samuel Kulíšek -
Visual Specification of Temporal Properties over Time Series
Tomáš Vejpustek -
Time Series Analysis of Cryptocurrencies
Tural Dadashzade