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

signalni temporalni logika, robustnost, continuous-time dynamical systems, signal temporal logic, signal-value freeze operator, operator zmrazeni hodnot signalu, robustness, dynamicke systemy se spojitym casem

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

1.
Divina, Ondřej
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Modelování a výpočty (kombinace/zaměření: Ekonomie)
Obhajoba bakalářské práce: Metody odhadu NAIRU a jejich robustnost | Práce na příbuzné téma Zobrazit popisek

2.
Filičko, Michal
Fakulta: Ekonomicko-správní fakulta
Rok: 2016, studium neúspěšně ukončeno
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Automatické obchodní systémy jako produkt obchodníka s cennými papíry | Práce na příbuzné téma
Obhajoba bakalářské práce: Automatické obchodní systémy jako produkt obchodníka s cennými papíry | Práce na příbuzné téma

3.
Chalmovianský, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Aplikovaná matematika pro víceoborové studium, Ekonomie
Obhajoba diplomové práce: Moderní bayesiánské metody odhadu NAIRU a potenciálního produktu a jejich robustnost | Práce na příbuzné téma

4.
Kluvánková, Michaela
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Antropologie / Antropologie
Obhajoba diplomové práce: Vztah mezi tělesným složením a variabilitou v robustnosti diafýzy stehenní, holenní a pažní kosti | Práce na příbuzné téma

5.
Martinovič, Tomáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Kvantitativní metody v ekonomice / Matematické a statistické metody v ekonomii
Obhajoba diplomové práce: Nejistota odhadů potenciálniho produktu a NAIRU | Práce na příbuzné téma

6.
Brůža, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Optimalizace nástroje Parasim pro analýzu robustnosti dynamických systémů | Práce na příbuzné téma

7.
Horáček, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Práce na příbuzné téma

8.
Matuška, Jindřich
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Verification of binarised neural networks using ASP | Práce na příbuzné téma

9.
Mikula, Lukáš
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Zpracování a analýza rozsáhlých dat
Obhajoba diplomové práce: Think Twice Before You Answer: Mitigating Biases of Question Answering Models | Práce na příbuzné téma

10.
Papoušek, Jan
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: Analýza robustnosti spojitých dynamických systémů v distribuovaném prostředí | Práce na příbuzné téma

11.
Sedmidubský, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Self-organizing Similarity Search - The Social Network Approach | Práce na příbuzné téma

12.
Štefánik, Michal
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Axes of Robustness of Neural Language Models | Práce na příbuzné téma