Theses on the same topic (having an identical keyword):
Binary Decision DiagramKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 | Theses on a related topic
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í / | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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ů | Theses on a related topic
Control of Parametrised Boolean Networks
(Eva Šmijáková)2021, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wrv1c/ | Umělá inteligence a zpracování dat / | Theses on a related topic
Generalized asynchronous semantics for Boolean networks
(Šimon Ondrejka)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zd84e/ | Informatika / | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic