Theses on a related topic (having the same keywords):
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 processKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Augustiňák, Dušan
Faculty: Faculty of Sports Studies
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Intraindividuální hodnocení vývoje výkonnosti vrcholového běžce na lyžích | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Intraindividuální hodnocení vývoje výkonnosti vrcholového běžce na lyžích | Theses on a related topic
2.
Bartošová, Eliška
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Humanities / Aesthetics, Environmental Studies
Bachelor's thesis defence: Prostředky navození umělecké iluze | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Humanities / Aesthetics, Environmental Studies
Bachelor's thesis defence: Prostředky navození umělecké iluze | Theses on a related topic
3.
Bauch, Petr
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: System Performance Analysis Extension of DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: System Performance Analysis Extension of DiVinE | Theses on a related topic
4.
Bühnová, Barbora
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction | Theses on a related topic
5.
Bühnová, Barbora
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Analysis of Component-Based Systems in View of Component Interactions | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Analysis of Component-Based Systems in View of Component Interactions | Theses on a related topic
6.
Dávidová, Eva
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Analysis of English Medical Terminology from the Field of Digestive System | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Analysis of English Medical Terminology from the Field of Digestive System | Theses on a related topic
7.
Fialová, Michaela
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Music for Education
Bachelor's thesis defence: Patetická sonáta Ludwiga van Beethovena. Odlišnosti jednotlivých vydání | Theses on a related topic
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Music for Education
Bachelor's thesis defence: Patetická sonáta Ludwiga van Beethovena. Odlišnosti jednotlivých vydání | Theses on a related topic
8.
Gavenda, Jiří
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Threshold ECDSA performance analysis | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Threshold ECDSA performance analysis | Theses on a related topic
9.
Gunár, Daniel
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Finance / Finance
Bachelor's thesis defence: Bankovní trh v České republice | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Finance / Finance
Bachelor's thesis defence: Bankovní trh v České republice | Theses on a related topic
10.
Hubáčková, Vendula
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Specifika formální a obsahové analýzy Tematicko apercepčního testu u dětí se specifickými poruchami učení | Theses on a related topic
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Specifika formální a obsahové analýzy Tematicko apercepčního testu u dětí se specifickými poruchami učení | Theses on a related topic
11.
Hulín, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Srovnání časové a prostorové efektivity řadících algoritmů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Srovnání časové a prostorové efektivity řadících algoritmů | Theses on a related topic
12.
Hulínová, Alžbeta
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Business Management / Business Management
Bachelor's thesis defence: Analýza určujících faktorů podniku pro jeho výkonnost | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Business Management / Business Management
Bachelor's thesis defence: Analýza určujících faktorů podniku pro jeho výkonnost | Theses on a related topic
13.
Chloupek, Tomáš
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Music
Master's thesis defence: 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. | Theses on a related topic
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Music
Master's thesis defence: 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. | Theses on a related topic
14.
Jadrníček, Jonáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: AdInsure Platform Configurations Performance Testing Process | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: AdInsure Platform Configurations Performance Testing Process | Theses on a related topic
15.
Jančinová, Mária
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: 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 | Theses on a related topic
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: 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 | Theses on a related topic
16.
Klimoš, Miroslav
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Synthesis of Minimal Schedulers for Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Synthesis of Minimal Schedulers for Markov Decision Processes | Theses on a related topic
17.
Korenčiak, Ľuboš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis in Continuous-Time Stochastic Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis in Continuous-Time Stochastic Systems | Theses on a related topic
18.
Krčál, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds | Theses on a related topic
19.
Mašek, Pavel
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Analýza výkonnosti podnikových středisek | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Analýza výkonnosti podnikových středisek | Theses on a related topic
20.
Nadrchal, Samuel
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Economics, Mathematics
Bachelor's thesis defence: Numerické výpočty v různých programovacích jazycích | Theses on a related topic
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Economics, Mathematics
Bachelor's thesis defence: Numerické výpočty v různých programovacích jazycích | Theses on a related topic
21.
Nálepa, Filip
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Similarity Search in Stream Processing | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Similarity Search in Stream Processing | Theses on a related topic
22.
Petrlová, Monika
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature
Bachelor's thesis defence: Poetika textů Karla Plíhala | Theses on a related topic
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature
Bachelor's thesis defence: Poetika textů Karla Plíhala | Theses on a related topic
23.
Pilař, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Zrychlení syntézy parametrů pro stochastické modely | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Zrychlení syntézy parametrů pro stochastické modely | Theses on a related topic
24.
Pochyba, Marián
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: LibFAUDES -- knižnica pre prácu s disktrétnymi systémami udalostí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: LibFAUDES -- knižnica pre prácu s disktrétnymi systémami udalostí | Theses on a related topic
25.
Schulzová, Eva
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: "Der goldene Drache": Roland Schimmelpfennigs Theaterstück nach einem bewährten Rezept | Theses on a related topic
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: "Der goldene Drache": Roland Schimmelpfennigs Theaterstück nach einem bewährten Rezept | Theses on a related topic
26.
Šalagovič, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Computational analysis and model integration of biorhythmic systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Computational analysis and model integration of biorhythmic systems | Theses on a related topic
27.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
28.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Rule-based Modelling of Biochemical Processes: Specification and Analysis | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Rule-based Modelling of Biochemical Processes: Specification and Analysis | Theses on a related topic
29.
Vladík, Šimon
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Psychology, Theory of Interactive Media
Bachelor's thesis defence: Podoby onboardingu digitálních her v žánru 3D platformer - případová studie | Theses on a related topic
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Psychology, Theory of Interactive Media
Bachelor's thesis defence: Podoby onboardingu digitálních her v žánru 3D platformer - případová studie | Theses on a related topic
30.
Vodila, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Výkonnostní analýza komponent moderních telekomunikačních směrovacích systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Výkonnostní analýza komponent moderních telekomunikačních směrovacích systémů | Theses on a related topic