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

erlang, polymorfismus, typechecking, gradualizer, teorie typu, polymorphism, local type inference, gradual typing, kontrola typu, type theory

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Böhmová, Olga
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Genetické testování dispozic k ateroskleróze | Theses on a related topic Display description

2.
Coufalík, Marek
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Homotopická teorie typů | Theses on a related topic

3.
Farková, Veronika maiden name: Křešťáková
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Role receptoru CD36 ve vnímání chuti mastných kyselin | Theses on a related topic

4.
Garguláková, Kateřina
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Molecular Biology and Genetics (combination/specialization: Antropogenetics)
Bachelor's thesis defence: Vzácné krevní skupiny a jejich význam pro adaptace organismu na extrémní podmínky životního prostředí | Theses on a related topic

5.
Házová, Jana
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Biology / Molecular Biology and Genetics
Master's thesis defence: Detekce mutací v genu CYP2D6 cytochromu P450 - jejich vliv na metabolismus léčiv | Theses on a related topic

6.
Hladíková, Magdaléna
Faculty: Faculty of Medicine
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Neurology (4-years) / Neurology
Doctoral thesis defence: Variabilita genů renin-angiotenzinového systému u roztroušené sklerózy mozkomíšní | Theses on a related topic

7.
Holíková, Petra maiden name: Veselá
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Structural Chemistry, Upper Secondary School Teacher Training in Chemistry
Master's thesis defence: Studium krystalových forem farmaceutických substancí pomocí NMR spektroskopie pevného stavu | Theses on a related topic

8.
Hruška, Pavel
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Molecular Biology and Genetics
Master's thesis defence: Vliv genetické variability na funkci miRNA u pacientů s psoriázou | Theses on a related topic

9.
Janečková, Klára
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Special Biology (combination/specialization: Antropobiology and Antropogenetics)
Master's thesis defence: Role polymorfismu v genu TLR2 ve vnímavosti k syfilis | Theses on a related topic

10.
Jelínek, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Discrete algorithms and models
Master's thesis defence: Type theory and its semantics | Theses on a related topic

11.
Kessler, Markéta maiden name: Pizúrová
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Molecular Biology and Genetics
Master's thesis defence: Studium vztahu mezi polymorfizmy kandidátních genů a klinickými daty na souboru pacientů se schizofrenií | Theses on a related topic

12.
Kohutek, Petr
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Upper Secondary School Teacher Training in Biology, Upper Secondary School Teacher Training in Chemistry
Master's thesis defence: Gen pro TOMM40 v patogenezi Alzheimerovy choroby | Theses on a related topic

13.
Kramářová, Tereza
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Biology / Medical Genetics and Molecular Diagnostics
Bachelor's thesis defence: Geneticky podmíněné příčiny neplodnosti u mužů | Theses on a related topic

14.
Machytková, Martina
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Molecular Biology and Genetics (combination/specialization: Antropogenetika)
Master's thesis defence: Demografické a klinicko - patologické koreláty variability genů pro mikroRNA v populaci českých pacientů s kolorektálním karcinomem | Theses on a related topic

15.
Matušková, Veronika maiden name: Polanská
Faculty: Faculty of Medicine
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: General Medicine / Ophthalmology
Doctoral thesis defence: Oční komplikace u pacientů s revmatoidní artritidou | Theses on a related topic

16.
Michálek, Marek
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Philosophy / English Language and Literature, Philosophy
Bachelor's thesis defence: Intuicionistic Type Theory and its Application to Natural Language | Theses on a related topic

17.
Musilová, Jana
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Biology / Molecular Biology and Genetics
Master's thesis defence: Genetická analýza predispozice k lidským infekčním chorobám | Theses on a related topic

18.
Nekvindová, Lucie
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Mathematical Biology
Bachelor's thesis defence: Genetické asociační studie se zahrnutím příbuzných jedinců | Theses on a related topic

19.
Němec, Petr
Faculty: Faculty of Medicine
Year: 2006, studies completed, degree conferred: Ph.D.
Programme/field: General Medicine / Physiology and Pathological Physiology
Doctoral thesis defence: Imunogenetické aspekty v etiopatogenezi revmatoidní artritidy | Theses on a related topic

20.
Paclíková, Hana
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Ecological and Evolutionary Biology / Ecological and Evolutionary Biology (combination/specialization: Zoology)
Bachelor's thesis defence: Vliv polymorfismu genů vrozené imunity na prozánětlivá onemocnění u savců | Theses on a related topic

21.
Paclíková, Hana
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Ecological and Evolutionary Biology / Zoology
Master's thesis defence: Diverzita, evoluce a selekce u genů kódujících toll-like receptory TLR2 a TLR9 u čeledi Equidae | Theses on a related topic
Master's thesis defence: Diverzita, evoluce a selekce u genů kódujících toll-like receptory TLR2 a TLR9 u čeledi Equidae | Theses on a related topic

22.
Sarvašová, Romana
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Special Biology (combination/specialization: Antropobiology and Antropogenetics)
Bachelor's thesis defence: Výzkum laktázové perzistence u historických populací | Theses on a related topic

23.
Sarvašová, Romana
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Human Biology / Human Biology
Master's thesis defence: Genetická analýza laktázové perzistence u velkomoravské populace ze Znojma – Hradiště | Theses on a related topic

24.
Strašilová, Zuzana maiden name: Pokorná
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Bioanalytical Laboratory Diagnostics in Medicine - Bioanalytic / Bioanalytical Laboratory Diagnostics in Medicine - Bioanalyst
Master's thesis defence: Úloha genu pro CD36 v patogenezi Alzheimerovy choroby | Theses on a related topic

25.
Szczuková, Lenka maiden name: Puczoková
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Biology / Mathematical Biology
Bachelor's thesis defence: Genetické faktory u systémového lupus erythematosus: review literatury a metaanalýza | Theses on a related topic

26.
Šicha, Václav
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Biology (4-years) / Zoology
Doctoral thesis defence: Vybrané aspekty koevoluce mezi kukačkou obecnou (Cuculus canorus) a jejími hostiteli | Theses on a related topic

27.
Štěpán, Jiří
Faculty: Faculty of Science
Year: 2001, studies completed, degree conferred: Ph.D.
Programme/field: Biology / Molecular and Cellular Biology
Doctoral thesis defence: Příprava hybridizační sondy a PCR-primerů pro molekulární identifikaci druhu Staphylococcus aureus | Theses on a related topic

28.
Viktorín, David
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Biochemistry / Applied Biochemistry
Bachelor's thesis defence: Zavedení genotypizace kandidátních genů pro studium obezity | Theses on a related topic

29.
Bencúrová, Petra
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Vliv polymorfizmů genu pro MTHFR na fyziologické regulace | Theses on a related topic

30.
Benešová, Iva maiden name: Tomalová
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Biochemistry
Master's thesis defence: Molekulární diverzita genů kódujících proteiny, které se účastní interakce mezi rostlinou a Meloidogyne incognita | Theses on a related topic

31.
Benkovský, Ondřej
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Proudové zpracování událostí v jazyce Erlang | Theses on a related topic

32.
Deissová, Tereza
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Molecular Biology and Genetics
Bachelor's thesis defence: Genetické markery pro Barrettův jícen a adenokarcinom ezofagu u pacientů s refluxní chorobou jícnu | Theses on a related topic

33.
Dobrovolná, Julie
Faculty: Faculty of Medicine
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Physiology and Pathological Physiology (4-years) / Physiology and Pathological Physiology
Doctoral thesis defence: Potenciál variability v genech kódujících adipokiny v neurobehaviorálním řízení příjmu potravy u české obézní a neobézní populace | Theses on a related topic

34.
Gachová, Daniela
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Biochemistry / Applied Biochemistry (combination/specialization: Clinical biochemistry)
Bachelor's thesis defence: Polymorfizmy v genech kódujících proteiny zapojené při tvorbě skloviny a jejich vztah k zubnímu kazu | Theses on a related topic

35.
Grodecká, Lucie
Faculty: Faculty of Science
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Biology / Molecular Biology and Genetics
Bachelor's thesis defence: Funkční význam promotorových mutací

36.
Hlinecká, Lýdia maiden name: Vargová
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Analytical Biochemistry
Master's thesis defence: Molekulární příčiny schizofrenie: asociační studie | Theses on a related topic

37.
Hrazdilová, Olga
Faculty: Faculty of Medicine
Year: 2006, studies completed, degree conferred: Ph.D.
Programme/field: General Medicine / Anesthesiology, Intensive Medicine and Pain Management
Doctoral thesis defence: Genetický podklad vnímání akutní bolesti | Theses on a related topic

38.
Hybášková, Marcela
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Anthropology / Anthropology
Master's thesis defence: Vnímání chuti fenylthiocarbamidu v současné české populaci | Theses on a related topic

39.
Jandová, Diana
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Percepce mastných kyselin u člověka ve vztahu k obezitě | Theses on a related topic

40.
Jánoš, Július
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Genová variabilita v adipocytokinech u diabetes mellitus a chronické parodontitidy | Theses on a related topic

41.
Jíra, Miroslav
Faculty: Faculty of Medicine
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: General Medicine / Physiology and Pathological Physiology
Doctoral thesis defence: Reproducibilita citlivosti baroreflexu a jeho genetická podmíněnost | Theses on a related topic

42.
Jirman, Martin
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Server hry pro mnoho hráčů | Theses on a related topic

43.
Jurák, Viktor
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Vliv polymorfizmů kandidátních genů na rozvoj svalové síly | Theses on a related topic

44.
Jurák, Viktor
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Bioanalytical Laboratory Diagnostics in Medicine - Bioanalytic / Bioanalytical Laboratory Diagnostics in Medicine - Bioanalyst
Master's thesis defence: Studium vztahů mezi polymorfizmy kandidátních genů a kognitivními poruchami | Theses on a related topic

45.
Kadlecaj, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Online Lambda Calculus Evaluator | Theses on a related topic

46.
Klimovič, Šimon
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Genetické markery u alergického astmatu | Theses on a related topic

47.
Klumpler, Tomáš
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Biology / Molecular Biology and Genetics
Master's thesis defence: Studium polymorfizmu DNA markerů ječmene u nových zdrojů rezistence k padlí | Theses on a related topic

48.
Kohutová, Aneta
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Biology / Molecular Biology and Genetics
Master's thesis defence: Komparativní genomika hlavního histokompatibilitního komplexu (MHC) u čeledi Equidae: gen kódující tumor-nekrotizující faktor (TNF) alfa | Theses on a related topic

49.
Krafčíková, Michaela
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Physics / Biophysics (combination/specialization: Molekulární biofyzika)
Master's thesis defence: Polymorfní kvadruplex formující segment v promotoru c-Myc onkogenu | Theses on a related topic

50.
Krupička, Adam
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Řazení distribuovaných proudů dat v jazyce Erlang | Theses on a related topic