Theses on the same topic (having an identical keyword):
systems biologyKeywords ordered alphabetically | Keywords ordered by occurrence rate
Symbolic Model Checking of Hybrid CTL
(Ondřej Huvar)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zrf3h/ | Informatika / | Theses on a related topic
Parameter Synthesis of Dynamical Systems via Model Checking
(Martin Demko)2016, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/iz2bt/ | Informatika / Počítačové systémy | Theses on a related topic
Formal Methods for Model Selection in Systems Biology
(Matej Hajnal)2018, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xv1cr/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic
Formal Analysis of Rule-Based Models in Systems Biology
(Matej Troják)2019, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/lc8hj/ | Umělá inteligence a zpracování dat / | Theses on a related topic
Time Series Forecasting Using Machine Learning
(Katarína Hertelová)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/q2k9y/ | Softwarové inženýrství / Návrh a vývoj softwarových systémů | Theses on a related topic
Development of Time Series AI Framework and Blood Glucose Level Forecasting
(Andrej Kubanda)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/v2437/ | Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence | Theses on a related topic
Unsupervised Time Series Anomaly Detection on Virtualisation host networks
(Andrej Černek)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hymck/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Theses on a related topic
Time series Analysis
(Vojtěch Kotík)2023, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/152027 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Theses on a related topic
Change Point Detection in Network Traffic Time Series
(Pavol Zaťko)2019, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/chx9u/ | Informatika / Matematická informatika | Theses on a related topic
Time Series Analysis
(Bohumil Kolář)2023, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/150106 | Průmysl 4.0 / | Theses on a related topic