Theses on a related topic (having the same keywords):
state-transition graph, graph condensation, graph isomorphism, colored graph, boolean network, parametrized boolean networkKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Huvar, Ondřej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbolic Model Checking of Hybrid CTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbolic Model Checking of Hybrid CTL | Theses on a related topic
2.
Chudíček, Lukáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Symbolic representation of multi-valued logical models in Rust | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Symbolic representation of multi-valued logical models in Rust | Theses on a related topic
3.
Ivičič, Petr
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Frontend of the AEON Sketchbook application | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Frontend of the AEON Sketchbook application | Theses on a related topic
4.
Kaiserová, Lucie
Faculty: Faculty of Informatics
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems, Informatics
Master's thesis defence: Effective searching in database of drug molecules | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems, Informatics
Master's thesis defence: Effective searching in database of drug molecules | Theses on a related topic
5.
Kružel, Karol
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Efektivni algoritmy pro vyhledavani shodnych molekul a jejich aplikace | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Efektivni algoritmy pro vyhledavani shodnych molekul a jejich aplikace | Theses on a related topic
6.
Ondrejka, Šimon
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Generalized asynchronous semantics for Boolean networks | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Generalized asynchronous semantics for Boolean networks | Theses on a related topic
7.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems | Theses on a related topic
8.
Poláček, Jakub
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Analýza Booleovských Sietí v Nástroji Pithya Pomocou Binárnych Rozhodovacích Diagramov | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Analýza Booleovských Sietí v Nástroji Pithya Pomocou Binárnych Rozhodovacích Diagramov | Theses on a related topic
9.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic
10.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Control of Parametrised Boolean Networks | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Control of Parametrised Boolean Networks | Theses on a related topic