Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

temporální logika

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 13 theses)
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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 / | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

« 1 2 » (total: 13 theses)