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

branching-time logics, markov chains, satisfiability, validity, axiomatization, probabilistic ctl, pctl, qualitative pctl, pctl*, qpctl*, qpctl

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

1.
Chodil, Miroslav
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Problém splnitelnosti pro pravděpodobnostní temporální logiky | Práce na příbuzné téma Zobrazit popisek

2.
Bacíková, Kateřina
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Posouzení psychometrických charakteristik českého překladu Work Design Questionnaire (WDQ) | Práce na příbuzné téma

3.
Bednářová, Jitka
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství anglického jazyka a literatury pro střední školy
Obhajoba diplomové práce: Testing Foreign Language Speaking Proficiency: Development and Analysis of a Testing Tool for Czech School Leaving Examination | Práce na příbuzné téma

4.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Decidability and complexity of infinite-state stochastic games | Práce na příbuzné téma

5.
Burešová, Lucie
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Biologie / Matematická biologie
Obhajoba rigorózní práce: Odhady parametrů kvality screeningového programu karcinomu prsu v České republice | Práce na příbuzné téma

6.
Dlhošová, Terézia
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Religionistika
Obhajoba bakalářské práce: Validita psychologických škál religiozity a spirituality | Práce na příbuzné téma

7.
Dostálová, Kristýna
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Psychometrická studie Wisconsinského testu třídění karet | Práce na příbuzné téma

8.
Elek, David
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Psychometrické charakteristiky reverzních položek Likertovy škály | Práce na příbuzné téma

9.
Farkaš, Jan
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Validační studie Bentonova testu orientace čar na populaci českých seniorů a osob s mírnou kognitivní poruchou | Práce na příbuzné téma

10.
Fiedler, Adam
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Deduction in Matching Logic | Práce na příbuzné téma

11.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Decidability and complexity of finite-state stochastic games | Práce na příbuzné téma

12.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Verification of Finite-State Stochastic Systems | Práce na příbuzné téma

13.
Fusek, Matyáš
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Stochastické Petriho sítě | Práce na příbuzné téma

14.
Gembalová, Kristýna
Fakulta: Právnická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Všeobecné obchodní podmínky v mezinárodním obchodě | Práce na příbuzné téma

15.
Gottfried, Jaroslav
Fakulta: Fakulta sociálních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Psychologie / Obecná psychologie
Obhajoba disertační práce: Validity of answers in self-report psychology questionnaires: Item proximity effect and careless responding | Práce na příbuzné téma

16.
Groborz, Jan
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Komparace české úpravy směnečných náležitostí a předpokladů platnosti směnky s úpravami ve vybraných zemích | Práce na příbuzné téma

17.
Horáková, Magda roz. Chmelíková
Fakulta: Lékařská fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Neurovědy / Neurologie
Obhajoba disertační práce: New approaches to the quantification of therapeutic response in neuromuscular diseases | Práce na příbuzné téma

18.
Hordějčuková, Klára
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Pokročilé výpočty v pojišťovnickém systému Bonus-malus | Práce na příbuzné téma

19.
Hubatka, Petra roz. Hubatková
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Environmentální studia, Psychologie
Obhajoba bakalářské práce: Vztah délky Likertovy škály a jejích psychometrických charakteristik | Práce na příbuzné téma

20.
Hudečková, Lucie
Fakulta: Fakulta sociálních studií
Rok: 2024, studium probíhá
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Zvládání stresu u příslušníků Policie ČR: Adaptace a aplikace dotazníku CISS-21 na českou populaci ve vztahu k prožívanému stresu | Práce na příbuzné téma

21.
Hulešová, Martina roz. Križanovičová
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Specializace v pedagogice (čtyřleté) / Didaktika cizího jazyka
Obhajoba disertační práce: Srovnatelnost testových verzí slovenské maturitní zkoušky z anglického jazyka | Práce na příbuzné téma

22.
Hurta, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná matematika / Matematika - ekonomie
Obhajoba bakalářské práce: Markovské řetězce s oceněním přechodů | Práce na příbuzné téma

23.
Chodil, Miroslav
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: The satisfiability problem for Probabilistic CTL | Práce na příbuzné téma

24.
Chren, Stanislav
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Počítačové systémy
Obhajoba rigorózní práce: Multi-layered Reliability Analysis in Smart Grids | Práce na příbuzné téma

25.
Jankaničová, Natália
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Algorithms for Counting of Maximal Satisfiable Subsets | Práce na příbuzné téma

26.
Jeřábková, Petra
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Psychometrické vlastnosti krátké verze škály Borderline Symptom List (BSL-23) | Práce na příbuzné téma

27.
Jireš, Jiří
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Statistika a analýza dat
Obhajoba diplomové práce: Difuzní procesy a jejich aplikace | Práce na příbuzné téma

28.
Jonáš, Martin
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: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Práce na příbuzné téma

29.
Jonáš, Martin
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: SMT Solving for the Theory of Bit-Vectors | Práce na příbuzné téma

30.
Juda, Arnošt
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Valná hromada akciové společnosti a její význam pro řízení společnosti | Práce na příbuzné téma

31.
Kociánová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Práce na příbuzné téma

32.
Koukal, Vít
Fakulta: Fakulta sportovních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Kondiční trenér)
Obhajoba diplomové práce: Standardizace dotazníku zátěžových situací pro fotbalové rozhodčí | Práce na příbuzné téma

33.
Lacko, David
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Psychologie (čtyřleté) / Obecná psychologie
Obhajoba disertační práce: How to meaningfully compare cultures? Voyage towards valid and sound measurement instruments | Práce na příbuzné téma

34.
Lovász, Szabolcs
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Model kariérnej a politickej preferencie založenej na teórii sociálnej dominancie a jej dôsledky z hľadiska predsudkov | Práce na příbuzné téma

35.
Machová, Veronika
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Standardizace Blochova vícedimenzionálního kresebného testu pro využití při diagnostice onemocnění psychotického okruhu | Práce na příbuzné téma

36.
Maliňáková, Dušana
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Poistenie vážnych ochorení a invalidné poistenie | Práce na příbuzné téma

37.
Nepivodová, Linda
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: On Communicative Language Ability, Validity and Different Modes of Administration (The analysis of the second-year Practical English Examination) | Práce na příbuzné téma

38.
Podhorská, Zuzana
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Animace ve výuce logiky | Práce na příbuzné téma

39.
Polášková, Petra
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Učitelství biologie pro střední školy, Učitelství chemie pro střední školy
Obhajoba diplomové práce: Podpora výuky a studia předmětu Obecná chemie | Práce na příbuzné téma

40.
Prílepková, Rebeka
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Overenie validity psychodiagnostickej počítačovej hry na meranie priestorových schopností u detí | Práce na příbuzné téma

41.
Rédli, Dávid
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Porovnání ipsativních a normativních psychodiagnostických metod z hlediska psychometrických charakteristik a možností aplikace | Práce na příbuzné téma

42.
Sedláčková, Pavla
Fakulta: Fakulta sociálních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Diagnostická hra "Glyfy a tajemné písmo" - důkazy o validitě metody měřící induktivní usuzování | Práce na příbuzné téma

43.
Síč, Juraj
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Satisfiability of DQBF Using Binary Decision Diagrams | Práce na příbuzné téma

44.
Slezáková, Nela
Fakulta: Fakulta sociálních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Diagnostická hra „Ulrik a výzkum ptáků“ - důkazy o validitě, reliabilitě a férovosti metody zaměřené na asociační paměť | Práce na příbuzné téma

45.
Sobolová, Barbora
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Modely pro šíření COVID-19 založené na větvících procesech | Práce na příbuzné téma

46.
Škrdlík, Filip
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Neadekvátní pocity viny. Převod dotazníku IGQ-67 do češtiny. | Práce na příbuzné téma

47.
Tvrdoňová, Michaela roz. Horká
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Assessing speaking | Práce na příbuzné téma

48.
Vafková, Lada
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Položková analýza v systému Statistica | Práce na příbuzné téma

49.
Věchtová, Gabriela roz. Jandová
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Využití sociometrických možností v práci učitele | Práce na příbuzné téma

50.
Vojíř, Petr
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy (čtyřleté) / Teorie práva
Obhajoba disertační práce: Časová působnost právních norem | Práce na příbuzné téma