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”

Filtry

1 145 (0,116s)

Výsledek výzkumu

LTL to Smaller Self-Loop Alternating Automata and Back

Computer and information sciences

  • 2019
  • D
  • Odkaz
Výsledek výzkumu

Seminator: A Tool for Semi-Determinization of Omega-Automata

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2017
  • D
  • Odkaz
Výsledek výzkumu

Automata: Theory, Trends, And Applications

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2023
  • B
  • Odkaz
Výsledek výzkumu

LTL to self-loop alternating automata with generic acceptance and back

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020
  • Jimp
  • Odkaz
Výsledek výzkumu

Cyclically extended variants of Sgraffito and restarting automata for picture languages

IN - Informatika

  • 2016
  • D
Výsledek výzkumu

A note on limited pushdown alphabets in stateless deterministic pushdown automata

BA - Obecná matematika

  • 2013
  • Jx
  • Odkaz
Výsledek výzkumu

Hierarchické komunikující stavové automaty

hierarchie - automaty...

JC - Počítačový hardware a software

  • 2004
  • D
Výsledek výzkumu

Succinct Determinisation of Counting Automata via Sphere Construction

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2019
  • D
  • Odkaz
Výsledek výzkumu

Hluboke zasobnikove automaty

Clanek studuje hluboke zasobnikove automaty.

BD - Teorie informace

  • 2006
  • Jx
Výsledek výzkumu

Cartesian composition and the problem of generalizing the MAC condition to quasi-multiautomata

Pure mathematics

  • 2016
  • Jimp
  • Odkaz
  • 1 - 10 z 1 145