Práce na příbuzné téma (mají shodná klíčová slova):
algebraic model checking, discrete abstraction, systems biologyKlíčová slova abecedně | Klíčová slova dle četnosti
1.
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
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
2.
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
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
3.
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
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
4.
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
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
5.
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
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
6.
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
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
7.
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
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
8.
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
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
9.
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
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
10.
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
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
11.
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
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
12.
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
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
13.
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
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
14.
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
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
15.
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
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
16.
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
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
17.
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
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
18.
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
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
19.
Š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
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
20.
Š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
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
21.
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
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
22.
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
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
23.
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
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
24.
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
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
25.
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
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
26.
Zábojník, Matěj
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Online repository for exploring Boolean networks | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Online repository for exploring Boolean networks | Práce na příbuzné téma