Search
Now showing items 1-10 of 28
Artificial Neural Networks and Their Usage For Knowledge Extraction
Umělé neuronové sítě a jejich využití při extrakci znalostí
dissertation thesis (DEFENDED)
Advisor: Mrázová, Iveta
Date Issued: 2015
Date of defense: 22. 09. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Title: Artificial Neural Networks and Their Usage For Knowledge Extraction Author: RNDr. Zuzana Petříčková Department: Department of Theoretical Computer Science and Mathema- tical Logic Supervisor: doc. RNDr. Iveta Mrázová, ...
Název práce: Umělé neuronové sítě a jejich využití při extrakci znalostí Autor: RNDr. Zuzana Petříčková Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce: doc. RNDr. Iveta Mrázová, CSc., ...
Název práce: Umělé neuronové sítě a jejich využití při extrakci znalostí Autor: RNDr. Zuzana Petříčková Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce: doc. RNDr. Iveta Mrázová, CSc., ...
Integrating Planning and Scheduling
Integrace plánování a rozvrhování
dissertation thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2014
Date of defense: 29. 09. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: The main topic of the work is the design and development of a plan-space planning system FAPE that integrates explicit time reasoning, resource reasoning with discrete resources and reservoirs and hierarchical decompositions. ...
Hlavním tématem práce je navržení a vývoj plánovacího systému FAPE, který integruje explicitní reprezentaci času, rozhodování s diskrétními zdroji a rezervoáry, a hierarchické dekompozice. FAPE je první plánovací systém, ...
Hlavním tématem práce je navržení a vývoj plánovacího systému FAPE, který integruje explicitní reprezentaci času, rozhodování s diskrétními zdroji a rezervoáry, a hierarchické dekompozice. FAPE je první plánovací systém, ...
Learning for Classical Planning
Learning for Classical Planning
dissertation thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2009
Date of defense: 25. 09. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: This thesis is mainly about classical planning for artificial intelligence (AI). In planning, we deal with searching for a sequence of actions that changes the environment from a given initial state to a goal state. Planning ...
Heuristic Learning for Domain-independent Planning
Učení heuristik pro doménově nezávislé plánování
dissertation thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2023
Date of defense: 23. 03. 2023
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Automatizované plánování se zabývá hledáním posloupnosti akcí, které vedou k dosažení cílového stavu ze zadaného počátečního stavu, např. řešení Rubikovy kostky, doručování balíků atd. Moderní plánovací techniky jsou ...
Automated planning deals with the problem of finding a sequence of actions leading from a given state to a desired state, e.g., solving Rubik's Cube, delivering parcels, etc. The state-of-the-art automated planning techniques ...
Automated planning deals with the problem of finding a sequence of actions leading from a given state to a desired state, e.g., solving Rubik's Cube, delivering parcels, etc. The state-of-the-art automated planning techniques ...
Optional Activities in Scheduling
Volitelné aktivity v rozvrhování
dissertation thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2021
Date of defense: 30. 09. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Rozvrhování přiděluje omezené zdroje na aktivity tak, aby byly splněny určité pod- mínky a optimalizovány konkrétní cíle. Aktivity, které mají být provedeny, jsou obvykle známé nebo jsou určeny předem ve fázi plánování. ...
Scheduling allocates scarce resources to activities such that certain constraints are satisfied and specific objectives are optimized. The activities to be executed are com- monly known or determined a priori in the planning ...
Scheduling allocates scarce resources to activities such that certain constraints are satisfied and specific objectives are optimized. The activities to be executed are com- monly known or determined a priori in the planning ...
Resolution-based methods for linear temporal reasoning
dissertation thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2015
Date of defense: 16. 10. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: The aim of this thesis is to explore the potential of resolution-based methods for linear temporal reasoning. On the abstract level, this means to develop new algorithms for automated reasoning about properties of systems ...
Cílem této práce je prozkoumat potenciál metod založených na rezoluci pro uvažování s lineárním časem. To na abstraktní rovině znamená navrhnout nové algoritmy pro automatické uvažovaní o vlastnostech systémů, které se ...
Cílem této práce je prozkoumat potenciál metod založených na rezoluci pro uvažování s lineárním časem. To na abstraktní rovině znamená navrhnout nové algoritmy pro automatické uvažovaní o vlastnostech systémů, které se ...
Boolean techniques in Knowledge representation
Booleovské techniky v reprezentaci znalostí
dissertation thesis (DEFENDED)
Advisor: Čepek, Ondřej
Date Issued: 2020
Date of defense: 23. 09. 2020
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Title: Boolean techniques in Knowledge representation Author: Miloš Chromý Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: Doc. RNDr. Ondřej Čepek, Ph.D., Department of Theoretical ...
Název: Booleovské techniky v Reprezentaci znalostí Autor: Miloš Chromý Katedra: Katedra teoretické matematiky a matematické logiky Vedoucí práce: Doc. RNDr. Ondřej Čepek, Ph.D., Katedra teoretické matem- atiky a matematické ...
Název: Booleovské techniky v Reprezentaci znalostí Autor: Miloš Chromý Katedra: Katedra teoretické matematiky a matematické logiky Vedoucí práce: Doc. RNDr. Ondřej Čepek, Ph.D., Katedra teoretické matem- atiky a matematické ...
Subgraphs of Hypercubes - Embeddings with Restrictions or Prescriptions
Subgraphs of Hypercubes - Embeddings with Restrictions or Prescriptions
dissertation thesis (DEFENDED)
Advisor: Koubek, Václav
Date Issued: 2006
Date of defense: 04. 10. 2006
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found
Transformation of Logic Programs
Transformace logických programů
dissertation thesis (DEFENDED)
Advisor: Štěpánek, Petr
Date Issued: 2008
Date of defense: 30. 09. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: This paper is a contribution to improving computational e fficiency of de nite Prolog programs using Unfold/Fold (U/F) strategy with homeomorphic embedding as a control heuristic. Unfold/Fold strategy is an alternative to ...
Global Constraints in Scheduling
Globalni podminky v rozvrhovani
dissertation thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2007
Date of defense: 22. 08. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: In this place, I would like to say my best thanks to everyone who supported me in my work and helped me along my whole Ph.D. study. First of all I owe a major debt to my supervisor Doc. RNDr. Roman Barták, Ph.D. for his ...