Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

synthesis

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 3 » (total: 22 theses)
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

« 1 2 3 » (total: 22 theses)