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

intuicionismus, per martin-lof, computational linguistics, semantics, semantika, natural language processing, natural language, teorie typu, intuicionisticka teorie typu, komputacni lingvistika, intuitionism, type theory, intuitionistic type theory, prirozeny jazyk, aarne ranta, logika, logic

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

101.
Bamburová, Michaela
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Structured Information Extraction from Pharmaceutical Records | Práce na příbuzné téma Zobrazit popisek

102.
Bartošek, Marek
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: Výukové animace v jazyce JavaScript | Práce na příbuzné téma

103.
Bažík, Martin
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence
Obhajoba diplomové práce: Automatic Detection of Fake News | Práce na příbuzné téma

104.
Bělecká, Veronika
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Chorvatský jazyk a literatura
Obhajoba bakalářské práce: Frazeologie v románu Anteho Tomiće Što je muškarac bez brkova a v jeho českém překladu | Práce na příbuzné téma

105.
Bernát, Pavel
Fakulta: Fakulta informatiky
Rok: 2019, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Dialogový systém pro akvizici informací | Práce na příbuzné téma

106.
Bernáthová, Petra
Fakulta: Fakulta informatiky
Rok: 2023, 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: Identification of similar websites for phishing detection | Práce na příbuzné téma

107.
Blahut, Libor
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba diplomové práce: Intention Frame: A Semantic Spectrum from Permission to Coercion | Práce na příbuzné téma

108.
Blaškovičová, Katarína roz. Šodorová
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Španělský jazyk a literatura
Obhajoba diplomové práce: Terminología de fútbol | Práce na příbuzné téma
Obhajoba diplomové práce: Terminología de fútbol | Práce na příbuzné téma

109.
Bušta, Jan
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Výpočet četností výskytů hesel SČFI v korpusu | Práce na příbuzné téma

110.
Bušta, Jan
Fakulta: Fakulta informatiky
Rok: 2012, 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: Automatická extrakce slovesných idiomů z korpusu | Práce na příbuzné téma

111.
Bušta, Josef
Fakulta: Fakulta informatiky
Rok: 2011, studium neúspěšně ukončeno
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Sémantická klasifikace předložkových frází | Práce na příbuzné téma

112.
Citterberg, Erik
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk se specializací počítačová lingvistika
Obhajoba diplomové práce: Derivační slovník češtiny pro nerodilé mluvčí | Práce na příbuzné téma

113.
Čechák, Jaroslav
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: Asistivní fotogalerie | Práce na příbuzné téma

114.
Davčík, Petr
Fakulta: Filozofická fakulta
Rok: 2014, studium neúspěšně ukončeno
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Mezilidská interakce a nová media | Práce na příbuzné téma

115.
Denisová, Michaela
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Baltistika
Obhajoba diplomové práce: Eesti-slovaki sõnastiku loomine kasutades inglise keelt ühendajana | Práce na příbuzné téma

116.
Di Liberti, Ivan
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika a statistika / Algebra, teorie čísel a matematická logika
Obhajoba disertační práce: The Scott adjunction | Práce na příbuzné téma

117.
Dočekalová, Lenka
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: Stative Verbs with the Progressive | Práce na příbuzné téma

118.
Dočekalová, Lenka
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství francouzského jazyka a literatury pro střední školy
Obhajoba diplomové práce: Les réseaux d'isotopies dans Le Petit Prince | Práce na příbuzné téma

119.
Drábik, Jakub
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Semantic mining and analysis of information from heterogeneous data sets | Práce na příbuzné téma

120.
Dravecký, Andrej
Fakulta: Fakulta informatiky
Rok: 2019, 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: XXXXXXX cognitive auto-dispatching | Práce na příbuzné téma

121.
Dudášová, Jana
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Podniková ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Zlepšení poznatků o produktech pomocí analýzy sentimentu recenzí zákazníků | Práce na příbuzné téma

122.
Dulíková, Katarína
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Španělský jazyk a literatura
Obhajoba diplomové práce: La comparación del lenguaje utilizado en las crónicas de fútbol de los periódicos ABC y El País | Práce na příbuzné téma

123.
Dulíková, Katarína
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství španělského jazyka a literatury pro střední školy
Obhajoba diplomové práce: La comparación del lenguaje utilizado en las crónicas de fútbol de los periódicos ABC y El País | Práce na příbuzné téma

124.
Dvořáčková, Helena
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Chorvatský jazyk a literatura
Obhajoba diplomové práce: Somatické idiomy a frazémy v chorvatských překladech Haškova Švejka | Práce na příbuzné téma

125.
Dvořáková, Markéta
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Obecná jazykověda
Obhajoba diplomové práce: Sémantická interpretace textu | Práce na příbuzné téma

126.
Faltýnková, Michaela
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Humanitní studia / Český jazyk a literatura, Historie
Obhajoba diplomové práce: The morphosyntax of the Czech "purpose adjective:" an infinitive in disguise | Práce na příbuzné téma

127.
Fargaš, Oto
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: GUI pro zadávání hypotéz v hybridní logice | Práce na příbuzné téma

128.
Franek, Juraj
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Klasický řecký jazyk a literatura, Latinský jazyk a literatura
Obhajoba bakalářské práce: Dialektika v diele Martiana Capellu De Nuptiis Philologiae et Mercurii | Práce na příbuzné téma

129.
Glaubaufová, Lenka
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: The Passive Voice from a Semantico-Syntactic Perspective | Práce na příbuzné téma

130.
Govind, Prashanth Reddy
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Design and detection of Hardware Trojans | Práce na příbuzné téma

131.
Gregar, Tomáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Semantics Visualization and Visual Semantics: in E-learning and other Applications | Práce na příbuzné téma

132.
Hájková, Veronika
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk se specializací počítačová lingvistika
Obhajoba bakalářské práce: Analýza jmenných tvarů adjektiv a pasivních příčestí ve slovníku morfologického analyzátoru ajka | Práce na příbuzné téma

133.
Hájková, Veronika
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství českého jazyka a literatury pro střední školy, Učitelství německého jazyka a literatury pro střední školy
Obhajoba diplomové práce: Frekvenční a sémantická analýza doplnění tranzitivních sloves | Práce na příbuzné téma

134.
Hao, Xuechun
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor English Language for Education / English Language for Education
Obhajoba bakalářské práce: A comparative study of English determiners vs Chinese classifiers | Práce na příbuzné téma

135.
Hejlová, Jitka
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk a literatura, Francouzský jazyk a literatura
Obhajoba bakalářské práce: "Nul part ailleurs" ou quelques remarques sur les noms de restaurants à Marseille | Práce na příbuzné téma

136.
Hlinka, Michal
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: CityDoc - sledování a lokalizace dokumentů správních řízení města | Práce na příbuzné téma
Obhajoba diplomové práce: CityDoc - sledování a lokalizace dokumentů správních řízení města | Práce na příbuzné téma

137.
Homola, Daniel
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: Projekce výukových položek do roviny | Práce na příbuzné téma

138.
Horký, Milan
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence
Obhajoba diplomové práce: Automated Solution and Difficulty Prediction for Elementary School Mathematics | Práce na příbuzné téma

139.
Hrdličková, Raisa
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Bulharský jazyk a literatura
Obhajoba diplomové práce: Porovnání frazeologie a idiomantiky v českých a bulharských společenských časopisech | Práce na příbuzné téma

140.
Husák, Miloš
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Automatic Retrieval of Good Dictionary Examples | Práce na příbuzné téma

141.
Hutařová, Edita
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Německý jazyk a literatura
Obhajoba diplomové práce: Die Entwicklung der deutschen Verwandtschaftsnamen mit besonderer Berücksichtigung des semantischen Bereichs | Práce na příbuzné téma

142.
Hutařová, Edita
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství německého jazyka a literatury pro střední školy
Obhajoba diplomové práce: Die Entwicklung der deutschen Verwandtschaftsnamen mit besonderer Berücksichtigung des semantischen Bereichs | Práce na příbuzné téma

143.
Chumchalová, Lucie
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Obecná jazykověda / Obecná jazykověda
Obhajoba bakalářské práce: Negative Polarity Items and monotonicity inferences: experimental study | Práce na příbuzné téma

144.
Isaeva, Ivka
Fakulta: Filozofická fakulta
Rok: 2014, studium neúspěšně ukončeno
Program/obor Filologie / Obecná jazykověda
Obhajoba diplomové práce: Některé bulharské a české partikule. Historicko-srovnávací studie. | Práce na příbuzné téma

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

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

147.
Janík, Petr
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: Receipt database with OCR scan | Práce na příbuzné téma

148.
Jasenčáková, Soňa
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Pravda v súčasnom intuicionizme a anti-realizme | Práce na příbuzné téma

149.
Ježík, Matúš
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Online simulátor logické úlohy Peg solitaire | Práce na příbuzné téma

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