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

151.
Kasprzak, Jan
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Systems for Discovering Similar Documents | Práce na příbuzné téma Zobrazit popisek

152.
Klangová, Libuše
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: PhDr.
Program/obor Filologie / Ruský jazyk a literatura
Obhajoba rigorózní práce: Studie o citoslovcích v ruštině a češtině (na materiálu divadelních her) | Práce na příbuzné téma

153.
Kolářová, Zuzana
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk a literatura
Obhajoba diplomové práce: Možnosti a meze automatické derivace (počítačové zpracování deverbativ na -ce a na -ec) | Práce na příbuzné téma

154.
Kolomiiets, Anastasiia
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Francouzský jazyk a literatura / Francouzský jazyk a literatura
Obhajoba diplomové práce: Procédés linguistiques de la propagande de guerre : l'exemple de la persuasion russe dans la presse française | Práce na příbuzné téma

155.
Kosztolányi, Štefan
Fakulta: Filozofická fakulta
Rok: 2014, 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: Estetické vlastnosti v analytické estetice: ontologická a sémantická analýza | Práce na příbuzné téma

156.
Králová, Jana
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Německý jazyk a literatura, Ruský jazyk a literatura
Obhajoba diplomové práce: Odborný jazyk v německých tiskových médiích náhradní stylistické formy odborných názvů | Práce na příbuzné téma

157.
Křetínský, Jan
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: Modal Transition Systems: Extensions and Analysis | Práce na příbuzné téma

158.
Kuba, Martin
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: SEAGRIN: Grid Infrastructure for Sharing Medical Knowledge | Práce na příbuzné téma

159.
Kubiczková, Simona roz. Šebestová
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba diplomové práce: K otázce kódu jako umění. Od typewriter art po ASCII art a softwarové umění | Práce na příbuzné téma

160.
Kučera, Adam
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Semantics-Driven Middleware Layer for Building Operation Analysis in Large-Scale Environments | Práce na příbuzné téma

161.
Kučeráková, Lucie roz. Korešová
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Compound nouns related to healthy lifestyle, fitness and diet | Práce na příbuzné téma

162.
Kufová, Klára roz. Kufová
Fakulta: Fakulta informatiky
Rok: 2018, 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: Učení se pravidel pro rozpoznávání řeči z nerozpoznaných promluv v dialogovém systému | Práce na příbuzné téma

163.
Kurajda, Jakub
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Informační systém na podporu zapojení veřejnosti do ochrany životního prostředí | Práce na příbuzné téma

164.
Lacko, Roman
Fakulta: Fakulta informatiky
Rok: 2014, 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: Algoritmus pro analýzu a překlad větných frází | Práce na příbuzné téma

165.
Laurinčík, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Logiky pro popis vlastností stochastických her | Práce na příbuzné téma

166.
Lesičko, Tomáš
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: C++14 - mapping between the standard and a formal semantics | Práce na příbuzné téma

167.
Lindrová, Lucie roz. Kořistková
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Sémantický web a mikroformáty | Práce na příbuzné téma

168.
Líška, Martin
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Building the Ultimate Math Search Engine | Práce na příbuzné téma

169.
Loulová, Štěpánka
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: Klasifikační systém pro počítačové zpracování terapeutovy řeči v rámci individuálních psychoterapeutických sezení | Práce na příbuzné téma

170.
Lukáš, Radek
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Specifikace molekulárních motivů pomocí přirozeného jazyka | Práce na příbuzné téma

171.
Macinský, Alexander
Fakulta: Fakulta informatiky
Rok: 2020, 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: System for adaptive learning of Japanese based on language data | Práce na příbuzné téma

172.
Macko, Dominik
Fakulta: Fakulta informatiky
Rok: 2024, 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: Enhancing Common Criteria Certificate Analysis with Semantic Segment Search | Práce na příbuzné téma

173.
Mach, Tomáš
Fakulta: Filozofická fakulta
Rok: 2018, 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: Lexical Priming as an Approach to Meaning Analysis: The Case of Adverb Modifiers of Verbs in the Troponymical Relation | Práce na příbuzné téma

174.
Mareček, Jakub
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Univerzální editor gramatik | Práce na příbuzné téma
Obhajoba bakalářské práce: Polyedrální přístup k multikriteriální optimalizaci | Práce na příbuzné téma

175.
Matějková, Zuzana
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Nástroje a možnosti využití automatického referování na internetu | Práce na příbuzné téma

176.
Matscheová, Denisa
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: The Internal Semantic Structure of a Selected Group of English Verbs | Práce na příbuzné téma

177.
Mauritz, Jiří
Fakulta: Fakulta informatiky
Rok: 2018, 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: Automatic Classification of Legal Documents | Práce na příbuzné téma

178.
Mazáčová, Nella
Fakulta: Filozofická fakulta
Rok: 2021, 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: Aplikace typového systému pro valenční rámce | Práce na příbuzné téma

179.
Melkusová, Zuzana
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Logopedie / Logopedie
Obhajoba bakalářské práce: Rozvoj slovní zásoby u dětí předškolního věku | Práce na příbuzné téma

180.
Meloun, Radek
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Segmentace proteinových sekvencí s použitím metod počítačové lingvistiky | Práce na příbuzné téma

181.
Mintělová, Gabriela
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Tlumočnictví českého znakového jazyka / Tlumočnictví českého znakového jazyka
Obhajoba bakalářské práce: Regionální rozdíly českého znakového jazyka v Čechách a na Moravě ve vybraných tematických okruzích | Práce na příbuzné téma

182.
Molčanová, Agáta
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Galerijní pedagogika a zprostředkování umění, Vizuální tvorba
Obhajoba diplomové práce: Oděv jako nástroj lidské symbolizace | Práce na příbuzné téma

183.
Mrkývka, Vojtěch
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Český jazyk / Český jazyk
Obhajoba disertační práce: Webový korektor jako prostředek formalizace pravidel českého jazyka | Práce na příbuzné téma

184.
Nasirinia, Mohammadehsan
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor English Language and Literature / English Language and Literature
Obhajoba bakalářské práce: On the Language of TV Shows: Wordplay in Rick and Morty | Práce na příbuzné téma

185.
Nosek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Informatika ve veřejné správě
Obhajoba bakalářské práce: Question Answering technologie v právní praxi | Práce na příbuzné téma

186.
Nováček, Vít
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Ontology Learning | Práce na příbuzné téma

187.
Novotná, Tereza
Fakulta: Právnická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy (čtyřleté) / Právo informačních a komunikačních technologií
Obhajoba disertační práce: Síťová analýza v právu | Práce na příbuzné téma

188.
Obrusník, Adam
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: A hybrid approach to parallel text alignment | Práce na příbuzné téma

189.
Onoeva, Mariia
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Obecná jazykověda
Obhajoba diplomové práce: Inferential behavior of degree achievements: an experimental study | Práce na příbuzné téma

190.
Opálený, Filip
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Sbírka příkladů pro předmět IB000 | Práce na příbuzné téma

191.
Paulovčáková, Miroslava
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba diplomové práce: The Analysis of Conceptual Metaphor in the Young Adult Magazine Discourse | Práce na příbuzné téma

192.
Pendl, Jakub
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Konverze výukových animací | Práce na příbuzné téma

193.
Peremilovská, Adriana
Fakulta: Filozofická fakulta
Rok: 2022, studium neúspěšně ukončeno
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Propozice a propoziční postoje, jejich vývoj a role v logice | Práce na příbuzné téma

194.
Pivodová, Renáta
Fakulta: Fakulta informatiky
Rok: 2020, 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: Zpracování nových gramatických fenoménů v logické analýze přirozeného jazyka | Práce na příbuzné téma

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

196.
Polák, Martin
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Doplnění domén do systému zodpovídání otázek UIO | Práce na příbuzné téma

197.
Polák, Martin
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Návrh a implementace systému pro extrakci informací | Práce na příbuzné téma

198.
Poprocká, Michaela
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Norský jazyk a literatura
Obhajoba bakalářské práce: Semantics of covaluation expressions: truth value judgment task | Práce na příbuzné téma

199.
Prausová, Barbora
Fakulta: Filozofická fakulta
Rok: 2010, 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: Brzdy pasiva | Práce na příbuzné téma

200.
Priatelová, Martina
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: Theoretical Approaches to Prototype Theory | Práce na příbuzné téma