Práce na stejné téma (mají shodná klíčová slova):
formal methodsKlíčová slova abecedně | Klíčová slova dle četnosti
Neuronové sítě v prostředí High Performance Computing
(Lukáš Vojáček)2015, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/110921 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma
Modeling the rheology of emulsions: High-performance parallel computing using Graphics Processing Unit (GPU)
(Pavel Kupka)2017, Diplomová práce, Fakulta chemicko-inženýrská / Vysoká škola chemicko-technologická
• http://theses.cz/id//qo738w// | Procesní inženýrství a informatika / | Práce na příbuzné téma
High-Performance Analytics (HPA)
(Petr Soukup)2012, Diplomová práce, Vysoká škola ekonomická v Praze
• http://www.vse.cz/vskp/eid/38514 | Aplikovaná informatika / Informační systémy a technologie | 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
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 | Práce na příbuzné téma
Parameter Synthesis for Systems with Real Time
(Peter Bezděk)2017, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/i4kyb/ | Informatika (čtyřleté) / Informatika | 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
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
Formal Methods for Model Selection in Systems Biology
(Matej Hajnal)2018, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xv1cr/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma