|
|
Constraint Programming in Planning
Surynek, Pavel ; Barták, Roman (vedoucí práce) ; Vojtáš, Peter (oponent) ; Štěpánková, Olga (oponent)
This thesis deals with planning problems and Boolean satisfiability problems that represent major challenges for artificial intelligence. Planning problems are stated as finding a sequence of actions that reaches certain goal. One of the most successful techniques for solving planning problems is a concept of plan- ning graphs and the related GraphPlan algorithm. In the thesis we identified a weak point of the original GraphPlan algorithm which is the search for actions that support certain goal. We proposed to model this problem as a constraint satisfaction problem and we solve it by maintaining arc-consistency. Several propagation variants for maintaining arc-consis- tency in the model are proposed. The model and its solving process were integrated into the general GraphPlan-based planning algorithm. The performed experimental evaluation showed improvements in order of magnitude in several measured characteristics (overall solving time, number of backtracks) compared to the standard version of the GraphPlan algorithm. Next we proposed a stronger consistency technique for pruning the search space during solving the problem of finding supports. It is called projection consistency and it is based on disentangling the structure of the problem formulation. If the problem of finding sup- porting actions is...
|
|
| |
|
|
Electronic clinical study management system with artificial intelligence-based data processing capabilities
Mužný, Miroslav ; Mužík, Jan (vedoucí práce) ; Štěpánková, Olga (oponent) ; Ngo, Phuong Dinh (oponent)
Objem dat, který je generován nositelnými zařízeními v průběhu ambulatorního i dlouhodobého snímání biologických signálů, adopce pervazivních technologií a dynamika předávání informací v rámci klinických studií - to vše mění způsoby, kterým mohou prováděny klinické studie. Více a více aplikací, které přicházejí na trh se stávají pomůckou v denním životě lidí po celém světě. Všechny tyto aplikace produkují obrovské množství dat, jež je obtížné zpracovat tradičními metodami, a vyvstává tak nutnost využití pokročilých metod. Je také možné sledovat odvrat od tradičních metod náboru pacientů, k moderním komunikačním platformám jako sociální sítě, které usnadňují přístup k aktuálním informacím. Tyto faktory činí postup v klinické studii náročným s ohledem na management účastníků studie a zpracování informací ze zdrojů dat. Některé klinické studie kladou velký důraz na sběr dat ze senzorů a zapojení pacientů do studie prostřednictvím jejich mobilních telefonů. Pro usnadnění tohoto přístupu, je nutné využít přímou komunikací s pacientem, kdy administrátoři studie poskytují podporu a pomáhají řešit problémy, které se mohou v průběhu studie vyskytnout, a to za pomocí moderních komunikačních platforem a elektronických zpráv vedených přímo s účastníkem studie. Celý tento postup je nicméně časově náročný, a je...
|
|
|
Electronic clinical study management system with artificial intelligence-based data processing capabilities
Mužný, Miroslav ; Mužík, Jan (vedoucí práce) ; Štěpánková, Olga (oponent) ; Ngo, Phuong Dinh (oponent)
Objem dat, který je generován nositelnými zařízeními v průběhu ambulatorního i dlouhodobého snímání biologických signálů, adopce pervazivních technologií a dynamika předávání informací v rámci klinických studií - to vše mění způsoby, kterým mohou prováděny klinické studie. Více a více aplikací, které přicházejí na trh se stávají pomůckou v denním životě lidí po celém světě. Všechny tyto aplikace produkují obrovské množství dat, jež je obtížné zpracovat tradičními metodami, a vyvstává tak nutnost využití pokročilých metod. Je také možné sledovat odvrat od tradičních metod náboru pacientů, k moderním komunikačním platformám jako sociální sítě, které usnadňují přístup k aktuálním informacím. Tyto faktory činí postup v klinické studii náročným s ohledem na management účastníků studie a zpracování informací ze zdrojů dat. Některé klinické studie kladou velký důraz na sběr dat ze senzorů a zapojení pacientů do studie prostřednictvím jejich mobilních telefonů. Pro usnadnění tohoto přístupu, je nutné využít přímou komunikací s pacientem, kdy administrátoři studie poskytují podporu a pomáhají řešit problémy, které se mohou v průběhu studie vyskytnout, a to za pomocí moderních komunikačních platforem a elektronických zpráv vedených přímo s účastníkem studie. Celý tento postup je nicméně časově náročný, a je...
|
|
|
Examination of the Spatial Structure of Pigs' Melanoma in Tissue Sections Based on Histology and Mass Spectrometry
Anýz, J. ; Vysloužilová, L. ; Horák, Vratislav ; Štěpánková, O. ; Vaculovič, T. ; Adam, V.
We examine the spatial structure of the melanoma in tissue sections. The pigs melanoma was examined in 10 tissue samples obtained from animals of age between 4 and 22 weeks. The tissue sections were measured by light microscopy and Laser Ablation Ion Inductively Coupled Plasma Mass Spectrometry to obtain spatial metal (Cu, Zn) distribution. The exploratory analysis of the tissue sections indicates there is clearly a pattern in the spatial structure. Different projections of the spatial structure of the melanoma are obtained by the different measurement methods. The spectral clustering on the data was utilized to describe the structure in the data. According to the clustering results, there are distinct clusters of observations in the histological data. The spatial elemental distribution of the metals Cu and Zn cannot be clustered -the data form one compact cluster. The clustering of the histological images produces clusters which are related to the annotation of the biological samples in broader terms -the differences between fibrous and cancerous tissue.
|
|
|
Constraint Programming in Planning
Surynek, Pavel ; Barták, Roman (vedoucí práce) ; Vojtáš, Peter (oponent) ; Štěpánková, Olga (oponent)
This thesis deals with planning problems and Boolean satisfiability problems that represent major challenges for artificial intelligence. Planning problems are stated as finding a sequence of actions that reaches certain goal. One of the most successful techniques for solving planning problems is a concept of plan- ning graphs and the related GraphPlan algorithm. In the thesis we identified a weak point of the original GraphPlan algorithm which is the search for actions that support certain goal. We proposed to model this problem as a constraint satisfaction problem and we solve it by maintaining arc-consistency. Several propagation variants for maintaining arc-consis- tency in the model are proposed. The model and its solving process were integrated into the general GraphPlan-based planning algorithm. The performed experimental evaluation showed improvements in order of magnitude in several measured characteristics (overall solving time, number of backtracks) compared to the standard version of the GraphPlan algorithm. Next we proposed a stronger consistency technique for pruning the search space during solving the problem of finding supports. It is called projection consistency and it is based on disentangling the structure of the problem formulation. If the problem of finding sup- porting actions is...
|
|
| |
|
|
Zlepšování učinnosti prevence v telemedicíně
Nálevka, Petr ; Svátek, Vojtěch (vedoucí práce) ; Berka, Petr (oponent) ; Štěpánková, Olga (oponent) ; Šárek, Milan (oponent)
Cílem této práce je zlepšení účinnosti telemedicínských preventivních programů s využitím nástrojů z oblasti dobývání znalostí z databází a moderních telekomunikačních technologií. Tato práce využívá program ITAREPS jako případovou studii a ukazuje, že rozšíření tohoto programu postavené na navrhovaných metodách může výrazně zlepšit úspěšnost prevence. ITAREPS je sám o sobě ukázkou úspěšné aplikace telemedicíny a asi největším podobným počinem v oblasti prevence schizofrenie. Funguje již od roku 2006. Byl nasazen v osmi zemích světa a jen v České republice pomohl více než 400 pacientům v prevenci relapsu. Výsledky této práce mají širší využití, a to při prevenci jiných psychotických, ale i nepsychotických nemocí, které mají tendenci k recidivě a splňují další podmínky vymezené v této práci. Tato práce navrhuje dvě hlavní oblasti pro zlepšení. Zaprvé, využití historických dat a aplikaci různých metod temporálního dobývaní znalostí pro zlepšení úspěšnosti predikce relapsu. Zadruhé, využití nejnovějších telekomunikačních technologií pro zlepšení kvality získávaných diagnostických dat přímo u zdroje.
|
|
|
Ontology Learning and Information Extraction for the Semantic Web
Kavalec, Martin ; Berka, Petr (vedoucí práce) ; Štěpánková, Olga (oponent) ; Snášel, Václav (oponent)
The work gives overview of its three main topics: semantic web, information extraction and ontology learning. A method for identification relevant information on web pages is described and experimentally tested on pages of companies offering products and services. The method is based on analysis of a sample web pages and their position in the Open Directory catalogue. Furthermore, a modfication of association rules mining algorithm is proposed and experimentally tested. In addition to an identification of a relation between ontology concepts, it suggest possible naming of the relation.
|
host ::
RSS.