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

casq, systemova biologia, boolean model generation, interaction networks, interakcne siete, systems biology, aeon, ciastocne specifikovana booleovska siet, partially specified boolean network, generovanie booleovskych modelov

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

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

4.
Pastva, Samuel
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: Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL | Práce na příbuzné téma

5.
Raček, Jakub
Fakulta: Fakulta informatiky
Rok: 2019, 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: Optimalizácia Rektangulárnej Abstrakcie v Nástroji Pithya | Práce na příbuzné téma

6.
Šalagovič, Jakub
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Computational analysis and model integration of biorhythmic systems | Práce na příbuzné téma

7.
Tokarčík, Andrej
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: Rewriting complex biological models in stochastic process algebras: a case study | Práce na příbuzné téma

8.
Zábojník, Matěj
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Online repository for exploring Boolean networks | Práce na příbuzné téma

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

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

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

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

13.
Doktor, Radoslav
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Modul Analýzy Modelů pro Platformu CMP | Práce na příbuzné téma

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

15.
Huvar, Ondřej
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma

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

17.
Klement, Matej
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Comprehensive Modeling Platform for Photosynthetic Organisms | Práce na příbuzné téma

18.
Kolářová, Lucie
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Modelování a analýza booleovských sítí pomocí nástroje AEON | Práce na příbuzné téma

19.
Krúželová, Daniela
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Vizualizácia stavového priestoru booleovskej siete | Práce na příbuzné téma

20.
Kulíšek, Samuel
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: Formal representation of graphical models of biological systems | Práce na příbuzné téma

21.
Losová, Barbora
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematické modelování a numerické metody
Obhajoba diplomové práce: Matematické modely systémové biologie | Práce na příbuzné téma

22.
Lošťák, Ondřej
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Bioinformatika a systémová biologie
Obhajoba diplomové práce: Towards Practical Identification of Asynchronous Boolean Networks | Práce na příbuzné téma

23.
Mertová, Lukrécia
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Automatisation of biochemical space annotation | Práce na příbuzné téma

24.
Mertová, Lukrécia
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Framework for Automatised Annotation of Biochemical Entities | Práce na příbuzné téma

25.
Ondrejka, Šimon
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Generalized asynchronous semantics for Boolean networks | Práce na příbuzné téma

26.
Paľovčík, Patrik
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Návrh regulačných sietí z predchádzajúcich znalostí | Práce na příbuzné téma

27.
Petřík, Vojtěch
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Dějiny umění, Teorie interaktivních médií
Obhajoba bakalářské práce: Jan Konůpek - In Memoriam Otokara Březiny | Práce na příbuzné téma

28.
Salykin, Anton
Fakulta: Lékařská fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Lékařská biologie (čtyřleté) / Lékařská biologie
Obhajoba disertační práce: Metabolic analysis of human pluripotent stem cells | Práce na příbuzné téma

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

30.
Streck, Adam
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Estimace parametrů v diskrétních biologických modelech | Práce na příbuzné téma

31.
Streck, Adam
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: Efektivní identifikace parametrů genových regulačních sítí | Práce na příbuzné téma

32.
Šidlovský, Štefan
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: Nástroj AEON ako desktopová aplikácia v prostredí Tauri | Práce na příbuzné téma

33.
Šimurka, Andrej
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Inference of Boolean Networks | Práce na příbuzné téma

34.
Škaroupka, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2022, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Specifikace fenotypů v nástroji Aeon | Práce na příbuzné téma

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

36.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Rule-based Modelling of Biochemical Processes: Specification and Analysis | Práce na příbuzné téma

37.
Urbanovský, Ondřej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Comparative Analysis of Rule-Based Languages | Práce na příbuzné téma

38.
Válent, Oskár Adam
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: Rust library for SBML model manipulation | Práce na příbuzné téma

39.
Vejpustek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Visual Specification of Temporal Properties over Time Series | Práce na příbuzné téma

40.
Žiaran, Milan
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Generator of Parametrised Boolean Networks | Práce na příbuzné téma

41.
Žižka, Josef
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: Modernizing AEON web frontend | Práce na příbuzné téma