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

homotopicka teorie typu, univerzalni nakryti, programovaci jazyk agda, homotopy type theory, programming language agda, teorie typu, kodovani, fundamentalni grupa kruznice, fundamental group of the circle, type theory, identity type, identicky typ, universal cover, encoding

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

1.
Andrýsková, Petra
Fakulta: Fakulta sociálních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba diplomové práce: Dominantní a alternativní zakódování televizního seriálu Žena za pultem | Práce na příbuzné téma Zobrazit popisek

2.
Chromec, Jakub
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Sebeprodukované fonetické nápovědy napomáhají vybavení jmen osob u pacientů s relaps-remitentní roztroušenou sklerózou | Práce na příbuzné téma

3.
Jelínek, Vít
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Diskrétní algoritmy a modely
Obhajoba diplomové práce: Type theory and its semantics | Práce na příbuzné téma

4.
Michálek, Marek
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Filozofie / Anglický jazyk a literatura, Filozofie
Obhajoba bakalářské práce: Intuicionistic Type Theory and its Application to Natural Language | Práce na příbuzné téma

5.
Panáková, Petra
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Ekonomické informační systémy
Obhajoba bakalářské práce: Zavedení QR kódů v podniku | Práce na příbuzné téma

6.
Pavlík, David
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Local Type Argument Synthesis for Erlang | Práce na příbuzné téma

7.
Salátová, Monika
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Úloha otevřeného klubu v systému institucí pečujících o volný čas dětí a mládeže | Práce na příbuzné téma

8.
Andrlik, Petr
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Sociologie
Obhajoba bakalářské práce: Komunita Bronies: Identita, Fandom, Encoding a Decoding | Práce na příbuzné téma

9.
Baisa, Vít
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba bakalářské práce: Intervalový zápis hudby | Práce na příbuzné téma

10.
Beneš, Rostislav
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: UTF-8 pro Midnight Commander | Práce na příbuzné téma

11.
Beránek, Lukáš
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika se zaměřením na vzdělávání / Matematika se zaměřením na vzdělávání, Zeměpis se zaměřením na vzdělávání
Obhajoba bakalářské práce: Analýza turistické infrastruktury jeskyně Balcarka | Práce na příbuzné téma

12.
Gašpar, Oliver
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: Aplikace pro selektivní rekompresi HD videa z digitálních zrcadlovek | Práce na příbuzné téma

13.
Holica, Pavel
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Vkládání obecných souborů do XML předpisu automatizovaných testů | Práce na příbuzné téma

14.
Hylena, Petr
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Formy zneužívání slabin seniorů vyplývajících ze stáří a odpovídající strategie sociální práce | Práce na příbuzné téma

15.
Hynčica, Václav
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Odkaz Meinongovi teorie ve filozofii 20. a 21. století. | Práce na příbuzné téma
Obhajoba bakalářské práce: Odkaz Meinongovy teorie ve filozofii 20. a 21. století. | Práce na příbuzné téma

16.
Janáček, Radek
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Analýza metod detekce webových stránek s phishingovým obsahem na úrovni perimetru sítě | Práce na příbuzné téma

17.
Janáčová, Karin
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba diplomové práce: Diskurzívna analýza vizuálnych znakov hongkonského dáždnikového hnutia a ich mediálne šírenie | Práce na příbuzné téma
Obhajoba diplomové práce: Diskurzívna analýza mediálnej reprezentácie dáždnikového hnutia v Hong Kongu v denníku South China Morning Post | Práce na příbuzné téma

18.
Kadlecaj, Jakub
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Online Lambda Calculus Evaluator | Práce na příbuzné téma

19.
Kejnar, Filip
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Podpora kompresního mechanismu H.265 pro UltraGrid | Práce na příbuzné téma

20.
Králová, Markéta
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Zkušenosti s kyberšikanou u žáků základní školy | Práce na příbuzné téma

21.
Kutinová, Lucie
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Svět skrytých informací: historie a současnost lineárních a dvojrozměrných kódů | Práce na příbuzné téma

22.
Laušman, Tomáš
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Rodinné bohoslužby jako příklad laické pedagogické činnosti. Popis jevu v prostředí evangelikálních rodin. | Práce na příbuzné téma

23.
Miškov, Jan
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba diplomové práce: Evoluce interaktivní dramatické hry | Práce na příbuzné téma
Obhajoba diplomové práce: Evoluce interaktivní dramatické hry | Práce na příbuzné téma

24.
Novotná, Kristýna
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Vizuální tvorba se zaměřením na vzdělávání, Výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Skryto | Práce na příbuzné téma

25.
Ondra, Martin
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Kulturní studia Číny
Obhajoba bakalářské práce: Mediální obraz Číny v prostředí česky psaných internetových deníků | Práce na příbuzné téma

26.
Ondrejka, Richard
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Application Layer Adaptive Data Compression | Práce na příbuzné téma

27.
Ostrovská, Eva
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Telefonická krizová intervence a její význam v kontextu sociální pomoci | Práce na příbuzné téma

28.
Pospíšilová, Pavla roz. Reichová
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Obraz osob s postižením v českých médiích | Práce na příbuzné téma

29.
Řezníčková, Ivana
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Estetika a kulturní studia
Obhajoba diplomové práce: Analýza televizního přenosu divadelního představení z hlediska estetického vnímání | Práce na příbuzné téma
Obhajoba diplomové práce: Analýza televizního přenosu divadelního představení z hlediska estetického vnímání | Práce na příbuzné téma

30.
Stonová, Michaela
Fakulta: Právnická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právní úprava odposlechů a kryptoanalýzy | Práce na příbuzné téma

31.
Štěpánková, Jana
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Náhradní výchovná péče o dítě (z pohledu dětského domova jako formy ústavní péče, zejména o romské děti) | Práce na příbuzné téma

32.
Tokarčík, Andrej
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: An Executable Formal Semantics of Agda | Práce na příbuzné téma

33.
Tůma, Tomáš
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Kriminalita dětí a mládeže v okrese Náchod | Práce na příbuzné téma

34.
Valkounová, Eva roz. Kamírová
Fakulta: Fakulta sportovních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Kinantropologie (čtyřleté) / Kinantropologie
Obhajoba disertační práce: Zjišťování úrovně diagnostické kompetence budoucích učitelů tělesné výchovy. | Práce na příbuzné téma

35.
Vašinová, Jana
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika
Obhajoba diplomové práce: Možnosti krizové intervence ve školství a spolupráce s regionálními institucemi pro podporu rodiny | Práce na příbuzné téma

36.
Wisman, Pavel
Fakulta: Fakulta informatiky
Rok: 2007, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Srovnaní soudobých technik pro kompresi videa | Práce na příbuzné téma

37.
Zlatušková, Petra
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika a volný čas
Obhajoba diplomové práce: Připravenost odsouzených k ukončení výkonu trestu odnětí svobody ve Věznici Rapotice | Práce na příbuzné téma