National Repository of Grey Literature 8 records found  Search took 0.00 seconds. 
Constraint Programming in Planning
Surynek, Pavel ; Barták, Roman (advisor) ; Vojtáš, Peter (referee) ; Štěpánková, Olga (referee)
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 (advisor) ; Štěpánková, Olga (referee) ; Ngo, Phuong Dinh (referee)
An increasing amount of data are collected through wearable devices during ambulatory, and long-term monitoring of biological signals, adoption of persuasive technology and dynamics of clinical trials information sharing - all of that changes the possible clinical intervention. Moreover, more and more smartphone apps are hitting the market as they become a tool in daily life for many people around the globe. All of these applications are generating a tremendous amount of data, that is difficult to process using traditional methods, and asks for engagement of advanced methods of data processing. For recruiting patients, this calls for a shift from traditional methods of engaging patients to modern communication platforms such as social media, that are providing easy access to up- to-date information on an everyday basis. These factors make the clinical study progression demanding, in terms of unified participant management and processing of connected digital resources. Some clinical trials put a strong accent on remote sensing data and patient engagement through their smartphones. To facilitate this, a direct participant messaging, where the researchers give support, guidance and troubleshooting on a personal level using already adopted communication channels, needs to be implemented. Since the...
Electronic clinical study management system with artificial intelligence-based data processing capabilities
Mužný, Miroslav ; Mužík, Jan (advisor) ; Štěpánková, Olga (referee) ; Ngo, Phuong Dinh (referee)
An increasing amount of data are collected through wearable devices during ambulatory, and long-term monitoring of biological signals, adoption of persuasive technology and dynamics of clinical trials information sharing - all of that changes the possible clinical intervention. Moreover, more and more smartphone apps are hitting the market as they become a tool in daily life for many people around the globe. All of these applications are generating a tremendous amount of data, that is difficult to process using traditional methods, and asks for engagement of advanced methods of data processing. For recruiting patients, this calls for a shift from traditional methods of engaging patients to modern communication platforms such as social media, that are providing easy access to up- to-date information on an everyday basis. These factors make the clinical study progression demanding, in terms of unified participant management and processing of connected digital resources. Some clinical trials put a strong accent on remote sensing data and patient engagement through their smartphones. To facilitate this, a direct participant messaging, where the researchers give support, guidance and troubleshooting on a personal level using already adopted communication channels, needs to be implemented. Since the...
Constraint Programming in Planning
Surynek, Pavel ; Barták, Roman (advisor) ; Vojtáš, Peter (referee) ; Štěpánková, Olga (referee)
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 (advisor) ; Berka, Petr (referee) ; Štěpánková, Olga (referee) ; Šárek, Milan (referee)
This thesis employs data-mining techniques and modern information and communication technology to develop methods which may improve efficiency of prevention oriented telemedical programs. In particular this thesis uses the ITAREPS program as a case study and demonstrates that an extension of the program based on the proposed methods may significantly improve the program's efficiency. ITAREPS itself is a state of the art telemedical program operating since 2006. It has been deployed in 8 different countries around the world, and solely in the Czech republic it helped prevent schizophrenic relapse in over 400 participating patients. Outcomes of this thesis are widely applicable not just to schizophrenic patients but also to other psychotic or non-psychotic diseases which follow a relapsing path and satisfy certain preconditions defined in this thesis. Two main areas of improvement are proposed. First, this thesis studies various temporal data-mining methods to improve relapse prediction efficiency based on diagnostic data history. Second, latest telecommunication technologies are used in order to improve quality of the gathered diagnostic data directly at the source.
Ontology Learning and Information Extraction for the Semantic Web
Kavalec, Martin ; Berka, Petr (advisor) ; Štěpánková, Olga (referee) ; Snášel, Václav (referee)
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.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.