Theses on a related topic (having the same keywords):
systemova biologia, parameter synthesis, rectangular abstraction, rektangularna abstrakcia, synteza parametrov, dynamical system, systems biology, dynamicky system, ode modelKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL | Theses on a related topic
2.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Theses on a related topic
3.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Theses on a related topic
4.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Systems
Advanced Master's thesis defence: Parameter Synthesis of Dynamical Systems via Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Systems
Advanced Master's thesis defence: Parameter Synthesis of Dynamical Systems via Model Checking | Theses on a related topic
5.
Drongová, Nikol maiden name: Lorková
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Modelling and computations
Bachelor's thesis defence: Modely laseru | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Modelling and computations
Bachelor's thesis defence: Modely laseru | Theses on a related topic
6.
Linhartová, Ludmila
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Differential equations and their applications
Master's thesis defence: Persistence dynamických systémů | Theses on a related topic
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Differential equations and their applications
Master's thesis defence: Persistence dynamických systémů | Theses on a related topic
7.
Mikuš, Milan
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vývoj nástroje pro online administraci biochemického prostoru | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vývoj nástroje pro online administraci biochemického prostoru | Theses on a related topic
8.
Morcinek, Pavel
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Modelling and computations
Master's thesis defence: Strukturované modely epidemií | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Modelling and computations
Master's thesis defence: Strukturované modely epidemií | Theses on a related topic
9.
Rehák, Rastislav
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematical Modelling and Numeric Methods
Master's thesis defence: Tobinův model a jeho modifikace | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematical Modelling and Numeric Methods
Master's thesis defence: Tobinův model a jeho modifikace | Theses on a related topic
10.
Šalagovič, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Computational analysis and model integration of biorhythmic systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Computational analysis and model integration of biorhythmic systems | Theses on a related topic
11.
Ševčík, Jan
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Modelling and Calculations (combination/specialization: Signal and Data Analysis)
Bachelor's thesis defence: Nedifúzní modely šíření | Theses on a related topic
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Modelling and Calculations (combination/specialization: Signal and Data Analysis)
Bachelor's thesis defence: Nedifúzní modely šíření | Theses on a related topic
12.
Ševčík, Jan
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Modelling and computations
Master's thesis defence: Synchronizace | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Modelling and computations
Master's thesis defence: Synchronizace | Theses on a related topic
13.
Tokarčík, Andrej
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rewriting complex biological models in stochastic process algebras: a case study | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rewriting complex biological models in stochastic process algebras: a case study | Theses on a related topic
14.
Vlčko, Petr
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Aplikace dynamických systémů v ekonomii | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Aplikace dynamických systémů v ekonomii | Theses on a related topic
15.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic
16.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic
17.
Brozmann, Branislav
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Standardisation of Biochemical Space Language | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Standardisation of Biochemical Space Language | Theses on a related topic
18.
Brůža, Vojtěch
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Optimalizace nástroje Parasim pro analýzu robustnosti dynamických systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Optimalizace nástroje Parasim pro analýzu robustnosti dynamických systémů | Theses on a related topic
19.
Bucharová, Tereza
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Dynamika výměny jeskynní a venkovní atmosféry: teoretické modely | Theses on a related topic
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Dynamika výměny jeskynní a venkovní atmosféry: teoretické modely | Theses on a related topic
20.
Doktor, Radoslav
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Modul Analýzy Modelů pro Platformu CMP | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Modul Analýzy Modelů pro Platformu CMP | Theses on a related topic
21.
Dražan, Sven
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Výpočetní analýza nelineárních dynamických systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Výpočetní analýza nelineárních dynamických systémů | Theses on a related topic
22.
Dražanová, Jana maiden name: Fabriková
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Computational methods for discrete abstractions of ODE models | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Computational methods for discrete abstractions of ODE models | Theses on a related topic
23.
Dražanová, Jana maiden name: Fabriková
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Construction of Algebraic Abstractions for Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Construction of Algebraic Abstractions for Systems Biology | Theses on a related topic
24.
Dražanová, Jana maiden name: Fabriková
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Abstraction-Based Analysis of Continuous-Time Models in System Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Abstraction-Based Analysis of Continuous-Time Models in System Biology | Theses on a related topic
25.
Hajnal, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Bioinformatics
Advanced Master's thesis defence: Formal Methods for Model Selection in Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Bioinformatics
Advanced Master's thesis defence: Formal Methods for Model Selection in Systems Biology | Theses on a related topic
26.
Halaštová, Barbora
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Modelling and computations
Bachelor's thesis defence: Dynamické modely lidského dýchání | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Modelling and computations
Bachelor's thesis defence: Dynamické modely lidského dýchání | Theses on a related topic
27.
Huvar, Ondřej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbolic Model Checking of Hybrid CTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbolic Model Checking of Hybrid CTL | Theses on a related topic
28.
Chudíček, Lukáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Symbolic representation of multi-valued logical models in Rust | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Symbolic representation of multi-valued logical models in Rust | Theses on a related topic
29.
Kadeřábek, Zdeněk
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Matematics (4-years) / Mathematical Analysis
Doctoral thesis defence: Periodická a kvaziperiodická řešení diferenciálních rovnic Van der Pol-Mathieuova typu | Theses on a related topic
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Matematics (4-years) / Mathematical Analysis
Doctoral thesis defence: Periodická a kvaziperiodická řešení diferenciálních rovnic Van der Pol-Mathieuova typu | Theses on a related topic
30.
Klement, Matej
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Comprehensive Modeling Platform for Photosynthetic Organisms | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Comprehensive Modeling Platform for Photosynthetic Organisms | Theses on a related topic
31.
Korenčiak, Ľuboš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis in Continuous-Time Stochastic Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis in Continuous-Time Stochastic Systems | Theses on a related topic
32.
Krúželová, Daniela
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Vizualizácia stavového priestoru booleovskej siete | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Vizualizácia stavového priestoru booleovskej siete | Theses on a related topic
33.
Kulíšek, Samuel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Formal representation of graphical models of biological systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Formal representation of graphical models of biological systems | Theses on a related topic
34.
Losová, Barbora
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematical Modelling and Numeric Methods
Master's thesis defence: Matematické modely systémové biologie | Theses on a related topic
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematical Modelling and Numeric Methods
Master's thesis defence: Matematické modely systémové biologie | Theses on a related topic
35.
Lošťák, Ondřej
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Bioinformatics and systems biology
Master's thesis defence: Towards Practical Identification of Asynchronous Boolean Networks | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Bioinformatics and systems biology
Master's thesis defence: Towards Practical Identification of Asynchronous Boolean Networks | Theses on a related topic
36.
Mertová, Lukrécia
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Automatisation of biochemical space annotation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Automatisation of biochemical space annotation | Theses on a related topic
37.
Mertová, Lukrécia
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Framework for Automatised Annotation of Biochemical Entities | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Framework for Automatised Annotation of Biochemical Entities | Theses on a related topic
38.
Ondrejka, Šimon
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Generalized asynchronous semantics for Boolean networks | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Generalized asynchronous semantics for Boolean networks | Theses on a related topic
39.
Paľovčík, Patrik
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Návrh regulačných sietí z predchádzajúcich znalostí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Návrh regulačných sietí z predchádzajúcich znalostí | Theses on a related topic
40.
Papoušek, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Paralelizace metod pro analýzu dynamických systémů pomocí grafické karty | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Paralelizace metod pro analýzu dynamických systémů pomocí grafické karty | Theses on a related topic
41.
Papoušek, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Analýza robustnosti spojitých dynamických systémů v distribuovaném prostředí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Analýza robustnosti spojitých dynamických systémů v distribuovaném prostředí | Theses on a related topic
42.
Pejznoch, Aleš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
43.
Pilař, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Zrychlení syntézy parametrů pro stochastické modely | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Zrychlení syntézy parametrů pro stochastické modely | Theses on a related topic
44.
Salykin, Anton
Faculty: Faculty of Medicine
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Medical Biology (4-years) / Medical Biology
Doctoral thesis defence: Metabolic analysis of human pluripotent stem cells | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Medical Biology (4-years) / Medical Biology
Doctoral thesis defence: Metabolic analysis of human pluripotent stem cells | Theses on a related topic
45.
Stanko, Oto
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Improving Efficiency of Boolean Networks Inference | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Improving Efficiency of Boolean Networks Inference | Theses on a related topic
46.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic
47.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Efektivní identifikace parametrů genových regulačních sítí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Efektivní identifikace parametrů genových regulačních sítí | Theses on a related topic
48.
Šimurka, Andrej
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Inference of Boolean Networks | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Inference of Boolean Networks | Theses on a related topic
49.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
50.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Formal Biochemical Space for Specification and Analysis of Biochemical Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Formal Biochemical Space for Specification and Analysis of Biochemical Processes | Theses on a related topic