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”
CS
ČeštinaEnglish

Filtry

83 (0,128s) •

Projekt

NoSCoM Nestandardní výpočetní modely a jejich aplikace ve složitosti, lingvistice a učení (GAP202/10/1333)

; specializované neomezené automaty a gramatiky s důležitými aplikacemi v lingvistice (např...

IN - Informatika

  • 2010 - 2014
    • •
  • 10 393 tis. Kč
    • •
  • 10 393 tis. Kč
    • •
  • GA ČR
Projekt

SeLeCt - struktury, učení a kognice (GA15-04960S)

Aktuální poznatky z oboru kognitivních věd ovlivňují i moderní informační technologie a jejich využití v praxi, např. při zpracování přirozeného jazyka anebo v počítačovém vidění. Nové perspektivy se tak otevírají v oblasti strukturální analýzy dat, ...

BD - Teorie informace

  • 2015 - 2017
    • •
  • 4 600 tis. Kč
    • •
  • 4 600 tis. Kč
    • •
  • GA ČR
Projekt

Metody inteligentních systémů a jejich aplikace při dobývání znalostí a zpracování přirozeného jazyka (1ET100300517)

Projekt je zaměřen na rozvoj metod inteligentních systémů a jejich aplikace v oblasti strojového učení, dobývání znalostí, zpracování přirozeného jazyka a počítačového vidění. Badatelský výzkum bude těžit z multidisciplinárního přístupu založeného na...

IN - Informatika

  • 2005 - 2009
    • •
  • 24 023 tis. Kč
    • •
  • 24 023 tis. Kč
    • •
  • AV ČR
Projekt

Struktura a její využití při rozpoznávání (GAP103/10/0783)

Současný trend ve vývoji informačních technologií vyžaduje návrh mnohem efektivnějších metod pro strukturální analýzu dat a dobývání znalostí. Tyto směry zároveň otevírají nové perspektivy pro další rozvoj počítačových věd. Zde vidíme příležitost vyu...

BD - Teorie informace

  • 2010 - 2014
    • •
  • 2 769 tis. Kč
    • •
  • 2 769 tis. Kč
    • •
  • GA ČR
Projekt

Překlad formulí Lineární temporální logiky na omega-automaty (7AMB14FR016)

pracovníků zabývajících se překladem LTL na omega-automaty. V rámci projektu tak, aby výsledné automaty měly žádoucí vlastnosti. Cílem tohoto výzkumu je lepší vhled do vztahů mezi LTL, odpovídajícími automaty a jejich apli...

IN - Informatika

  • 2014 - 2015
    • •
  • 84 tis. Kč
    • •
  • 84 tis. Kč
    • •
  • MŠMT
Projekt

Decentralizované řízení vážených automatů (MEB020729)

decentralizovaného řízení konkurentních vážených automatů (weighted automata), jejichž aplikace systémům (jako např. paralelním součinům automatů). Vážené automaty (např. tzv. (max,+) automaty a třídy časovaných automatů) ...

BC - Teorie a systémy řízení

  • 2008 - 2008
    • •
  • 33 tis. Kč
    • •
  • 33 tis. Kč
    • •
  • MŠMT
Projekt

Decentralizované supervizní řízení časovaných automatů (GAP103/11/0517)

. Vážené automaty (např. tzv. (max,+) automaty, intervalové automaty a další třídy, a to decentralizované řízení a koordinační řizení, kdy lokální řídící automaty komunikují......

BC - Teorie a systémy řízení

  • 2011 - 2013
    • •
  • 986 tis. Kč
    • •
  • 986 tis. Kč
    • •
  • GA ČR
Projekt

Efektivní konečné automaty pro automatické usuzování (LL1908)

Cílem je výrazně posunout stav poznání efektivních technik pro práci s konečnými automaty a souvisejícími formálními modely v aplikacích z oblasti automatického usuzování, jako jsou například analýza software a hardware nebo vyhledávání vzor...

Automation and control systems

  • 2020 - 2024
    • •
  • 35 585 tis. Kč
    • •
  • 35 585 tis. Kč
    • •
  • MŠMT
Projekt

Automaty a logiky v symbolické verifikaci software. (MEB021023)

Vědeckým cílem projektu je významně přispět ke zlepšení obecnosti a škálovatelnosti současných symbolických metod verifikace nekonečně stavových programů založených na využití logik a/nebo automatů. Za tím účelem budou jednak zkoumány možnosti zlepše...

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

  • 2010 - 2011
    • •
  • 121 tis. Kč
    • •
  • 121 tis. Kč
    • •
  • MŠMT
Projekt

Algebraické metody v teorii automatů a formálních jazyků II (GA201/09/1313)

Charakterizace významných tříd jazyků syntaktickými strukturami a logikami, studium tříd průsekových automatů, studium implicitních jazykových rovnic, stavová složitost operací s dvoucestnými automaty, q-teorie Prezentace na prestižních konf...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 900 tis. Kč
    • •
  • 900 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 83