Práce na stejné téma (mají shodná klíčová slova):

synthesis

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 3 » (celkem 22 prací)
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 | Práce na příbuzné téma

Convergent assembly of the tricyclic labdane core: a platform for the synthesis of forskolin analogs
 (Pawel Marcin Szczepanik)

2023, Disertační práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/g0uu3/ | Chemie / Organická chemie | Práce na příbuzné téma

Local Type Argument Synthesis for Erlang
 (David Pavlík)

2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/z0fb0/ | Teoretická informatika / Principy programovacích jazyků | Práce na příbuzné téma

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 / | Práce na příbuzné téma

Parallel Parameter Synthesis for Hybrid Systems
 (Eva Šmijáková)

2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/varew/ | Aplikovaná informatika / | Práce na příbuzné téma

Parameter Synthesis in Continuous-Time Stochastic Systems
 (Ľuboš Korenčiak)

2017, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/zaes9/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Synthesis of small-molecule probes for chemical biology
 (Lukáš Maier)

2014, Disertační práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/aj1pm/ | Chemie (čtyřleté) / Organická chemie | Práce na příbuzné téma

Parameter Synthesis for Systems with Real Time
 (Peter Bezděk)

2014, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/c3v4n/ | Informatika / | Práce na příbuzné téma

Parameter Synthesis of Dynamical Systems via Model Checking
 (Martin Demko)

2016, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/iz2bt/ | Informatika / Počítačové systémy | Práce na příbuzné téma

Control Strategy Synthesis for Path Planning under Temporal Constraints
 (Mária Svoreňová)

2015, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/soj2g/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

« 1 2 3 » (celkem 22 prací)