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

code analysis, type evaluation, type system, functional programming, type-checking, haskell, syntactic analysis, parsing

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

1.
Jakubíček, Miloš
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Extrakce strukturních informací z běžného textu na základě syntaktického analyzátoru | Práce na příbuzné téma Zobrazit popisek

2.
Jakubíček, Miloš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba diplomové práce: Enhancing Czech Parsing with Complex Valency Frames | Práce na příbuzné téma

3.
Jakubíček, Miloš
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Rule-Based Parsing of Morphologically Rich Languages | Práce na příbuzné téma

4.
Jakubíček, Miloš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba rigorózní práce: Rule-Based Parsing of Morphologically Rich Languages | Práce na příbuzné téma

5.
Kadlec, Vladimír
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Syntactic analysis of natural languages based on context free grammar backbone | Práce na příbuzné téma

6.
Kollár, Matej
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Extensions of Haskell type system | Práce na příbuzné téma

7.
Kovář, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Application-Oriented Syntactic Analysis of Czech | Práce na příbuzné téma

8.
Mises, Pavel roz. Dvořák
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Web applications in Haskell | Práce na příbuzné téma

9.
Novák, Stanislav
Fakulta: Fakulta informatiky
Rok: 2011, 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: Haskell Hero -- interaktivní učebnice funkcionálního programování | Práce na příbuzné téma

10.
Pilař, Petr
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: In-memory dictionaries with multidimensional keys in Haskell | Práce na příbuzné téma

11.
Abaffy, Marek
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Optimalizace dlouhodobého IT projektu mobilní aplikace s akcentem na udržitelnost | Práce na příbuzné téma

12.
Audy Masopustová, Markéta
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk se specializací počítačová lingvistika
Obhajoba diplomové práce: Automatická analýza srozumitelnosti textu | Práce na příbuzné téma

13.
Barányi, Richard
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: PDF Súbory a ich bezpečnosť | Práce na příbuzné téma

14.
Bělehradová, Pavlína
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: Madagascar: Guide culturel, traduction et analyse linguistique et traductologique | Práce na příbuzné téma

15.
Bucková, Terézia roz. Šulganová
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: Logická analýza angličtiny pomocí TIL | Práce na příbuzné téma

16.
Bukalová, Simona
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství českého jazyka a literatury pro základní školy / Učitelství českého jazyka a literatury pro základní školy, Učitelství německého jazyka pro základní školy
Obhajoba diplomové práce: Všestranný jazykový rozbor na 2. stupni ZŠ | Práce na příbuzné téma

17.
Duda, Erich
Fakulta: Fakulta informatiky
Rok: 2013, 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: Nástroje pro vyhledávání definic a použití v jazyce C | Práce na příbuzné téma

18.
Fusek, Petra roz. Sládková
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura, Německý jazyk a literatura
Obhajoba bakalářské práce: Issues Related to Translating Marketing Texts Produced by ICT Companies | Práce na příbuzné téma

19.
Golembiovský, Jiří
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: WWW rozhraní k syntaktickému analyzátoru SYNT | Práce na příbuzné téma

20.
Greplová, Michaela
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modul pro zobrazování formulářů ve formátu FRS v rámci webové aplikace | Práce na příbuzné téma

21.
Horák, Aleš
Fakulta: Fakulta informatiky
Rok: 2002, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Matematická informatika
Obhajoba disertační práce: The Normal Translation Algorithm in Transparent Intensional Logic for Czech | Práce na příbuzné téma

22.
Horák, Aleš
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Analysis of Knowledge in Sentences | Práce na příbuzné téma

23.
Janoušek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Návrh modelovacího jazyka nástroje DiVinE | Práce na příbuzné téma

24.
Jonáš, Martin
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vyhodnocování úloh z funkcionálního programování v IS | Práce na příbuzné téma

25.
Kadlec, Vladimír
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: Syntactic analysis of natural languages based on context-free grammar backbone | Práce na příbuzné téma

26.
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

27.
Kövári, Adam
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Reaktivní platforma federované databáze | Práce na příbuzné téma

28.
Kovář, Vojtěch
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: Automatic Syntactic Analysis for Real-World Applications | Práce na příbuzné téma

29.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Use-mention Distinction in Transparent Intensional Logic | Práce na příbuzné téma

30.
Kučera, Pavel
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Improving Milena, a Kafka client for Haskell | Práce na příbuzné téma

31.
Mach, Štěpán
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačová lingvistika / Počítačová lingvistika
Obhajoba diplomové práce: Automatická oprava chybného uvození vedlejších vět | Práce na příbuzné téma

32.
Micheľová, Henrieta
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: Step-by-Step Evaluator of Haskell Expressions | Práce na příbuzné téma

33.
Molková, Lucie
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vyhodnocování výrazů v relační algebře | Práce na příbuzné téma

34.
Molková, Lucie
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Indexing very large text data | Práce na příbuzné téma

35.
Mühlpachr, Libor
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Informatika ve veřejné správě
Obhajoba bakalářské práce: Zpracování právních textů | Práce na příbuzné téma

36.
Müllerová, Alexandra
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství českého jazyka a literatury pro střední školy / Učitelství českého jazyka a literatury pro střední školy
Obhajoba diplomové práce: Syntaktická problematika v současných učebnicích češtiny pro SŠ | Práce na příbuzné téma

37.
Obluková, Barbora
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk se specializací počítačová lingvistika
Obhajoba diplomové práce: Využití počítačových nástrojů pro analýzu textů z hlediska forenzní lingvistiky | Práce na příbuzné téma

38.
Pastirčák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Application of functional programming in the development of enterprise systems | Práce na příbuzné téma

39.
Pavla, Matej
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Automatické vyhledávání odpovědi na otázku | Práce na příbuzné téma

40.
Plch, Josef
Fakulta: Fakulta informatiky
Rok: 2015, 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: Morfologický analyzátor založený na pravidlech | Práce na příbuzné téma

41.
Preussová, Eva
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - ruský jazyk
Obhajoba bakalářské práce: Nominativní věty v básnické tvorbě Afanasije Feta | Práce na příbuzné téma

42.
Rýdzi, Oliver
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Functional Programming in Javascript | Práce na příbuzné téma

43.
Rychlý, Jan
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Game development in Haskell | Práce na příbuzné téma

44.
Salášek, Michal
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Lexikálna analýza linuxových príkazov z tréningu kybernetickej bezpečnosti | Práce na příbuzné téma

45.
Sekaninová, Tereza
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: Code de l entrée et du séjour des étrangers et du droit d asile : Traduction et analyse stylistique du texte juridique | Práce na příbuzné téma

46.
Sobotková, Petra
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: Le passeur de lumire | Práce na příbuzné téma

47.
Strcuľa, Zoltán
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatický parsing Windows Event Logu | Práce na příbuzné téma

48.
Ševc, Branislav
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: Knihovna pro zpracování asynchronních událostí v C++ | Práce na příbuzné téma

49.
Šiška, Adam
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Interpretace DVE modelů v Haskellu | Práce na příbuzné téma

50.
Škrabáková, Veronika
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: L'alpinisme : Des premiers pas aux grandes ascensions, traduction et analyse linguistique et traductologique | Práce na příbuzné téma