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

rule-based, modelling, systems biology, standardisation, sbml, bcsl

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

51.
Molčan, Matej roz. Molčan
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geologie / Geologie
Obhajoba diplomové práce: Depoziční a termální prostředí transformních rozhraní na příkladu Guayany a Ghany | Práce na příbuzné téma Zobrazit popisek

52.
Neuwirthová, Ludmila
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Pedagogika / Pedagogika
Obhajoba disertační práce: Standardizace jazykového vzdělávání na vysokých školách technického zaměření | Práce na příbuzné téma

53.
Novobílská, Eva
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika pro učitele
Obhajoba diplomové práce: Keramika se žáky se speciálními potřebami | Práce na příbuzné téma

54.
Novotná, Martina
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Humanitní environmentalistika / Environmentální studia
Obhajoba diplomové práce: Životní způsob modelek v environmentálním kontextu | Práce na příbuzné téma

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

56.
Opichalová, Markéta
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Input Manipulation Module for Biochemical Space Language | Práce na příbuzné téma

57.
Pál, Karol
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: System for generating visualizations of SBML models | Práce na příbuzné téma

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

59.
Pejznoch, Aleš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Modul statické a dynamické analýzy pro e-photosynthesis.org | Práce na příbuzné téma

60.
Prokůpek, Marek
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Simulační metody jako nástroj rozhodování - modelování pomocí programu Witness | Práce na příbuzné téma

61.
Prvák, Milan
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Teoretická fyzika a astrofyzika (kombinace/zaměření: Astrofyzika)
Obhajoba diplomové práce: Modelování proměnnosti hvězdy sigma Ori E | Práce na příbuzné téma

62.
Przybylski, Lukáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness | Práce na příbuzné téma

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

64.
Rangelov, Andrej
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Využití simulačních metod pro optimalizaci podnikových procesů | Práce na příbuzné téma

65.
Richnavský, Andrej
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Podniková informatika / Podniková informatika
Obhajoba bakalářské práce: Optimalizace podnikového procesu pomocí modelování a simulace | Práce na příbuzné téma

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

67.
Schmidtová, Tereza
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Fyzika plazmatu
Obhajoba diplomové práce: Studium chování hybridního PVD-PECVD procesu | Práce na příbuzné téma

68.
Sittová, Lucia
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Podniková informatika
Obhajoba bakalářské práce: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Práce na příbuzné téma

69.
Slaný, Tomáš
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: Jsou zelené budovy zdravé budovy? | Práce na příbuzné téma

70.
Soukupová, Miroslava
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Management (kombinace/zaměření: Management)
Obhajoba bakalářské práce: Využití simulačních metod při řízení podniku | Práce na příbuzné téma

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

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

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

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

75.
Šejnová, Klára
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná fyzika / Astrofyzika
Obhajoba bakalářské práce: Modelování časového vývoje obálky kolem Be hvězdy 60 Cyg | Práce na příbuzné téma

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

77.
Štefanič, 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: Vizualizace modelů a biochemického prostoru v SBGN | Práce na příbuzné téma

78.
Švaňa, Ján
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování s využitím Maple a MapleSim | Práce na příbuzné téma

79.
Titěrová, Marta
Fakulta: Fakulta informatiky
Rok: 2022, studium neúspěšně ukončeno
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Nástroje pro analýzu booleovských sítí | Práce na příbuzné téma

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

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

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

83.
Večeřa, Martin
Fakulta: Ekonomicko-správní fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Práce na příbuzné téma

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

85.
Vrábel, Martin
Fakulta: Fakulta informatiky
Rok: 2019, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Graphical User Interface for Modelling of Petri Nets | Práce na příbuzné téma

86.
Vrbas, Jakub
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Webový informační systém pro specifikaci biologických modelů | Práce na příbuzné téma

87.
Vrzalová, Eliška roz. Baková
Fakulta: Právnická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Mezinárodněprávní obchodní studia
Obhajoba bakalářské práce: Technická harmonizace a technické normy v právu EU | Práce na příbuzné téma

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

89.
Záhora, Peter
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Využití simulačních metod pro optimalizaci podnikových procesů | Práce na příbuzné téma

90.
Žilka, Filip
Fakulta: Ekonomicko-správní fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Práce na příbuzné téma