Výpočetní modely a složitost výpočtů

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

—

Hlavní účastníci

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

Druh soutěže

—

Číslo smlouvy

—

Název projektu anglicky

Computational models and complexity of computations

Anotace anglicky

A basic research project in informatics whose main aim is to contribute further to the development of the computational complexity theory.It is centered around various universal and restricted computational models whose computational and descriptional power and efficiency will be studied.The respective research will proceed along two main research lines: -investigation of computational complexity within classical computational paradigms of sequential computing , represented by Turing machines , RAMs,Boolean circuits branching programs, etc. - computational complexity studied within the framework of recent pradigms of parallel computing, neurocomputing, genetic computing, cognitive computing, etc. The proposed research team consists from 5 key researchers complemented by their 5 PhD students.

Kategorie VaV

—

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í poskytovatelem

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

Zhodnocení výsledků projektu

Přínosem řešitelského kolektivu jsou jednak průkopnické práce přinášející nové modely výpočtů (J. Wiedermann), které získali významný publikační a prezentační prostor, jednak řadu technických výsledků, které mají značný stupeň obtížnosti (Savický, Šíma,

Zahájení řešení

1. 1. 1998

Ukončení řešení

1. 1. 2000

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

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/2001/GA0/GA01GA/U/N/9:4

Datum dodání záznamu

—

Celkové uznané náklady

2 166 tis. Kč

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

1 295 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč