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”

Specializované výpočetní modely v současné informatice

Veřejná podpora

  • Poskytovatel

    Grantová agentura České republiky

  • Program

    Standardní projekty

  • Veřejná soutěž

    Standardní projekty 1 (SGA02002GA-ST)

  • Hlavní účastníci

    Ústav informatiky AV ČR, v. v. i.

  • Druh soutěže

    VS - Veřejná soutěž

  • Číslo smlouvy

Alternativní jazyk

  • Název projektu anglicky

    Specialized computational models in contemporary computer science

  • Anotace anglicky

    The project at hand is a project in theoretical computer science. Its goal is to characterize the computational power and efficiency of specialized computational models and to investigate their ability to model problems from selected application domainsof contemporary computer science. The research will focus mainly to the following models and application domains: non-uniform computational models to be used in interactive, global or evolutionary computing; cognitive and neural computing models in AI; specialized finite automata and/or grammars to be used in linguistics; branching programs for studying space-complexity aspects of computing; finite computational models for approximation of empirical functions.

Vědní obory

  • Kategorie VaV

    ZV - Základní výzkum

  • CEP - hlavní obor

    BA - Obecná matematika

  • CEP - vedlejší obor

  • CEP - další vedlejší obor

  • OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

    10101 - Pure mathematics

Hodnocení dokončeného projektu

  • Hodnocení poskytovatelem

    V - Vynikající výsledky projektu (s mezinárodním významem atd.)

  • Zhodnocení výsledků projektu

    V rámci projektu byla získána řada nových a z části i hlubokých výsledků, které prohloubily naše poznání specializovaných modelů výpočtů. Byly studovány jak klasické tak nově definované modely; v obou případech šlo o  studium jejich výpočetní síly, efekt

Termíny řešení

  • Zahájení řešení

    1. 1. 2002

  • Ukončení řešení

    1. 1. 2004

  • Poslední stav řešení

    U - Ukončený projekt

  • Poslední uvolnění podpory

Dodání dat do CEP

  • Důvěrnost údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

  • Systémové označení dodávky dat

    CEP/2005/GA0/GA05GA/U/N/B:7

  • Datum dodání záznamu

    2. 6. 2008

Finance

  • Celkové uznané náklady

    6 370 tis. Kč

  • Výše podpory ze státního rozpočtu

    2 640 tis. Kč

  • Ostatní veřejné zdroje financování

    3 730 tis. Kč

  • Neveřejné tuz. a zahr. zdroje finan.

    0 tis. Kč