Symbolic representation of multi-valued logical models in Rust – Bc. Lukáš Chudíček
Bc. Lukáš Chudíček
Bakalářská práce
Symbolic representation of multi-valued logical models in Rust
Symbolic representation of multi-valued logical models in Rust
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: angličtina
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
- Vedoucí: 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 informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Programování a vývoj aplikací / Programování a vývoj aplikací
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á -
Generalized asynchronous semantics for Boolean networks
Šimon Ondrejka -
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