Hledat
Zobrazují se záznamy 1-10 z 25
Třídy Booleovských funkcí umožňující efektivní hledání minimálních reprezentací.
Třídy Booleovských funkcí umožňující efektivní hledání minimálních reprezentací.
Diplomová práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2010
Datum obhajoby: 31. 05. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tématem práce je problém minimalizace Booleovských funkcí. Rozebírá složitost minimalizace v obecném případě pro různé vstupní reprezentace a protože ve všech zde uvažovaných případech jde o NP-úplný problém, následuje ...
This thesis deals with the Boolean minimization problem. We discuss its time complexity in the general case for various representations of the input. Since this problem is known to be NP-complete, a survey of some of ...
This thesis deals with the Boolean minimization problem. We discuss its time complexity in the general case for various representations of the input. Since this problem is known to be NP-complete, a survey of some of ...
Comparison of Top trees implementations
Porovnání implementací Top stromů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Majerech, Vladan
Datum publikování: 2018
Datum obhajoby: 06. 06. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Porovnání implementací Top stromů - Abstrakt Jiří Setnička Definice a zavedení Top stromů a představení problémů, které se jimi dají efektivně řešit včetně problému hranové 2-souvislosti. Definice a zavedení topologických ...
Comparison of Top trees implementations - Abstract Jiří Setnička Definition and description of Top trees and introduction of problems solvable by them including problem of edge 2-connectivity. Definition and description ...
Comparison of Top trees implementations - Abstract Jiří Setnička Definition and description of Top trees and introduction of problems solvable by them including problem of edge 2-connectivity. Definition and description ...
Search Strategies for Scheduling Problems
Search Strategies for Scheduling Problems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2012
Datum obhajoby: 30. 01. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci porovnávám prohledávací strategie pro řešení rozvrhovacích problémů z pohledu programování s omezujícími podmínkami. Těžiště práce je věnováno rozvrhovacím problémům obsahujícím alternativní úlohy. V ...
In the present work I compare the search strategies for solving scheduling problems from the view of constraint programming. The thesis is focused on scheduling problems containing alternative activities. An analysis of ...
In the present work I compare the search strategies for solving scheduling problems from the view of constraint programming. The thesis is focused on scheduling problems containing alternative activities. An analysis of ...
Modelling Planning Problems
Modelling Planning Problems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2012
Datum obhajoby: 30. 01. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Téma předložené diplomové práce spadá do oblasti znalostního inženýrství v automatickém plánování. V poslední době je pro reprezentaci plánovacích problémů často využíván koncept stavových proměnných. V rámci této práce ...
This thesis deals with the knowledge engineering for Automated Planning. The concept of state variables has been recently used with benefits for representation of planning problems. In this thesis the same concept is used ...
This thesis deals with the knowledge engineering for Automated Planning. The concept of state variables has been recently used with benefits for representation of planning problems. In this thesis the same concept is used ...
Artificial neural networks and their application in text analysis
Umělé neuronové sítě a jejich využití při analýze textových dat
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mrázová, Iveta
Datum publikování: 2016
Datum obhajoby: 05. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce je věnována problematice analýzy sentimentu. Jejím cílem je vytipovat a následně porovnat vybrané metody vhodné pro automatickou klasifikaci sentimentu krátkých textů,. Při analýze popisovaných technik se práce ...
This thesis is devoted to the area of sentiment analysis. Its goal is to discuss and compare various methods applicable to sentiment classification of short texts. When analyzing the described techniques, we will orient ...
This thesis is devoted to the area of sentiment analysis. Its goal is to discuss and compare various methods applicable to sentiment classification of short texts. When analyzing the described techniques, we will orient ...
Spatial modeling of brain tissue
Modelování prostorových vlastností mozkové tkáně
Diplomová práce (OBHÁJENO)
Vedoucí práce: Neruda, Roman
Datum publikování: 2014
Datum obhajoby: 21. 01. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nervová spojení v lidském mozku se mění na základě vjemů z okolí. Způsob, jakým k proměnám dochází, a jak přesně tyto proměny ovlivňují vlastnosti mozkové tkáně, dosud není zcela pochopen. Práce zkoumá souvislost paměti a ...
Neural connections in the human brain are known to be modified by experiences. Yet, little is known about the mechanism of the modification and its implications on the brain function. The aim of this thesis is to investigate ...
Neural connections in the human brain are known to be modified by experiences. Yet, little is known about the mechanism of the modification and its implications on the brain function. The aim of this thesis is to investigate ...
Analýza rozvrhů
Schedule analysis
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem této diplomové práce bylo věnovat se formální analýze rozvrhů, tj. identifikaci slabých míst a následné navržení metod, jak tato slabá místa opravit. Tato diplomová práce navíc řeší metodu, jak z navržených oprav ...
Goal of this work was to engage in formal analysis of schedules, i.e. identifying weak spots and consequently design method to correct those weak points. Moreover this thesis addresses method, how from constructed corrections ...
Goal of this work was to engage in formal analysis of schedules, i.e. identifying weak spots and consequently design method to correct those weak points. Moreover this thesis addresses method, how from constructed corrections ...
Multi-agentní hledání cest v orientovaných prostředích
Multi-agent Path Planning in Unidirectional Environments
Diplomová práce (OBHÁJENO)
Vedoucí práce: Surynek, Pavel
Datum publikování: 2016
Datum obhajoby: 12. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci se zaměříme na optimální multi-agentní plánování cest, které je NP-úplným problémem. K řešení této úlohy budeme využívat centralizovaný prohledávací algoritmus A*, pro který navrhneme novou heuristiku. Ke ...
In this paper we focus on the optimal multi-agent path planning, which is an NP-complete problem. To solve this task, we will use centralized A* search algorithm for which we propose a new heuristic. To construct our ...
In this paper we focus on the optimal multi-agent path planning, which is an NP-complete problem. To solve this task, we will use centralized A* search algorithm for which we propose a new heuristic. To construct our ...
Text mining in social network analysis
Dobývání znalostí z textů při analýze sociálních sítí
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mrázová, Iveta
Datum publikování: 2018
Datum obhajoby: 29. 01. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Názov: Text mining in social network analysis Autor: Bc. Michal Hušek Katedra: Katedra teoretické informatiky a matematické logiky Vedúca práce: doc. RNDr. Iveta Mrázová, CSc., Katedra teoretické informatiky a matematické ...
Title: Text mining in social network analysis Author: Bc. Michal Hušek Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: doc. RNDr. Iveta Mrázová, CSc., Department of Theoretical ...
Title: Text mining in social network analysis Author: Bc. Michal Hušek Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: doc. RNDr. Iveta Mrázová, CSc., Department of Theoretical ...
Sumarizace genových expresních čipů z volně žijících druhů
Summarization of gene expression arrays from free living species
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mořkovský, Libor
Datum publikování: 2016
Datum obhajoby: 20. 06. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Pro zkoumání exprese exonů a genů v organismech se používají genové expresní čipy. Genové expresní čipy jsou vytvořeny podle genomů laboratorních kmenů modelových organismů. Pro zpracování naměřených dat se používají ...
Gene expression arrays are used to assess expression of exons and genes of orga- nisms. The design of expression arrays is based on a genome of laboratory strains of model organisms. The most frequent summarization algorithms ...
Gene expression arrays are used to assess expression of exons and genes of orga- nisms. The design of expression arrays is based on a genome of laboratory strains of model organisms. The most frequent summarization algorithms ...