|
|
Typed Functional Genetic Programming
Křen, Tomáš ; Pudlák, Petr (vedoucí práce) ; Kubalík, Jiří (oponent)
V této práci je představen design a implementace systému řešícího úlohu genetického programování v simply typed lambda kalkulu. Je zde představena metoda inicializace počáteční populace založená na technice produkující typované lambda termy v dlouhé normální formě. Tato metoda je parametrizována jednoduchou prohledávací strategií. Několik takových prohledávacích strategií je představeno, jako například strategie pro systematické generování nebo strategie odpovídající standardní ramped half-and- half metodě. Další z představených strategií, strategie jménem geometrická strategie je blíže podrobena experimentům, které ukáží že má několik žádoucích efektů na průběh evoluce, jakými jsou zlepšení míry úspěšnosti, nižší časové nároky a menší průměrnou velikost termů v porovnání se standardní ramped half-and-half metodou generování jedinců. Další výkonnostní zlepšení jsou navržena a podpořena experimenty, jedná se o eta-normalizaci vygenerovaných jedinců a @-tree reprezentaci jedinců. Použitý proces eliminace abstrakcí umožňuje použití jednoduchého podstromy měnícího křížení. Powered by TCPDF (www.tcpdf.org)
|
|
|
Nástroj pro programování ve fyzikálním prostředí
Křen, Tomáš ; Hnětynka, Petr (vedoucí práce) ; Ježek, Pavel (oponent)
Předmětem této práce je implementovat hru pojatou jako interaktivní fyzikální prostředí, ve kterém vkládáním, přesouváním a propojováním objektů v dvourozměrném hierarchickém prostoru uživatel vytváří virtuální svět. Tento svět, nebo případně jeho části, však zároveň reprezentují syntaxi programu. Toho je docíleno predevším tím, že ve hře jsou různé druhy objektů nazývané funkce, které zastávají stejnou roli, jako funkce v klasických programovacích jazycích. Dále program obsahuje aktivní agenty řízené vnitřním programem, který je poskládán z funkcí.
|
|
|
Maintainable type classes for Haskell
Farka, František ; Pudlák, Petr (vedoucí práce) ; Křen, Tomáš (oponent)
V této práci se zaměřujeme na dlouhodobý problém v systému typových tříd jazyka Haskell. Konkrétně se zabýváme možnostmi zpětně kompatibilních úprav v existujících hierarchiích tříd. V první části práce podáváme stručný přehled jazyka. Následující část shrnuje stávající navrhovaná řešení problému a rozebírá jejich vlastnosti. Na základě tohoto rozboru předkládáme náš vlastní návrh na jazykové rozšíření. V předposlední části uvádíme několik možných užití jazykového rozšíření a srovnáváme jej s ostatními řešeními. Součástí práce je také proof-of-concept implementace rozšíření pro kompilátor GHC, která je stručně popsána v poslední části. Powered by TCPDF (www.tcpdf.org)
|
|
|
Transforming hierarchical images to program expressions using deep networks
Křen, Tomáš
We present a technique describing how to effectively train a neural network given an image to produce a formal description of the given image. The basic motivation of the proposed technique is an intention to design a new tool for automatic program synthesis capable of transforming sensory data (in our case static image, but generally a phenotype) to a formal code expression (i.e. syntactic tree of a program), such that the code (from evolutionary perspective a genotype) evaluates to a value that is similar to the input data, ideally identical. Our approach is partially based on our technique for generating program expressions in the context of typed functional genetic programming. We present promising results evaluating a simple image description language achieved with a deep network combining convolution encoder of images and recurrent decoder for generating program expressions in the sequential prefix notation and propose possible future applications.
Plný tet: 0500123-v-1263 -  PDF
Plný text: content.csg - PDF
|
|
|
Generation of Vector Images using Evolutionary Algorithms
Drázdová, Zuzana ; Pilát, Martin (vedoucí práce) ; Křen, Tomáš (oponent)
Použití evolučních algoritmů pro generování obrázků je zkoumáno už několik desetiletí. Potenciál tohoto přístup spočívá v kreativitě genetických operátorů a širokých možnostech automatického hodnocení řešení. Jedinci mohou být vyvíjeni, aby připomínali existující obrázek nebo mohou být použita jiná kritéria jako například umělecký dojem. Generování vektorových obrázků podle rastrové předlohy bylo v posledních letech věnováno hodně pozornosti. Tento přístup nabízí hned několik výhod. Rozměry vektorových obrázků mohou být snadno změněny bez ztráty přesnosti. Další výhodou je možnost jednoduše upravovat jednotlivé objekty v obrázku. Ta byla při návrhu algoritmů dosud opomíjena. Chceme využít plný potenciál vytvořených obrázků navržením vhodného algoritmu. Naše metoda vytváří vektorové obrázky, které jsou podobné rastrové předloze, mohou být snadno upravované a mají zajímavý umělecký nádech. Vyvinuli jsme tři postupy, které se liší v přístupu k reprezentaci jedinců, genetickým operátorům, vyhodnocení a celkovém stylu výsledků.
|
|
|
Aktivní učení pro klasifikaci obrázků
Lorenzová, Kateřina ; Pilát, Martin (vedoucí práce) ; Křen, Tomáš (oponent)
Práce se zabývá aplikací vybraných metod ke klasifikaci obrazu, inspi- rovanou chováním lidského oka. Využívá k analýze metody, které nevyžadují kom- pletní informaci ze zkoumaného obrazu. Místo toho používá samostatné agenty, kteří se po obraze pohybují a sami si vybírají, kterou další část obrazu potřebují vidět k upřesnění výsledku. Chování agentů je řízeno neuronovou sítí, pro tento úkol naučenou. K učení sítě byl použit evoluční algoritmus. Použitá data pocházejí z databáze obrázků ručně psaných čísel MNIST (2011). Tato sbírka obsahuje také oddělenou testovací mno- žinu dat, na které je úspěšnost agentů následně testována.
|
|
|
Deep neural networks and their application for economic data processing
Witzany, Tomáš ; Mrázová, Iveta (vedoucí práce) ; Křen, Tomáš (oponent)
Název práce: Hluboké neuronové sítě a jejich využití při zpracování ekonomických dat Autor: Bc. Tomáš Witzany Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí diplomové práce: Doc. RNDr. Iveta Mrázová, CSc., Katedra teoretické informatiky a matematické logiky Abstrakt: Analýza makroekonomických časových řad je klíčová pro informovanost rozhodnutí politiků na národní úrovni. Analýza ekonomických údajů má boha- tou historii a zejména v oblasti modelování nelineárních závislostí zůstává mnoho otevřených otázek. K moderním nástrojům pro analýzu časových řad patří mimo jiné metody strojového učení. Z těchto metod neuronové sítě patří k jedné z nejpoužívanějších, jak modelovat nelineární závislosti. Cíl této práce spočívá ve studiu hlubokých neuronových sítí, analýze jejich vlastností a posouzení jejich kvalit pro řešení úloh, například prognózu vývoje HDP nebo klastrování zemí. Použité modely zahrnují vrstevnaté neuronové sítě, LSTM sítě, konvoluční sítě a Kohonenovy mapy. K analýze a testování studovaných modelů byla použita historická data poskytovaná Organizací spojených národů a Světovou bankou. Tato data zahrnují historii makroekonomického vývoje přes...
|
|
|
Generování melodií pomocí genetického algoritmu
Helikar, Matouš ; Maršík, Ladislav (vedoucí práce) ; Křen, Tomáš (oponent)
Pro skládání hudby je, podobně jako u jakékoli jiné tvůrčí činnosti, důležitá prvotní inspirace. Jednou z možností je stavět na melodiích vytvořených počítačem. Tato práce se věnuje generování skladeb pomocí stromové reprezentace jejich struktury a zásuvných modulů, které tvoří nebo upravují jednotlivé hudební motivy. Vytvořené stromy pak lze vzájemně kombinovat pomocí křížícího algoritmu založeném na hodnocení od uživatele. Skladby se tak vyvíjí na různých úrovních, jako použité nástroje či hudební motivy, rytmus a celková struktura. Vhodným nastavením parametrů generátoru a dílčích modulů pak lze docílit rozmanitých skladeb, například pro tvůrčí podnět nebo relaxaci. Součástí práce je naprogramovaná aplikace využívající tento postup ke generování hudby a uživatelská studie spokojenosti s výslednými skladbami. Powered by TCPDF (www.tcpdf.org)
|
|
|
Maintainable type classes for Haskell
Farka, František ; Pudlák, Petr (vedoucí práce) ; Křen, Tomáš (oponent)
V této práci se zaměřujeme na dlouhodobý problém v systému typových tříd jazyka Haskell. Konkrétně se zabýváme možnostmi zpětně kompatibilních úprav v existujících hierarchiích tříd. V první části práce podáváme stručný přehled jazyka. Následující část shrnuje stávající navrhovaná řešení problému a rozebírá jejich vlastnosti. Na základě tohoto rozboru předkládáme náš vlastní návrh na jazykové rozšíření. V předposlední části uvádíme několik možných užití jazykového rozšíření a srovnáváme jej s ostatními řešeními. Součástí práce je také proof-of-concept implementace rozšíření pro kompilátor GHC, která je stručně popsána v poslední části. Powered by TCPDF (www.tcpdf.org)
|
|
|
Typed Functional Genetic Programming
Křen, Tomáš ; Pudlák, Petr (vedoucí práce) ; Kubalík, Jiří (oponent)
V této práci je představen design a implementace systému řešícího úlohu genetického programování v simply typed lambda kalkulu. Je zde představena metoda inicializace počáteční populace založená na technice produkující typované lambda termy v dlouhé normální formě. Tato metoda je parametrizována jednoduchou prohledávací strategií. Několik takových prohledávacích strategií je představeno, jako například strategie pro systematické generování nebo strategie odpovídající standardní ramped half-and- half metodě. Další z představených strategií, strategie jménem geometrická strategie je blíže podrobena experimentům, které ukáží že má několik žádoucích efektů na průběh evoluce, jakými jsou zlepšení míry úspěšnosti, nižší časové nároky a menší průměrnou velikost termů v porovnání se standardní ramped half-and-half metodou generování jedinců. Další výkonnostní zlepšení jsou navržena a podpořena experimenty, jedná se o eta-normalizaci vygenerovaných jedinců a @-tree reprezentaci jedinců. Použitý proces eliminace abstrakcí umožňuje použití jednoduchého podstromy měnícího křížení. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.