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”
CS
ČeštinaEnglish

Filtry

87 (0,114s) •

Projekt

Formalizace kombinatoriky na slovech (GA20-20621S)

Kombinatorika na slovech je oblast diskrétní matematiky, která jako jiné kombinatorické obory přirozeně tíhne k technickým a pracným důkazům, často obsahujícím opakování podobných úvah a rozsáhlé rozbory případů. Jako taková je vhodná k počítačově ov...

Acoustics

  • 2020 - 2023
    • •
  • 3 777 tis. Kč
    • •
  • 3 741 tis. Kč
    • •
  • GA ČR
Projekt

Vzdělávání dospělých v různých fázích životního cyklu priority, příležitosti a možnosti rozvoje (1J017/04-DP2)

Projekt se věnuje vzdělávání dospělých v rámci celoživotního učení. Mapuje a analyzuje situaci v ČR v oblasti vzdělávacích potřeb dospělé populace, obecně i diferencovaně v souvislosti s dominantními životními rolemi, a v oblasti vzdělávací nabídky.....

AM - Pedagogika a školství

  • 2004 - 2008
    • •
  • 5 711 tis. Kč
    • •
  • 5 700 tis. Kč
    • •
  • MPSV
Projekt

Spolupráce v oblasti návrhu a implementace jazykových systémů (MEB080878)

Hlavním výstupem projektu bude vybudování česko-slovenského týmu vědců a odborníků v oblasti návrhu a implementace jazykových systémů. Tato spolupráce by měla zvýšit kvalitu aktuálně řešených projektů. Důležité je zapojení mladých pracovníků, kteří d...

IN - Informatika

  • 2008 - 2009
    • •
  • 42 tis. Kč
    • •
  • 42 tis. Kč
    • •
  • MŠMT
Projekt

Speciální techniky soft computing pro rozhodování v managementu (1P05ME739)

studium speciálních metod formální logiky pro reprezentaci hiearchických soustav fuzzy IF-THEN pravidel...

IN - Informatika

  • 2005 - 2005
    • •
  • 67 tis. Kč
    • •
  • 67 tis. Kč
    • •
  • MŠMT
Projekt

Rámec pro deduktivní analýzu softwarových aplikací vestavěných systémů (GP201/07/P544)

Navrhovaný projekt představuje základní výzkum v problematice integrace formálních metod a doménově specifikačních jazyků pro návrh vestavěných systémů. Uvažované řešení bude založeno na definici formálního rámce disponujícího deduktivním odvozovacím...

JC - Počítačový hardware a software

  • 2007 - 2008
    • •
  • 352 tis. Kč
    • •
  • 352 tis. Kč
    • •
  • GA ČR
Projekt

Pokročilé techniky automatické verifikace nekonečně stavových systémů (MEB020840)

Cílem projektu je přispět k výzkumu metod model checkingu nekonečně stavových systémů tak, aby byly v co největší míře odstraněny jejich současná omezení jak v oblasti efektivity, tak v oblasti obecnosti.......

IN - Informatika

  • 2008 - 2009
    • •
  • 92 tis. Kč
    • •
  • 92 tis. Kč
    • •
  • MŠMT
Projekt

Transfinitní certifikáty konvergence (GA23-07931S)

Dynamické systémy jsou matematickými modely časových změn v prostoru. Takovéto systémy se dají občas rozšířit transfinitně, a takováto rozšíření se dají použít pro důkaz určitých asymptotických vlastností původního finitárního systému. V určitých pří...

Pure mathematics

  • 2023 - 2023
    • •
  • 152 tis. Kč
    • •
  • 152 tis. Kč
    • •
  • GA ČR
Projekt

Analýza formálních struktur právních dokumentů (KJB7068303)

Hlavním smyslem projektu je provést detailní analýzu formálních struktur používaných v oblasti právních textů českého práva ve světle nejnovějších možností daných rozvojem techniky a báze právních textů. Formální struktury představují základní kámen ...

AG - Právní vědy

  • 2003 - 2005
    • •
  • 1 146 tis. Kč
    • •
  • 653 tis. Kč
    • •
  • AV ČR
Projekt

Formální metody prakticky použitelné pro vývoj systémů složených ze softwarových komponent (GA201/06/0770)

Myšlenka softwarových komponent již byla obecně přijata jako klíčová pro řešení rostoucí složitosti vytvářených softwarových systémů. Po letech výzkumu především na akademické půdě, softwarové komponenty jsou již přijímány IT průmyslem v nyní podporo...

IN - Informatika

  • 2006 - 2008
    • •
  • 1 467 tis. Kč
    • •
  • 1 467 tis. Kč
    • •
  • GA ČR
Projekt

Negace a negativně polaritní výrazy v češtině (GP405/07/P252)

Předložený projekt má za úkol popsat jeden z centrálních vztahů mezi syntaktickým a sémantickým systémem češtiny, konkrétně výrazy citlivé na negativní polaritu (Negative Polarity Items - NPI) a jevy související se syntaxí a sémantikou negace. Základ...

AI - Jazykověda

  • 2007 - 2009
    • •
  • 505 tis. Kč
    • •
  • 505 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 87