Theses on the same topic (having an identical keyword):
synthesisKeywords ordered alphabetically | Keywords ordered by occurrence rate
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
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
Utilization of Machine Learning in Biomedical Image Synthesis
(David Wiesner)2020, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/j911e/ | Umělá inteligence a zpracování dat / | 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
Learning-Based Cell Image Synthesis in Biomedical Imaging
(David Wiesner)2023, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nbrbe/ | Informatika / Technologie a metodologie počítačových systémů | Theses on a related topic
Automated Synthesis of Probabilistic Termination Proofs
(Radoslav Kvasňovský)2024, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k74xa/ | Informatika / | 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
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