Práce na stejné téma (mají shodná klíčová slova):
temporální logikaKlíčová slova abecedně | Klíčová slova dle četnosti
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
Odhad parametrů kořenového systému dřevin na základě nadzemních dendrometrických charakteristik stromů
(Lenka Papežíková)2018, Bakalářská práce, Lesnická a dřevařská fakulta / Mendelova univerzita v Brně
• http://theses.cz/id//vnrvr5// | Arboristika / | Práce na příbuzné téma
Robustness Analysis of Extended Signal Temporal Logic STL*
(Tomáš Vejpustek)2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/eflnx/ | Informatika / Teoretická informatika | Práce na příbuzné téma
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
Imaging of fluorescence emission signals from healthy and infected leaf tissues
(Zuzana BENEDIKTYOVÁ)2009, Disertační práce, Ústav fyzikální biologie / JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH
• http://theses.cz/id//cb0kyo// | Fyzika / Biofyzika | Práce na příbuzné téma
Zememeračské činnosti pri rekonštrukcii STL plynovodu vo Vratimove
(Veronika Kupčuliaková)2020, Diplomová práce, Hornicko-geologická fakulta / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/141483 | Geodézie a kartografie / Inženýrská geodézie | Práce na příbuzné téma
Úprava stl modelu pro 3D tisk s využitím plošného modelování v programu Fusion 360
(Filip Kamák)2022, Bakalářská práce, Fakulta technologická / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//th1n3w// | Procesní inženýrství / Technologická zařízení | Práce na příbuzné téma
Robustness Analysis of Extended Signal Temporal Logic STL*
(Tomáš Vejpustek)2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/eflnx/ | Informatika / Teoretická informatika | Práce na příbuzné téma