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

formal specification, python, celldesigner, formal methods, systems biology graphical notation, systems biology, biochemical space language

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

1.
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 Zobrazit popisek

2.
Mikuš, Milan
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Vývoj nástroje pro online administraci biochemického prostoru | Práce na příbuzné téma

3.
Stanko, Oto
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Improving Efficiency of Boolean Networks Inference | Práce na příbuzné téma

4.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Formal Biochemical Space for Specification and Analysis of Biochemical Processes | Práce na příbuzné téma

5.
Adámik, Samuel
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: Portál otevřených dat obce: Případová studie | Práce na příbuzné téma
Obhajoba diplomové práce: Portál otevřených dat obce: Případová studie | Práce na příbuzné téma

6.
Alfery, Vladimír
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Systém pro automatickou detekci zpožděných letů a dopad na itineráře cestujících | Práce na příbuzné téma

7.
Ambros, Samuel
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Nasazení a provoz softwarových systémů
Obhajoba diplomové práce: Leveraging Machine Learning for Time Series Predictive Analysis | Práce na příbuzné téma

8.
Andoniadis, Kamil
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba diplomové práce: Automatizované nasazení projektu KYPO | Práce na příbuzné téma

9.
Antalov, Lukáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Analýza a návrh webového portálu na bezpečné ukládání citlivých informací | Práce na příbuzné téma

10.
Aster, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Správce elektronického poštovního systému | Práce na příbuzné téma

11.
Aster, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Nástroj pro vytváření a správu paketových filtrů | Práce na příbuzné téma
Obhajoba diplomové práce: Nástroj pro vytváření a správu paketových filtrů | Práce na příbuzné téma

12.
Bajger, Adam
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: Nový framework pro experimenty strojového učení | Práce na příbuzné téma

13.
Bajužík, Branislav
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: Nástroj pro převod příkazů pro počítačové hry | Práce na příbuzné téma

14.
Baláž, Šimon
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Helper scripts for Wikipedia editors | Práce na příbuzné téma

15.
Baranová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Static Analyser for BeakerLib Tests | Práce na příbuzné téma

16.
Barnišin, Michal
Fakulta: Fakulta informatiky
Rok: 2022, 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: AIML 2.1 Chatbot Design Language Interpreter in Python | Práce na příbuzné téma

17.
Bartek, Filip
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Mechanistic Reconstruction of FGFR3 Signalling Pathways | Práce na příbuzné téma

18.
Bateľ, Jakub
Fakulta: Fakulta informatiky
Rok: 2020, 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: Bezdrátové zařízení pro evidenci docházky | Práce na příbuzné téma

19.
Beľa, Martin
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Vizuální informatika / Počítačová grafika a vizualizace
Obhajoba diplomové práce: Chromatin Visualization in Jupyter Notebook and VR | Práce na příbuzné téma

20.
Beneš, Nikola
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: Disjunctive Modal Transition Systems | Práce na příbuzné téma

21.
Bernát, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba bakalářské práce: Automatizace modelování podélných profilů pro kritické body pomocí GIS | Práce na příbuzné téma

22.
Bernát, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Návrh databáze a analytických nástrojů pro kritické body v terénu | Práce na příbuzné téma

23.
Bílek, Samuel
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: VisualUV: Blender add-on for UV Mapping workflow | Práce na příbuzné téma

24.
Biloš, 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: Správa inteligentných senzorov v cloudovom prostredí | Práce na příbuzné téma

25.
Bohatá, Tereza roz. Šestáková
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Experimentální biologie / Matematická biologie
Obhajoba diplomové práce: Využití hlubokých neuronových sítí pro predikci schizofrenie | Práce na příbuzné téma

26.
Bojnák, Štefan
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: Konvertor formátů dat pro sdílení bezpečnostních událostí | Práce na příbuzné téma

27.
Bouda, Ondřej
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: Refactoring of Sequence Chart Studio | Práce na příbuzné téma

28.
Brauner, Šimon
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Ansible Collection for Perun | Práce na příbuzné téma

29.
Brlej, Šimon
Fakulta: Fakulta informatiky
Rok: 2022, 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: Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes | Práce na příbuzné téma

30.
Brozmann, Branislav
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Standardisation of Biochemical Space Language | Práce na příbuzné téma

31.
Brynych, Šimon
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: Hromadné zpracování záznamů přednášek | Práce na příbuzné téma

32.
Březina, Adam
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Automatizace v praktiku z analytické chemie | Práce na příbuzné téma

33.
Bucňák, Zdeněk
Fakulta: Fakulta informatiky
Rok: 2013, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Implementace kontrolních mechanismů do prostředí WikiSkript | Práce na příbuzné téma

34.
Burgr, Ladislav
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: Vliv počtu uchazečů ve veřejné zakázce na výslednou cenu | Práce na příbuzné téma

35.
Bušová, Hana
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství výpočetní techniky pro střední školy
Obhajoba diplomové práce: Výuka programování v jazyce Python pro střední školy | Práce na příbuzné téma

36.
Ceľuch, Jozef
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: Analýza nástrojů pro vyhledávání hlášených chyb | Práce na příbuzné téma

37.
Čabala, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2017, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Webové rozhraní pro zpracování experimentu SAXS | Práce na příbuzné téma

38.
Čermák, Andrej
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Lightweight portal for MetaCentrum Cloud | Práce na příbuzné téma

39.
Černianska, Rebeka
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství informatiky pro střední školy / Učitel informatiky a správce sítě
Obhajoba diplomové práce: Výuka programovania na strednej škole so zameraním na rozvoj algoritmického myslenia | Práce na příbuzné téma

40.
Červeňanský, Michal
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Výpočtové prostredie pre anotáciu DNA sekvencií transpozónov a ich prezentáciu | Práce na příbuzné téma

41.
Češka, Jiří
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: Návrh a implementace informačního systému SHM Prostějov | Práce na příbuzné téma

42.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Práce na příbuzné téma

43.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Počítačové systémy
Obhajoba rigorózní práce: Parameter Synthesis of Dynamical Systems via Model Checking | Práce na příbuzné téma

44.
Diasová, Gabriela
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačová lingvistika / Počítačová lingvistika
Obhajoba diplomové práce: Gender a povolání: Sledování proměn v publicistických textech | Práce na příbuzné téma

45.
Dluhoš, Petr
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: Specification and monitoring of oscillation properties in dynamical systems | Práce na příbuzné téma

46.
Dohnal, Vojtěch
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: Meta-Programming Library for GraphQL APIs Autogeneration | Práce na příbuzné téma

47.
Dopjera, Norbert
Fakulta: Fakulta informatiky
Rok: 2022, 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: Implementácia TES API pre Galaxy Pulsar | Práce na příbuzné téma

48.
Doucha, Šimon
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Informatika ve veřejné správě
Obhajoba bakalářské práce: Orientační kalkulačka výše poplatků za prodlouženou dobu studia | Práce na příbuzné téma

49.
Dražanová, Jana roz. Fabriková
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Construction of Algebraic Abstractions for Systems Biology | Práce na příbuzné téma

50.
Drobný, Michal
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: Řešení pro podporu evidence a monitorování rozsáhlých počítačových sítí | Práce na příbuzné téma