Specializované výpočetní modely v současné informatice
Cíle projektu
Předkládaný projekt je projektem v teoretické informatice. Jeho cílem je charakterizovat výpočetní sílu a efektivitu specializovaných výpočetních modelů a zkoumat jejich schopnosti modelovat problémy z vybraných aplikačních oblastí současné informatiky.Výzkum se soustředí především na následující modely a aplikační oblasti: neuniformní výpočtové modely s aplikaci v interaktivním, globálním a evolučním počítání, kognitivní a neuronové výpočetní modely s užitím v AI, specializované neomezené automaty a gramatiky s aplikacemi v současné lingvistice, binární rozhodovací diagramy studované především s ohledem na prostorové složitostní aspekty počítání, konečné výpočetní modely pro aproximaci empirických funkcí.
Klíčová slova
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
(dle převodníku)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č
Základní informace
Uznané náklady
6 370 tis. Kč
Statní podpora
2 640 tis. Kč
41%
Poskytovatel
Grantová agentura České republiky
CEP
BA - Obecná matematika
Doba řešení
01. 01. 2002 - 01. 01. 2004