All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Specialized computational models in contemporary computer science

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

  • R&D category

    ZV - Basic research

  • CEP classification - main branch

    BA - General mathematics

  • CEP - secondary branch

  • CEP - another secondary branch

  • OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)

    10101 - Pure mathematics

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