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

systemova biologie, biologicke modely, temporalni vlastnosti, vizualni specifikace, systems biology, model checking, casova rada, biological modelling, time series, temporal properties, visual specification

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

51.
Ferenz, David
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomie / Ekonomie
Obhajoba bakalářské práce: Predikční výkonnost jednorozměrných modelů pro výpočet ceny ropy | Práce na příbuzné téma Zobrazit popisek

52.
Florianová, Hana
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Analýza dat z pojišťovnictví v systému STATISTICA | Práce na příbuzné téma

53.
Fojt, Lukáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance / Finance
Obhajoba bakalářské práce: Vyhledávání klíčových slov spojených s brexitem na internetu a jeho vliv na vývoj kurzu britské libry | Práce na příbuzné téma

54.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma

55.
Frák, Ivan
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Konverzia interakčných sietí na čiastočne špecifikované Booleovské siete v nástroji CaSQ | Práce na příbuzné téma

56.
Frnoch, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Grafické rozhraní pro simulátor C++ programů | Práce na příbuzné téma

57.
Gaja, Pavel
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba bakalářské práce: Mapování charakteristik vegetačního krytu obrazových dat MODIS | Práce na příbuzné téma

58.
Galanová, Miriam
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: Vizualizace hlubokého učení časových řad | Práce na příbuzné téma

59.
Gallo, Matej
Fakulta: Fakulta informatiky
Rok: 2019, 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: Predikce časových řad pomocí hlubokých neuronových sítí | Práce na příbuzné téma

60.
Gmiterko, Dominik
Fakulta: Fakulta informatiky
Rok: 2021, studium neúspěšně ukončeno
Program/obor Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence
Obhajoba diplomové práce: Nástroj pro podporu analýzy dat meteorologických měření | Práce na příbuzné téma

61.
Hajnal, Matej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba rigorózní práce: Formal Methods for Model Selection in Systems Biology | Práce na příbuzné téma

62.
Haran, Himanshu Kumar
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma

63.
Haraštová, Tereza
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Statistika a analýza dat
Obhajoba diplomové práce: Modely nestacionárních časových řad | Práce na příbuzné téma

64.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Relaxed Memory Models in DiVinE | Práce na příbuzné téma

65.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma

66.
Havlíček, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma

67.
Havlíček, Vavřinec
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Statistika a analýza dat
Obhajoba diplomové práce: ARFIMA modely – procesy s dlouhou pamětí | Práce na příbuzné téma

68.
Hellebrandová, Iveta
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Regrese s AR(p) chybami | Práce na příbuzné téma

69.
Hellebrandová, Iveta
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná matematika / Statistika a analýza dat
Obhajoba diplomové práce: Stochastické modelování časových řad pomocí strukturálních modelů | Práce na příbuzné téma

70.
Herman, Ondřej
Fakulta: Fakulta informatiky
Rok: 2013, 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: Automatické metody pro detekci změn použití slov v čase | Práce na příbuzné téma

71.
Hertelová, Katarína
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Time Series Forecasting Using Machine Learning | Práce na příbuzné téma

72.
Hlostová, Martina
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Trendově a diferenčně stacionární časové řady | Práce na příbuzné téma

73.
Hlostová, Martina
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Statistika a analýza dat
Obhajoba diplomové práce: Odhady spektrálních hustot pomocí autoregresních modelů | Práce na příbuzné téma

74.
Holeček, Jan
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarového plánovače paměti

75.
Holík, Lukáš
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Rozhodnutelnost v temporálních logikách | Práce na příbuzné téma

76.
Horáček, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Práce na příbuzné téma

77.
Hrdlička, Ondřej
Fakulta: Fakulta informatiky
Rok: 2024, 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: Library for Boolean function manipulation in Rust and Python | Práce na příbuzné téma

78.
Chudíček, Lukáš
Fakulta: Fakulta informatiky
Rok: 2024, 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: Symbolic representation of multi-valued logical models in Rust | Práce na příbuzné téma

79.
Ivičič, Petr
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Frontend of the AEON Sketchbook application | Práce na příbuzné téma

80.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Transformation of Nondeterministic Büchi Automata to Tight Automata | Práce na příbuzné téma

81.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma

82.
Ježková, Martina
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Kointegrace a její aplikace ve financích | Práce na příbuzné téma

83.
Jurkovič, Juraj
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Fixture resolution based on odds similarity | Práce na příbuzné téma

84.
Kadaši, Jakub
Fakulta: Fakulta informatiky
Rok: 2017, 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: Verifikace paralelní hashovací tabulky z knihovny Folly | Práce na příbuzné téma

85.
Kapustová, Jana
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Volně šiřitelný software pro analýzu časových řad | Práce na příbuzné téma

86.
Keda, Michal
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Grafická reprezentace formulí logiky LTL | Práce na příbuzné téma

87.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma

88.
Kišš, Oliver
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: Program pro automatické generování vizualizací matematických modelů | Práce na příbuzné téma

89.
Klapalová, Barbara
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Aplikovaná matematika pro víceoborové studium, Ekonomie
Obhajoba bakalářské práce: Monetární politika jako indikátor chování trhu nemovitostí | Práce na příbuzné téma

90.
Klement, Dominik
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Classification of Passersby Using Single-point LiDAR Sensor and Machine Learning | Práce na příbuzné téma

91.
Kmentová, Tereza
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Matematické a statistické metody v ekonomii / Matematické a statistické metody v ekonomii
Obhajoba diplomové práce: Science and Beauty: Lipstick Effect | Práce na příbuzné téma

92.
Konicar, Robert
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma

93.
Korsch, Patrik
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika / Hospodářská politika
Obhajoba bakalářské práce: Vzťah medzi politickými a komerčnými úrokovými sadzbami | Práce na příbuzné téma

94.
Kováčová, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Experimentální biologie / Matematická biologie
Obhajoba bakalářské práce: Hodnocení struktury akutní lůžkové péče v ČR v čase | Práce na příbuzné téma

95.
Kožuský, Martin
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Využití provozních statistik pro detekci bezpečnostních problémů

96.
Krampolová, Luisa
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Aplikovaná matematika pro víceoborové studium, Ekonomie
Obhajoba bakalářské práce: Parita kupní síly v teorii a praxi | Práce na příbuzné téma

97.
Kratěna, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Portlet pro interaktivní vizualizaci dynamických dat | Práce na příbuzné téma
Obhajoba diplomové práce: Portlet pro interaktivní vizualizaci dynamických dat | Práce na příbuzné téma

98.
Kratochvíla, Tomáš
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarových systémů | Práce na příbuzné téma

99.
Kratochvílová, Kateřina
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Transformace dynamických systémů do interakčních sítí | Práce na příbuzné téma

100.
Kratochvílová, Pavla
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma