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”

Evolutionary search for automated generation of EQ-algebras

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F15%3AA1501BSZ" target="_blank" >RIV/61988987:17610/15:A1501BSZ - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Evolutionary search for automated generation of EQ-algebras

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

    EQ-algebras form a succesfull truth-value structure. Searching these algebras requires enourmous load to human since the state-space is superexponential with respect to its size. We present a promising method for automated generation based on Genetic Algoritms. It enables to generate interesting algebras without manual selection and evaluation of required and optional properties. We present also software application for this task -- EQCreator.

  • Název v anglickém jazyce

    Evolutionary search for automated generation of EQ-algebras

  • Popis výsledku anglicky

    EQ-algebras form a succesfull truth-value structure. Searching these algebras requires enourmous load to human since the state-space is superexponential with respect to its size. We present a promising method for automated generation based on Genetic Algoritms. It enables to generate interesting algebras without manual selection and evaluation of required and optional properties. We present also software application for this task -- EQCreator.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

    IN - Informatika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: Centrum excelence IT4Innovations</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Ostatní

  • Rok uplatnění

    2015

  • 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

    Proceedings of the International Conference on Numerical Analysis and Applied Mathematics 2014 (ICNAAM-2014)

  • ISBN

    978-0-7354-1287-3

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    4

  • Strana od-do

    5500061-5500064

  • Název nakladatele

    AIP Publishing LLC

  • Místo vydání

    NY, USA

  • Místo konání akce

    Rhodos, Greece

  • Datum konání akce

    1. 1. 2014

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

    WRD - Celosvětová akce

  • Kód UT WoS článku