Symbolic representation of multi-valued logical models in Rust – Bc. Lukáš Chudíček
Bc. Lukáš Chudíček
Bachelor's thesis
Symbolic representation of multi-valued logical models in Rust
Symbolic representation of multi-valued logical models in Rust
Anotácia:
V průzkumu systémů obsahujících vzájemně interagující biologické entity se využívají Booleovské funkce k popisu těchto interakcí. Stavový prostor takových systémů je zkoumán s cílem získat náhled do jejich dynamiky. Pro obcházení limitací způsobených exponenciálním růstem stavového prostoru se používá symbolické prohledávání, zprostředkované Binárními Rozhodovacími Diagramy (BDD), které se vyhýbá explicitnímu …viacAbstract:
In the exploration of systems comprising interacting biological entities, Boolean functions are employed to describe these interactions. The state space of such systems is investigated, providing insights into their dynamics. To address the exponential growth of the state space, symbolic exploration, facilitated by Binary Decision Diagrams (BDDs), is utilized, avoiding explicit enumeration. However …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 19. 12. 2023
Identifikátor:
https://is.muni.cz/th/d0y3v/
Obhajoba závěrečné práce
- Obhajoba proběhla 16. 2. 2024
- Vedúci: RNDr. Samuel Pastva, Ph.D.
- Oponent: Bc. Ondřej Huvar
Citační záznam
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Programming and development / Programming and development
Práce na příbuzné téma
-
Satisfiability of DQBF Using Binary Decision Diagrams
Juraj Síč -
Boolean Factor Analysis by Attractor Neural Network
Pavel Polyakov -
Computing isomorphic condensations in state-graphs of parametrised Boolean networks
Šimon Varga -
Control of Parametrised Boolean Networks
Eva Šmijáková -
Benchmarking Framework for Boolean Models Inference Tools
Samuel Kulíšek -
Formal Analysis of Rule-Based Models in Systems Biology
Matej Troják -
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Martin Demko -
Formal Methods for Model Selection in Systems Biology
Matej Hajnal