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

24 415 (0,215s)

Výsledek výzkumu

Two-Way Metalinear PC Grammar Systems and Their Descriptional Complexity

BD - Teorie informace

  • 2004
  • Jx
Výsledek výzkumu

Dvousměrné lineární PC gramatické systémy a jejich popisná složitost

Kromě derivačních a komunikačních kroků dvousměrný PC gramatický systém vykonává také krok redukční, během kterého se nahrazuje pravá strana bezkontextového pravidla stranou levou. Článek dokazuje, že každý neunární rekurzivně spočetný jazyk...

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

  • 2005
  • D
Výsledek výzkumu

Dvousměrné lineární PC gramatické systémy

Kromě derivačních a komunikačních kroků může dvousměrný PC gramatický systém vykonávat kroky redukční během nichž nahradí pravou stranu bezkontextového pravidla stranou levou. Článek dokazuje, že každý neunární rekurzivně spočetný jazyk je d...

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

  • 2005
  • D
Výsledek výzkumu

Dvousměrné PC gramatické systémy založené na regulárních gramatikách

Kromě derivačních a komunikačních kroků může dvousměrný PC gramatický systém vykonávat kroky redukční během nichž nahradí pravou stranu bezkontextového pravidla stranou levou. Článek dokazuje, že každý neunární rekurzivně spočetný jazyk je d...

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

  • 2004
  • D
Výsledek výzkumu

Dvousměrné PC gramatické systémy složené z regulárních gramatik

Kromě derivačních a komunikačních kroků dvousměrný PC gramatický systém vykonává také krok redukční, během kterého se nahrazuje pravá strana bezkontextového pravidla stranou levou. Článek dokazuje, že každý neunární rekurzivně spočetný jazyk...

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

  • 2004
  • D
Výsledek výzkumu

Spiking neural Psystems with cooperating rules

IN - Informatika

  • 2014
  • D
Výsledek výzkumu

Two-Way Deterministic Translation and Its Usage in Practice

Two-Way Deterministic Translation and Its Usage in Practice...

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

  • 2005
  • D
Výsledek výzkumu

Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata

IN - Informatika

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

Library of statistical methods for EEG/ERP experiments

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

  • 2011
  • R
Výsledek výzkumu

On hierarchy of the positioned eco-grammar systems

IN - Informatika

  • 2014
  • Jx
  • 1 - 10 z 24 415