Práce na stejné téma (mají shodná klíčová slova):
temporální logikaKlíčová slova abecedně | Klíčová slova dle četnosti
Specification and monitoring of oscillation properties in dynamical systems
(Petr Dluhoš)2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zsgyq/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma
Formální popis fosforylačních stavů a souvisejících reakcí
(Matej Troják)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nhf6y/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma
Formální modely oscilací v biologii a jejich analýza
(Jakub Šalagovič)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/g0z0q/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma
Analýza událostí a jejich temporálních aspektů s využitím Transparentní intensionální logiky
(Jakub Macek)2017, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/127349 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma
Analýza robustnosti spojitých dynamických systémů v distribuovaném prostředí
(Jan Papoušek)2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ui3u5/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Modelování a kvalitativní analýza fotosystému II pomocí Petriho sítí
(Vilém Děd)2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qzn8b/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma
Výpočetní analýza nelineárních dynamických systémů
(Sven Dražan)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/f7h2b/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Nové hybridní metody pro robustní a automatizovaný odhad parametrů mechatronických systémů
(Jan Najman)2022, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//wpmdon// | Aplikované vědy v inženýrství / | Práce na příbuzné téma
Nové hybridní metody pro robustní a automatizovaný odhad parametrů mechatronických systémů
(Jan Najman)2022, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//4y4m2t// | Aplikované vědy v inženýrství / | Práce na příbuzné téma
Nové hybridní metody pro robustní a automatizovaný odhad parametrů mechatronických systémů
(Jan Najman)2022, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//wkdusx// | Aplikované vědy v inženýrství / | Práce na příbuzné téma