Optimalizácia Rektangulárnej Abstrakcie v Nástroji Pithya – Jakub Raček
Jakub Raček
Bachelor's thesis
Optimalizácia Rektangulárnej Abstrakcie v Nástroji Pithya
Optimising Rectangular Abstraction in Pithya
Abstract:
The goal of this thesis is to optimise the Pithya tool, specifically the generation of rectangular abstraction (transition system) based on input biological model expressed by differential equations. The first optimisation removes redundant evaluation of vertices in models with sparse dependencies. To decide if a transition exists, it is necessary to compute derivation values in every vertex of a given …moreAbstract:
Cieľ práce je optimalizovať nástroj Pithya, konkrétne tvorbu rektangulárnej abstrakcie (prechodového systému) na základe vstupného biologického modelu, zadaného pomocou diferenciálnych rovníc. Prvou optimalizáciou je odstránenie redundantného vyhodnocovania vrcholov v modeloch s riedkými závislosťami. Pre vyhodnotenie prechodu je nutné vypočítať derivácie vo všetkých vrcholoch daného facetu v rámci …more
Language used: Slovak
Date on which the thesis was submitted / produced: 27. 5. 2019
Identifier:
https://is.muni.cz/th/h8i3q/
Thesis defence
- Date of defence: 28. 6. 2019
- Supervisor: Mgr. Samuel Pastva
- Reader: RNDr. Martin Demko
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 / Artificial Intelligence and Natural Language Processing
Theses on a related topic
-
Abstraction-Based Analysis of Continuous-Time Models in System Biology
Jana Dražanová -
Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL
Samuel Pastva -
Abstraction-Based Analysis of Continuous-Time Models in System Biology
Jana Dražanová -
On triangular maps of the square and nonautomous dynamical systems
Vojtěch Pravec -
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Martin Demko -
Bifurcation diagrams of discrete dynamical systems
Tomáš Stehlík -
Tools for time series analysis of nonlinear dynamical systems
Tomáš Martinovič -
Simulation-based analysis of large-scale dynamical systems
Milan Kováčik