Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Utilization of Reductions and Abstraction Elimination in Typed Genetic Programming

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F14%3A10286871" target="_blank" >RIV/00216208:11320/14:10286871 - isvavai.cz</a>

  • Nalezeny alternativní kódy

    RIV/67985807:_____/14:00430974

  • Výsledek na webu

    <a href="http://dx.doi.org/10.1145/2576768.2598361" target="_blank" >http://dx.doi.org/10.1145/2576768.2598361</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1145/2576768.2598361" target="_blank" >10.1145/2576768.2598361</a>

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Utilization of Reductions and Abstraction Elimination in Typed Genetic Programming

  • Popis výsledku v původním jazyce

    Lambda calculus representation of programs offers a more expressive alternative to traditional S-expressions. In this paper we discuss advantages of this representation coming from the use of reductions (beta and eta) and a way to overcome disadvantagescaused by variables occurring in the programs by use of the abstraction elimination algorithm. We discuss the role of those reductions in the process of generating initial population and propose two novel crossover operations based on abstraction elimination capable of handling general form of typed lambda term while being a straight generalization of the standard crossover operation. We compare their performances using the even parity benchmark problem.

  • Název v anglickém jazyce

    Utilization of Reductions and Abstraction Elimination in Typed Genetic Programming

  • Popis výsledku anglicky

    Lambda calculus representation of programs offers a more expressive alternative to traditional S-expressions. In this paper we discuss advantages of this representation coming from the use of reductions (beta and eta) and a way to overcome disadvantagescaused by variables occurring in the programs by use of the abstraction elimination algorithm. We discuss the role of those reductions in the process of generating initial population and propose two novel crossover operations based on abstraction elimination capable of handling general form of typed lambda term while being a straight generalization of the standard crossover operation. We compare their performances using the even parity benchmark problem.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

    IN - Informatika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

  • Návaznosti

    S - Specificky vyzkum na vysokych skolach

Ostatní

  • Rok uplatnění

    2014

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

    GECCO 2014 - Proceedings of the 2014 Genetic and Evolutionary Computation Conference

  • ISBN

    978-1-4503-2662-9

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    8

  • Strana od-do

    943-950

  • Název nakladatele

    Association for Computing Machinery

  • Místo vydání

    Vancouver, Kanada

  • Místo konání akce

    Vancouver, Kanada

  • Datum konání akce

    12. 7. 2014

  • Typ akce podle státní příslušnosti

    WRD - Celosvětová akce

  • Kód UT WoS článku