Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

151.
Kasprzak, Jan
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Systems for Discovering Similar Documents | Theses on a related topic Display description

152.
Klangová, Libuše
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: PhDr.
Programme/field: Philology / Russian Language and Literature
Advanced Master's thesis defence: Studie o citoslovcích v ruštině a češtině (na materiálu divadelních her) | Theses on a related topic

153.
Kolářová, Zuzana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language and Literature
Master's thesis defence: Možnosti a meze automatické derivace (počítačové zpracování deverbativ na -ce a na -ec) | Theses on a related topic

154.
Kolomiiets, Anastasiia
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: French Literature and Linguistics / French language and literature
Master's thesis defence: Procédés linguistiques de la propagande de guerre : l'exemple de la persuasion russe dans la presse française | Theses on a related topic

155.
Kosztolányi, Štefan
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Aesthetics and Culture Studies
Master's thesis defence: Estetické vlastnosti v analytické estetice: ontologická a sémantická analýza | Theses on a related topic

156.
Králová, Jana
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature, Russian Language and Literature
Master's thesis defence: Odborný jazyk v německých tiskových médiích náhradní stylistické formy odborných názvů | Theses on a related topic

157.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic

158.
Kuba, Martin
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: SEAGRIN: Grid Infrastructure for Sharing Medical Knowledge | Theses on a related topic

159.
Kubiczková, Simona maiden name: Šebestová
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: K otázce kódu jako umění. Od typewriter art po ASCII art a softwarové umění | Theses on a related topic

160.
Kučera, Adam
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Semantics-Driven Middleware Layer for Building Operation Analysis in Large-Scale Environments | Theses on a related topic

161.
Kučeráková, Lucie maiden name: Korešová
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Compound nouns related to healthy lifestyle, fitness and diet | Theses on a related topic

162.
Kufová, Klára maiden name: Kufová
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Učení se pravidel pro rozpoznávání řeči z nerozpoznaných promluv v dialogovém systému | Theses on a related topic

163.
Kurajda, Jakub
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Informační systém na podporu zapojení veřejnosti do ochrany životního prostředí | Theses on a related topic

164.
Lacko, Roman
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Algoritmus pro analýzu a překlad větných frází | Theses on a related topic

165.
Laurinčík, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Logiky pro popis vlastností stochastických her | Theses on a related topic

166.
Lesičko, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: C++14 - mapping between the standard and a formal semantics | Theses on a related topic

167.
Lindrová, Lucie maiden name: Kořistková
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Sémantický web a mikroformáty | Theses on a related topic

168.
Líška, Martin
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Building the Ultimate Math Search Engine | Theses on a related topic

169.
Loulová, Štěpánka
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Klasifikační systém pro počítačové zpracování terapeutovy řeči v rámci individuálních psychoterapeutických sezení | Theses on a related topic

170.
Lukáš, Radek
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Specifikace molekulárních motivů pomocí přirozeného jazyka | Theses on a related topic

171.
Macinský, Alexander
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: System for adaptive learning of Japanese based on language data | Theses on a related topic

172.
Macko, Dominik
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Enhancing Common Criteria Certificate Analysis with Semantic Segment Search | Theses on a related topic

173.
Mach, Tomáš
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature, German Language and Literature
Bachelor's thesis defence: Lexical Priming as an Approach to Meaning Analysis: The Case of Adverb Modifiers of Verbs in the Troponymical Relation | Theses on a related topic

174.
Mareček, Jakub
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Univerzální editor gramatik | Theses on a related topic
Bachelor's thesis defence: Polyedrální přístup k multikriteriální optimalizaci | Theses on a related topic

175.
Matějková, Zuzana
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Nástroje a možnosti využití automatického referování na internetu | Theses on a related topic

176.
Matscheová, Denisa
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: The Internal Semantic Structure of a Selected Group of English Verbs | Theses on a related topic

177.
Mauritz, Jiří
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Automatic Classification of Legal Documents | Theses on a related topic

178.
Mazáčová, Nella
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Bachelor's thesis defence: Aplikace typového systému pro valenční rámce | Theses on a related topic

179.
Melkusová, Zuzana
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Speech and Language Therapy / Speech and Language Therapy
Bachelor's thesis defence: Rozvoj slovní zásoby u dětí předškolního věku | Theses on a related topic

180.
Meloun, Radek
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Segmentace proteinových sekvencí s použitím metod počítačové lingvistiky | Theses on a related topic

181.
Mintělová, Gabriela
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Interpreting of Czech Sign Language / Interpreting of Czech Sign Language
Bachelor's thesis defence: Regionální rozdíly českého znakového jazyka v Čechách a na Moravě ve vybraných tematických okruzích | Theses on a related topic

182.
Molčanová, Agáta
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Gallery Education and Arts Facilitation, Visual Arts
Master's thesis defence: Oděv jako nástroj lidské symbolizace | Theses on a related topic

183.
Mrkývka, Vojtěch
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Ph.D.
Programme/field: Czech Language / Czech language
Doctoral thesis defence: Webový korektor jako prostředek formalizace pravidel českého jazyka | Theses on a related topic

184.
Nasirinia, Mohammadehsan
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language and Literature / English Language and Literature
Bachelor's thesis defence: On the Language of TV Shows: Wordplay in Rick and Morty | Theses on a related topic

185.
Nosek, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Public Administration Informatics
Bachelor's thesis defence: Question Answering technologie v právní praxi | Theses on a related topic

186.
Nováček, Vít
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ontology Learning | Theses on a related topic

187.
Novotná, Tereza
Faculty: Faculty of Law
Year: 2023, studies completed, degree conferred: Ph.D.
Programme/field: Theoretical Legal Sciences (4-years) / Law Information and Communication Technologies
Doctoral thesis defence: Síťová analýza v právu | Theses on a related topic

188.
Obrusník, Adam
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: A hybrid approach to parallel text alignment | Theses on a related topic

189.
Onoeva, Mariia
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Philology / General Linguistics
Master's thesis defence: Inferential behavior of degree achievements: an experimental study | Theses on a related topic

190.
Opálený, Filip
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Sbírka příkladů pro předmět IB000 | Theses on a related topic

191.
Paulovčáková, Miroslava
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: English Language and Literature / English Language and Literature
Master's thesis defence: The Analysis of Conceptual Metaphor in the Young Adult Magazine Discourse | Theses on a related topic

192.
Pendl, Jakub
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Konverze výukových animací | Theses on a related topic

193.
Peremilovská, Adriana
Faculty: Faculty of Arts
Year: 2022, studies terminated for failure to fulfill study requirements
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Propozice a propoziční postoje, jejich vývoj a role v logice | Theses on a related topic

194.
Pivodová, Renáta
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Zpracování nových gramatických fenoménů v logické analýze přirozeného jazyka | Theses on a related topic

195.
Plch, Josef
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Morfologický analyzátor založený na pravidlech | Theses on a related topic

196.
Polák, Martin
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Doplnění domén do systému zodpovídání otázek UIO | Theses on a related topic

197.
Polák, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Návrh a implementace systému pro extrakci informací | Theses on a related topic

198.
Poprocká, Michaela
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Philology / Norwegian Language and Literature
Bachelor's thesis defence: Semantics of covaluation expressions: truth value judgment task | Theses on a related topic

199.
Prausová, Barbora
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature, French Language and Literature
Bachelor's thesis defence: Brzdy pasiva | Theses on a related topic

200.
Priatelová, Martina
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Theoretical Approaches to Prototype Theory | Theses on a related topic