Práce na příbuzné téma (mají shodná klíčová slova):
performance analysis, continuous stochastic logic, continuous-time markov chain, time-bounded reachability, discrete event systems, formal analysis, semi-markov process, deterministic timed automata, generalized semi-markov processKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Augustiňák, Dušan
Fakulta: Fakulta sportovních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Intraindividuální hodnocení vývoje výkonnosti vrcholového běžce na lyžích | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Intraindividuální hodnocení vývoje výkonnosti vrcholového běžce na lyžích | Práce na příbuzné téma
2.
Bartošová, Eliška
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Environmentální studia, Estetika
Obhajoba bakalářské práce: Prostředky navození umělecké iluze | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Environmentální studia, Estetika
Obhajoba bakalářské práce: Prostředky navození umělecké iluze | Práce na příbuzné téma
3.
Bauch, Petr
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: System Performance Analysis Extension of DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: System Performance Analysis Extension of DiVinE | Práce na příbuzné téma
4.
Bühnová, Barbora
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction | Práce na příbuzné téma
5.
Bühnová, Barbora
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Analysis of Component-Based Systems in View of Component Interactions | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Analysis of Component-Based Systems in View of Component Interactions | Práce na příbuzné téma
6.
Dávidová, Eva
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Analysis of English Medical Terminology from the Field of Digestive System | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Analysis of English Medical Terminology from the Field of Digestive System | Práce na příbuzné téma
7.
Fialová, Michaela
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Hudební výchova se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Patetická sonáta Ludwiga van Beethovena. Odlišnosti jednotlivých vydání | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Hudební výchova se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Patetická sonáta Ludwiga van Beethovena. Odlišnosti jednotlivých vydání | Práce na příbuzné téma
8.
Gavenda, Jiří
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Threshold ECDSA performance analysis | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Threshold ECDSA performance analysis | Práce na příbuzné téma
9.
Gunár, Daniel
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance / Finance
Obhajoba bakalářské práce: Bankovní trh v České republice | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance / Finance
Obhajoba bakalářské práce: Bankovní trh v České republice | Práce na příbuzné téma
10.
Hubáčková, Vendula
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Specifika formální a obsahové analýzy Tematicko apercepčního testu u dětí se specifickými poruchami učení | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Specifika formální a obsahové analýzy Tematicko apercepčního testu u dětí se specifickými poruchami učení | Práce na příbuzné téma
11.
Hulín, Matej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Srovnání časové a prostorové efektivity řadících algoritmů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Srovnání časové a prostorové efektivity řadících algoritmů | Práce na příbuzné téma
12.
Hulínová, Alžbeta
Fakulta: Ekonomicko-správní fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Podniková ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Analýza určujících faktorů podniku pro jeho výkonnost | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Podniková ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Analýza určujících faktorů podniku pro jeho výkonnost | Práce na příbuzné téma
13.
Chloupek, Tomáš
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka a literatury pro základní školy, Učitelství hudební výchovy pro základní školy
Obhajoba diplomové práce: GIOACHINO ROSSINI: STABAT MATER. Analýza díla a její následné využití v hodinách hudební výchovy na základních školách. | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka a literatury pro základní školy, Učitelství hudební výchovy pro základní školy
Obhajoba diplomové práce: GIOACHINO ROSSINI: STABAT MATER. Analýza díla a její následné využití v hodinách hudební výchovy na základních školách. | Práce na příbuzné téma
14.
Jadrníček, Jonáš
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: AdInsure Platform Configurations Performance Testing Process | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: AdInsure Platform Configurations Performance Testing Process | Práce na příbuzné téma
15.
Jančinová, Mária
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Tematický apercepčný test – špecifiká obsahovej a formálnej analýzy u pacientov závislých na alkohole a iných návykových látkach | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Tematický apercepčný test – špecifiká obsahovej a formálnej analýzy u pacientov závislých na alkohole a iných návykových látkach | Práce na příbuzné téma
16.
Klimoš, Miroslav
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Synthesis of Minimal Schedulers for Markov Decision Processes | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Synthesis of Minimal Schedulers for Markov Decision Processes | Práce na příbuzné téma
17.
Korenčiak, Ľuboš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Parameter Synthesis in Continuous-Time Stochastic Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Parameter Synthesis in Continuous-Time Stochastic Systems | Práce na příbuzné téma
18.
Krčál, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds | Práce na příbuzné téma
19.
Mašek, Pavel
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Analýza výkonnosti podnikových středisek | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Analýza výkonnosti podnikových středisek | Práce na příbuzné téma
20.
Nadrchal, Samuel
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Ekonomie, Matematika
Obhajoba bakalářské práce: Numerické výpočty v různých programovacích jazycích | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Ekonomie, Matematika
Obhajoba bakalářské práce: Numerické výpočty v různých programovacích jazycích | Práce na příbuzné téma
21.
Nálepa, Filip
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Similarity Search in Stream Processing | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Similarity Search in Stream Processing | Práce na příbuzné téma
22.
Petrlová, Monika
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk a literatura
Obhajoba bakalářské práce: Poetika textů Karla Plíhala | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk a literatura
Obhajoba bakalářské práce: Poetika textů Karla Plíhala | Práce na příbuzné téma
23.
Pilař, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Zrychlení syntézy parametrů pro stochastické modely | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Zrychlení syntézy parametrů pro stochastické modely | Práce na příbuzné téma
24.
Pochyba, Marián
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: LibFAUDES -- knižnica pre prácu s disktrétnymi systémami udalostí | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: LibFAUDES -- knižnica pre prácu s disktrétnymi systémami udalostí | Práce na příbuzné téma
25.
Schulzová, Eva
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Německý jazyk a literatura
Obhajoba bakalářské práce: "Der goldene Drache": Roland Schimmelpfennigs Theaterstück nach einem bewährten Rezept | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Německý jazyk a literatura
Obhajoba bakalářské práce: "Der goldene Drache": Roland Schimmelpfennigs Theaterstück nach einem bewährten Rezept | Práce na příbuzné téma
26.
Šalagovič, Jakub
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Computational analysis and model integration of biorhythmic systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Computational analysis and model integration of biorhythmic systems | Práce na příbuzné téma
27.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma
28.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Rule-based Modelling of Biochemical Processes: Specification and Analysis | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Rule-based Modelling of Biochemical Processes: Specification and Analysis | Práce na příbuzné téma
29.
Vladík, Šimon
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Teorie interaktivních médií / Psychologie, Teorie interaktivních médií
Obhajoba bakalářské práce: Podoby onboardingu digitálních her v žánru 3D platformer - případová studie | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Teorie interaktivních médií / Psychologie, Teorie interaktivních médií
Obhajoba bakalářské práce: Podoby onboardingu digitálních her v žánru 3D platformer - případová studie | Práce na příbuzné téma
30.
Vodila, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Výkonnostní analýza komponent moderních telekomunikačních směrovacích systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Výkonnostní analýza komponent moderních telekomunikačních směrovacích systémů | Práce na příbuzné téma