Theses on the same topic (having an identical keyword):
synthesisKeywords ordered alphabetically | Keywords ordered by occurrence rate
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
(Dávid Meluš)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uwna5/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic
Synthesis and characterization of phosphates, oxides, and oxide-halides of metals
(Ján Podhorský)2020, Disertační práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/xpfv3/ | Pokročilé materiály a nanovědy / Pokročilé nanotechnologie a mikrotechnologie | 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
Efficient Synthesis of Finite-Memory Strategies in Patrolling Games
(David Klaška)2020, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vn8u0/ | Teoretická informatika / | Theses on a related topic
Constraint-Based Visemes for the Synthesis of Lip-Synchronization Animation
(Jan Krejsa)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/y2eho/ | Informatika / Počítačová grafika | Theses on a related topic
The Art of Speech Synthesis and Voice Cloning
(Madeleine Apolenová)2024, Diplomová práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/pvr7n/ | Zvukový design a multimediální technologie / | 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
Microwave plasma synthesis and surface modification of nanostructured materials
(Jozef Toman)2022, Disertační práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/on6sq/ | Fyzika / Fyzika plazmatu | Theses on a related topic
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
(Dávid Meluš)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uwna5/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic
Efficient Synthesis of Finite-Memory Strategies in Patrolling Games
(David Klaška)2020, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vn8u0/ | Teoretická informatika / | Theses on a related topic