Theses on a related topic (having the same keywords):

systemova biologie, biologicke modely, temporalni vlastnosti, vizualni specifikace, systems biology, model checking, casova rada, biological modelling, time series, temporal properties, visual specification

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
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 Display description

2.
Bednár, Tomáš
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Empirické zákony distribuce relativních přírůstků finančních aktiv | Theses on a related topic
Master's thesis defence: Empirické zákony distribuce relativních přírůstků finančních aktiv | Theses on a related topic
Master's thesis defence: Empirické zákony distribuce relativních přírůstků finančních aktiv | Theses on a related topic

3.
Biksadský, Róbert
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Dynamické regresní modely | Theses on a related topic

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

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

6.
Hůlková, Kateřina
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Jednorozměrné dynamické lineární modely v analýze časových řad | Theses on a related topic

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

8.
Ivan, Matej
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Mathematical Biology
Bachelor's thesis defence: Analýza a modelování variability srdečního rytmu při zátěži | Theses on a related topic

9.
Kejzlar, Vojtěch
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Modelling and Calculations
Bachelor's thesis defence: Analýza srdečního rytmu koní při zátěži pomocí lineárních modelů | Theses on a related topic

10.
Lahoda, Marek
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geography (combination/specialization: Physical Geography)
Bachelor's thesis defence: Variabilita celkového slunečního záření v Brně v letech 2011-2013 | Theses on a related topic

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

12.
Neveselá, Barbora
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Statistics and Data Analysis
Master's thesis defence: Statistické hodnocení výstupů regionálního klimatického modelu | Theses on a related topic

13.
Pham, Thanh Trang
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Statistics and Data Analysis
Master's thesis defence: Modely časových řad pro binární a spojitá meterologická data | Theses on a related topic

14.
Růžičková, Ivana
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Quantitative Methods in Economy / Mathematical and Statistical Methods in Economics
Master's thesis defence: Predikce v ekonomických časových řadách | Theses on a related topic

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

16.
Šimová, Veronika
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Controlling odbytu | Theses on a related topic

17.
Šitka, Josef
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Physical Geography
Master's thesis defence: Základní rysy variability klimatu střední Evropy od r. 1500 simulované vybranými klimatickými modely | Theses on a related topic

18.
Vičík, Jan
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Finance / Finance
Bachelor's thesis defence: Metody předpovědi volatility na finančních trzích | Theses on a related topic

19.
Adumetey, Maame Ama Dede
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance (Eng.)
Master's thesis defence: The impact of interest rates on stocks of selected emerging economies | Theses on a related topic

20.
Appl, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Quantitative Probabilistic Verification in Distributed Environment | Theses on a related topic

21.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Translation of Linear Temporal Logic to Omega-Automata | Theses on a related topic

22.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Translation of LTL to omega-automata | Theses on a related topic

23.
Bartek, Filip
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Mechanistic Reconstruction of FGFR3 Signalling Pathways | Theses on a related topic

24.
Bauch, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Automating Software Development with Explicit Model Checking | Theses on a related topic

25.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE

26.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ověřování interaktivních vlastností komponentových systémů | Theses on a related topic

27.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Component Interaction in Component-Based Systems | Theses on a related topic

28.
Berkovcová, Helena
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Biology / Upper Secondary School Teacher Training in Biology, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Učební texty ze statistiky pro studenty kombinovaného studia obchodních akademií | Theses on a related topic

29.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE

30.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: LTL atraktory | Theses on a related topic

31.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automata for Formal Methods: Little Steps Towards Perfection | Theses on a related topic

32.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Linear Temporal Logic and omega-automata | Theses on a related topic

33.
Bořil, Petr
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Modelování a predikce spotových cen elektrické energie | Theses on a related topic

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

35.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Decidability and complexity of infinite-state stochastic games | Theses on a related topic

36.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Basic Model Checking Problems for Stochastic Games | Theses on a related topic

37.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Basic model-checking problems for stochastic games | Theses on a related topic

38.
Buček, Jakub
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Role úvěrového transmisního mechanismu v české ekonomice | Theses on a related topic

39.
Burget, Rostislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic

40.
Čápková, Lenka
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Biology / Mathematical Biology
Bachelor's thesis defence: Časový vývoj regionálních trendů onkologických onemocnění v České republice | Theses on a related topic

41.
Čermák, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Porovnání modelovacích schopností verifikačních nástrojů | Theses on a related topic

42.
Darmovzal, Josef
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Predikce výkonnosti podniku ve středním časovém horizontu | Theses on a related topic

43.
Děd, Vilém
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Agregace stavového prostoru biochemických dynamických systémů | Theses on a related topic
Master's thesis defence: Agregace stavového prostoru biochemických dynamických modelů | Theses on a related topic

44.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Rozšíření a refaktorizace nástroje BioDiVinE | Theses on a related topic

45.
Dražan, Sven
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Rozhraní pro správu modelů genových regulačních sítí | Theses on a related topic

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

47.
Duchoňová, Nina
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Vizualizace rozsáhlých časových řad ve více rozlišeních | Theses on a related topic

48.
Dundrová, Lucie
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Mathematics - Economics
Bachelor's thesis defence: Ekonometrické metody a modely v reálných ekonomických aplikacích | Theses on a related topic

49.
Dvořáčková, Monika
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Ing.
Programme/field: Economics / Economics
Master's thesis defence: Neo-Fisheriánství - nový přístup k monetární politice? | Theses on a related topic

50.
Ferenz, David
Faculty: Faculty of Economics and Administration
Year: 2024, studies under way
Programme/field: Economics / Economics
Bachelor's thesis defence: Predikční výkonost jednorozměrných modelů pro výpočet ceny ropy | Theses on a related topic