Specialized computational models in contemporary computer science
Project goals
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.
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 1 (SGA02002GA-ST)
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Specializované výpočetní modely v současné informatice
Annotation in Czech
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í.
Scientific branches
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
Within the project new and in some cases fundamental knowledge contributing to our understanding specialized computational models has been obtained. Both classical and newly defined models have been investigated from the viewpoint of their computational
Solution timeline
Realization period - beginning
Jan 1, 2002
Realization period - end
Jan 1, 2004
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/2005/GA0/GA05GA/U/N/B:7
Data delivery date
Jun 2, 2008
Finance
Total approved costs
6,370 thou. CZK
Public financial support
2,640 thou. CZK
Other public sources
3,730 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
6 370 CZK thou.
Public support
2 640 CZK thou.
41%
Provider
Czech Science Foundation
CEP
BA - General mathematics
Solution period
01. 01. 2002 - 01. 01. 2004