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”

Monadic automata with relational morphisms

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F21%3AA22025DI" target="_blank" >RIV/61988987:17610/21:A22025DI - isvavai.cz</a>

  • Výsledek na webu

    <a href="http://dx.doi.org/10.1007/978-3-030-64058-3_15" target="_blank" >http://dx.doi.org/10.1007/978-3-030-64058-3_15</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1007/978-3-030-64058-3_15" target="_blank" >10.1007/978-3-030-64058-3_15</a>

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Monadic automata with relational morphisms

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

    Categories of monadic automata and monadic automata with inpu-output objects are introduced where morphisms between automata are relations defined by monads. These categories with relational morphisms include most known automata, including deterministic, nondeterministic, and fuzzy automata, where morphisms between automata are relations between sets or fuzzy relations. Relationships between relational morphisms of input-output monadic automata and languages accepted by these automata are investigated.

  • Název v anglickém jazyce

    Monadic automata with relational morphisms

  • Popis výsledku anglicky

    Categories of monadic automata and monadic automata with inpu-output objects are introduced where morphisms between automata are relations defined by monads. These categories with relational morphisms include most known automata, including deterministic, nondeterministic, and fuzzy automata, where morphisms between automata are relations between sets or fuzzy relations. Relationships between relational morphisms of input-output monadic automata and languages accepted by these automata are investigated.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

  • OECD FORD obor

    10102 - Applied mathematics

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/EF17_049%2F0008414" target="_blank" >EF17_049/0008414: Centrum pro výzkum a vývoj metod umělé intelligence v automobilovém průmyslu regionu</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Ostatní

  • Rok uplatnění

    2021

  • 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

    In: Aliev R.A., Kacprzyk J., Pedrycz W., Jamshidi M., Babanli M., Sadikoglu F.M. (eds) 14th International Conference on Theory and Application of Fuzzy Systems and Soft Computing ? ICAFS-2020. ICAFS 2020. Advances in Intelligent Systems and Computing, vol 1306. Springer, Cham.

  • ISBN

    978-3-030-64057-6

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    8

  • Strana od-do

  • Název nakladatele

    Springer

  • Místo vydání

    Cham

  • Místo konání akce

    Budva

  • Datum konání akce

    27. 8. 2020

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

    WRD - Celosvětová akce

  • Kód UT WoS článku