Efektivní identifikace parametrů genových regulačních sítí – Bc. Adam Streck
Bc. Adam Streck
Diplomová práce
Efektivní identifikace parametrů genových regulačních sítí
Efficient parameter identification for gene regulatory networks
Anotace:
Úč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 …víceAbstract:
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 …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 7. 1. 2013
Identifikátor:
https://is.muni.cz/th/ioau1/
Obhajoba závěrečné práce
- Obhajoba proběhla 14. 2. 2013
- Vedoucí: RNDr. David Šafránek, Ph.D.
- Oponent: RNDr. Milan Češka, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Paralelní a distribuované systémy
Práce na příbuzné téma
-
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