Oto Fargaš
Bachelor's thesis
GUI pro zadávání hypotéz v hybridní logice
GUI for hypotheses specification in hybrid logics
Abstract:
This thesis deals with hypotheses in hybrid extension of CTL (Computation Tree Logic). It allows creating hypothesis about behavior of the biological systems as well as creating predefined patterns for later usage in hypotheses. Hypotheses can be exported to .hyp file. In the first part of the thesis CTL and its hybrid extension is explained. Next part describes technologies used for implementation …moreAbstract:
Práca sa zaoberá hypotézami v hybridnom rozšírení CTL (Computation Tree Logic). Umožňuje vytvárať hypotézy o chovaní biologických systémov a zároveň vytvárať preddefinované vzory chovania a neskôr ich v hypotézach použiť. Hypotézy možno exportovať do súboru .hyp. V prvej časti práce je vysvetlená logika CTL a jej hybridné rozšírenie. Ďalšia časť popisuje použité technológie a posledná časť popisuje …more
Language used: Slovak
Date on which the thesis was submitted / produced: 26. 5. 2020
Identifier:
https://is.muni.cz/th/j2osi/
Thesis defence
- Date of defence: 24. 6. 2020
- Supervisor: prof. RNDr. Luboš Brim, CSc.
- Reader: Mgr. Samuel Pastva
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
- No theses on a related topic available.