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

2 109 (0,106s)

Výsledek výzkumu

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

Pure mathematics

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

From Automata to Multiautomata via Theory of Hypercompositional Structures

Pure mathematics

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

From Automata to Multiautomata via Theory of Hypercompositional Structures

Applied mathematics

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

Modified Product of Automata as a Better Tool for Description of Real-Life Systems

Applied mathematics

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

Cellular automaton created as an m-ary product of algebraic quasi-multiautomata

Transport engineering

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

On New Filters in Ordered Semigroups

Other natural sciences

  • 2022
  • Jimp
  • Odkaz
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
  • 1 - 10 z 2 109