Práce na stejné téma (mají shodná klíčová slova):
Binary Decision DiagramKlíčová slova abecedně | Klíčová slova dle četnosti
Satisfiability of DQBF Using Binary Decision Diagrams
(Juraj Síč)2020, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/prexv/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Symbolic representation of multi-valued logical models in Rust
(Lukáš Chudíček)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/d0y3v/ | Programování a vývoj aplikací / | Práce na příbuzné téma
Boolean Factor Analysis by Attractor Neural Network
(Pavel Polyakov)2017, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/120151 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma
Computing isomorphic condensations in state-graphs of parametrised Boolean networks
(Šimon Varga)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/leqr7/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma
Benchmarking Framework for Boolean Models Inference Tools
(Samuel Kulíšek)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/g7lp6/ | Softwarové inženýrství / Návrh a vývoj softwarových systémů | Práce na příbuzné téma
Generalized asynchronous semantics for Boolean networks
(Šimon Ondrejka)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zd84e/ | Informatika / | Práce na příbuzné téma
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
(Martin Demko)2019, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p96um/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma
Formal Analysis of Rule-Based Models in Systems Biology
(Matej Troják)2019, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/lc8hj/ | Umělá inteligence a zpracování dat / | Práce na příbuzné téma
Formal Methods for Model Selection in Systems Biology
(Matej Hajnal)2018, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xv1cr/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma
Construction of Algebraic Abstractions for Systems Biology
(Jana Fabriková)2012, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/oczsw/ | Informatika / | Práce na příbuzné téma